A szingularitás egy Microsoft Kutatási projekt, amely egy nagy megbízhatóságú mikrokernel operációs rendszert épít fel, amelyben a rendszermag, az eszközvezérlők és az alkalmazások mind kezelt kódokba vannak írva. Az operációs rendszermag több mint 90% -át a C # magas szintű programozási nyelvének meghosszabbításában a Sing # -ben írták.
A Microsoft kutatási szingularitása
A szingularitás egy olyan kutatási projekt, amely a rendszerek, nyelvek és eszközök területén az innováció révén a megbízható rendszerek megteremtésére összpontosít. Egy kutatási operációs rendszer prototípust (Singularity) hívunk szét, amely kiterjeszti a programozási nyelveket, és új technikákat és eszközöket fejleszt ki a program magatartásának meghatározásához és ellenőrzéséhez.
A nyelvek, fordítások és eszközök előrehaladása jelentősen javítja a szoftverek lehetőségét. Például a Singularity olyan típusú nyelveket és absztrakt utasításkészleteket használ, amelyek lehetővé teszik az úgynevezett szoftveres elkülönített folyamatok (SIP-ek) használatát. A SIP-ek biztosítják az OS-folyamatok (elszigetelt objektumterület, különálló GC-k, különálló futási idők) erős elkülönítési garanciáit a hardver által megkövetelt védelmi tartományok fölött. A jelenlegi Singularity prototípusban a SIP rendkívül olcsó; a rendszermag címtartományában 0-as gyűrűt futnak.
A szingularitás ezeket az előrelépéseket használja megbízhatóbb rendszerek és alkalmazások építésére. Például, mivel a SIP-ek annyira olcsóak, hogy létrehozzák és érvényesítsék őket, a Singularity minden programot, eszközmeghajtót vagy rendszermeghajtást saját SIP rendszerében futtat. A SIP-eknek nem szabad megosztaniuk a memóriát vagy módosítaniuk saját kódjukat. Ennek eredményeként erős megbízhatóságot garantálhatunk a SIP-ben futó kóddal kapcsolatban. A SIP-en sokkal teljesebb tulajdonságokat tudunk ellenőrizni fordítási vagy telepítési idő alatt, mint a hagyományos operációs rendszerekben futó kódok esetében. A statikus ellenőrzés szélesebb alkalmazása kritikus fontosságú a rendszer viselkedésének előrejelzéséhez, és a felhasználók számára a megbízható megbízhatóság biztosítására.
A Microsoft Research letölthető, a Singularity Research Development Kit (RDK). Letöltheti a CodePlex, a Microsoft nyílt forráskódú projekt hosting weboldaláról. Letölthet is A Singularity Project áttekintése, kattintson ide.
A Singularity legfontosabb fejlesztői, Galen Hunt és Jim Larus elmondták, hogy az összes jelenlegi operációs rendszer, mint a Windows, a Linux és a Mac OS visszakereshető az 1960-as évekből származó Multics operációs rendszerhez. Valójában a jelenlegi operációs rendszerek még mindig 40 évvel ezelőtti gondolatokra és kritériumokon alapulnak. Többszörös információs és számítástechnikai szolgáltatás, vagy Multics egy mainframe timesharing operációs rendszer, amely 1965-ben kezdődött és 2000-ig használatos.
A Microsoft Research Singularity-t 2003-ban az operációs rendszer kiépítésének teljesen új megközelítésének tekintették.
