Phenquestions
Singularity je Microsoftov istraživački projekt za izgradnju vrlo pouzdanog mikrojezgrenog operativnog sustava u kojem su jezgra, upravljački programi uređaja i aplikacije napisani u upravljanom kodu. Više od 90% OS jezgre napisano je u Sing #, produžetku programskog jezika visoke razine C #.
Microsoftova istraživačka singularnost
Singularnost je istraživački projekt usmjeren na izgradnju pouzdanih sustava kroz inovacije u područjima sustava, jezika i alata. Gradimo prototip istraživačkog operativnog sustava (nazvan Singularnost), proširujemo programske jezike i razvijamo nove tehnike i alate za specificiranje i provjeru ponašanja programa.
Napredak u jezicima, kompajlerima i alatima otvara mogućnost značajnog poboljšanja softvera. Na primjer, Singularnost koristi jezike sigurne za tip i sažetak skupa uputa kako bi omogućio ono što nazivamo softverski izolirani procesi (SIP). SIP-ovi pružaju snažna jamstva izolacije za OS procese (izolirani prostor objekata, odvojeni GC-ovi, odvojena vremena izvođenja) bez dodatnih troškova hardverski nametnutih domena zaštite. U trenutnom prototipu Singularnosti SIP-ovi su izuzetno jeftini; izvode se u prstenu 0 u adresnom prostoru jezgre.
Singularity koristi ovaj napredak za izgradnju pouzdanijih sustava i aplikacija. Na primjer, jer je SIP-ove tako jeftino stvoriti i provesti, Singularity pokreće svaki program, upravljački program uređaja ili proširenje sustava u svom SIP-u. SIP-ovima nije dopušteno dijeliti memoriju ili mijenjati vlastiti kôd. Kao rezultat toga, možemo dati snažna jamstva pouzdanosti koda pokrenutog u SIP-u. Možemo provjeriti mnogo šira svojstva o SIP-u tijekom sastavljanja ili instaliranja nego što se to može učiniti za kôd koji se izvodi u tradicionalnim OS procesima. Šira primjena statičke provjere presudna je za predviđanje ponašanja sustava i pružanje korisnicima snažnih garancija o pouzdanosti.
Microsoft Research stavio je na raspolaganje za preuzimanje, Komplet za razvoj istraživanja singularnosti (RDK). Možete ga preuzeti s CodePlex, Microsoftovog web mjesta za hosting projekata otvorenog koda. Također možete preuzeti Pregled projekta singularnosti, klikom ovdje.
Ključni programeri Singularity-a, Galen Hunt i Jim Larus, rekli su da se svi trenutni operativni sustavi poput Windows, Linux i Mac OS mogu pratiti do operativnog sustava nazvanog Multics, koji vuče korijene iz 1960-ih. Zapravo, trenutni se operativni sustavi još uvijek djelomice temelje na razmišljanjima i kriterijima od prije 40 godina.Multiplexed Information and Computing Service, ili Multics, glavni je operativni sustav za dijeljenje vremena pokrenut 1965. godine i korišten do 2000.
Microsoftova istraživačka jedinstvenost promatrana je 2003. godine kao potpuno novi pristup izgradnji OS-a.
