Singularnost je Microsoft Research projekt za izgradnju visoko pouzdanih operativnog sustava mikrokernela u kojem su kernel, upravljački programi uređaja i aplikacije sve napisane u upravljanom kodu. Više od 90% OS kernela je napisano u Sing #, proširenje C # visokog stupnja programskog jezika.
Microsoftov istraživački singularitet
Singularnost je istraživački projekt usmjeren na izgradnju pouzdanih sustava putem inovacija u područjima sustava, jezika i alata. Izrađujemo prototip operativnog sustava (Singularity), proširujemo programske jezike i razvijamo nove tehnike i alate za određivanje i provjeru ponašanja programa.
Napredak jezika, sastavljača i alata otvara mogućnost značajnog poboljšanja softvera. Na primjer, Singularity koristi tip-siguran jezika i sažetak instrukcije postaviti kako bi se omogućilo ono što zovemo softverski izolirani procesi (SIPs). SIP-ovi pružaju jake jamstva za izolaciju OS procesa (izolirani objektni prostor, zasebne GC-ovi, zasebni trenuci) bez nadzemnih nadzornih domena za zaštitu hardvera. U trenutnom prototipu singularnosti SIP-ovi su iznimno jeftini; oni pokreću u prstenu 0 u adresnom prostoru kernela.
Singularnost koristi ove napore za izgradnju pouzdanijih sustava i aplikacija. Na primjer, budući da su SIP-ovi tako jeftini za stvaranje i provođenje, Singularity pokreće svaki program, upravljački program uređaja ili proširenje sustava u svojem SIP-u. SIP-ovima nije dopušteno dijeljenje memorije ili izmjenu vlastitog koda. Kao rezultat toga, možemo osigurati jaku garanciju o kodu koji se izvodi u SIP-u. Možemo potvrditi puno šira svojstva o SIP-u pri sastavljanju ili instaliranju vremena nego što se to može učiniti za kôd koji se izvodi u tradicionalnim OS procesima. Šira primjena statičke verifikacije ključna je za predviđanje ponašanja sustava i pružanje snažnih jamstva o pouzdanosti korisnika.
Microsoft Research je na raspolaganju za preuzimanje, Kit za razvoj istraživanja za pojedinačnost (RDK), Možete ga preuzeti iz CodePlex-a, Microsoftovog web sitea za projektiranje otvorenog koda. Također možete preuzeti Pregled projekta singularnosti, klikom ovdje.
Ključni programeri Singularitya, Galen Hunt i Jim Larus, rekli su da svi trenutni operacijski sustavi, kao što su Windows, Linux i Mac OS, mogu pratiti operacijski sustav Multics, koji ima svoje porijeklo 1960-ih godina. Naime, trenutačni operacijski sustavi i dalje su djelomično zasnovani na mislima i kriterijima prije 40 godina. Multiplexed Information and Computing Service ili Multics je operacijski sustav za razmjenu podataka s mainframeom koji je započeo 1965. i koristi se do 2000. godine.
Microsoft Research Singularity zamišljen je 2003. godine kao potpuno novi pristup OS zgradi.
