Ured

Microsoft Research Singularity - OS koji nije Windows OS

The Internet of Things by James Whittaker of Microsoft

The Internet of Things by James Whittaker of Microsoft

Sadržaj:

Anonim

Singularnost je Microsoft Research projekt za izgradnju visoko pouzdane operativne sustave mikrokernela u kojem su kernel, upravljački programi uređaja i aplikacije napisani u upravljanom kodu. Više od 90% OS jezgre napisano je u Sing #, proširenju C # visokog stupnja programskog jezika.

Microsoft Research Singularity

Singularnost je istraživački projekt usmjeren na izgradnju pouzdanih sustava putem inovacija u područja sustava, jezika i alata. Razvijamo prototip operativnog sustava (Singularity), proširujemo programske jezike i razvijamo nove tehnike i alate za određivanje i provjeru ponašanja programa.

Napredak jezika, kompilera 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 rade u prstenu 0 u adresnom prostoru kernela.

Singularnost koristi ove napredke 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. Veća 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 objavio jedinstveni paket za istraživanje (RDK) . Možete ga preuzeti iz CodePlex-a, Microsoftovog web sitea za projektiranje otvorenog koda. Također možete preuzeti pregled pojedinačnog projekta , klikom ovdje.

Ključni programeri Singularity, Galen Hunt i Jim Larus, rekli su da svi trenutni operacijski sustavi, kao što su Windows, Linux i Mac OS biti praćeni operativnim sustavom nazvanim 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 koji je započeo 1965. i koristi se do 2000. godine.

Microsoft Research Singularity je 2003. zamišljen kao potpuno novi pristup OS zgradi.