Nepopuliarios operacinės sistemos

[Guest]

Operaciniu sistemu kainos.

Žodžiu „singularity” nusakomas savitumas, ypatingumas, keistumas, nepaprastumas. Juo futurologai apibūdina dirbtinio intelekto sistemų sukeltą sprogimui tolygų spartų technologijos progresą, kurio metu greičiausiai išnyks riba tarp žmogaus ir mašinos.

Prabilus apie alternatyvias operacines sistemas (OS), paprastai turimos galvoje „Linux”, BSD ar „Mac OS”. Šių sistemų vartotojų yra šimtai tūkstančių ar net milijonų, tačiau anaiptol ne visi žino, kad asmeniniams kompiuteriams sukurta ir daugiau OS.

Kam išradinėti dviratį?

Atrodytų, kam gaišti laiką ir eikvoti jėgas kuriant naujas OS, jei esamos alternatyvos kartu paimtos vargiai viršija 10 proc. rinkos, o likusią dalį užima „Windows”. Tačiau naujų OS kūrimas turi prasmės. Pavyzdžiui, specializuotos OS skirtos specifinėms užduotims atlikti. Kitų sistemų autoriai siekia atgaivinti kažkada buvusias populiarias OS ar iš naujo atkurti suderinamą sistemą.

Dar viena OS atmaina - naujos kartos sistemų bandymo poligonai. Daugumos šiuolaikinių OS („Windows”, „Linux”, BSD, OS X bei „Unix”) šaknys siekia daugiau nei prieš 40 metų sukurtą „Multics” sistemą. Nors šios OS yra daugiau nei 179 mlrd. JAV dolerių vertės programinės įrangos rinkos pagrindas, vis dažniau išryškėja jų trūkumai. Sistemos kur kas mažiau patikimos, nei to norėtų vartotojai ar programų kūrėjai.

Gerokai saugesnė

Bendrovė „Microsoft Research” nusprendė sukurti iš esmės naują saugią OS. Viena iš operacinių sistemų problemų ta, kad jos iš pradžių leidžia vykdyti bet kokį programinį kodą, o jau paskui bando kovoti su netinkamai veikiančių ar kenkėjiškų programų pasekmėmis.

Singularity autoriai nusprendė šalinti problemų priežastis pasirinkdami saugias programavimo kalbas, leidžiančias rašyti lengvai suprantamą kodą ir užtikrinančias, kad reikšmės ir objektai visada bus apdorojami teisingai. Java, C# ir panašios kalbos leidžia kreiptis tik į esamų ir egzistuojančių objektų adresų erdvę. Singularity parašyta Sing# programavimo kalba, sukurta išplėtus Spec#, kuri savo ruožtu yra papildytas C# kalbos variantas.

Singularity programinis kodas suskirstytas į tikrinamą (verified) ir patikimą (trusted). Netikrinamas kodas, parašytas nesaugiomis programavimo kalbomis (asembleriu, C++ ar nesaugia C#), privalo būti tobulas ir gali būti naudojamas tik branduolyje, aparatinės įrangos abstrakcijos (HAL) funkcijose ir vykdomoje sistemoje. Visas kitas programinis kodas turi būti parašytas saugia programavimo kalba, paverstas tarpiniu Microsoft Intermediate Language (MSIL) pseudokodu ir tik tada kompiliuojamas į x86 instrukcijų seką.

http://kompiuterija.lrytas.lt