Microsoft szingularitás

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2020. június 11-én felülvizsgált verziótól ; az ellenőrzésekhez 10 szerkesztés szükséges .
Szingularitás
Fejlesztő Microsoft
OS család Windows NT
Alapján Windows me
Első kiadás 2004. szeptember 18
legújabb verzió 2.1 (2007. április 12.)
Támogatott platformok x86
Kernel típusa mikrokernel
Engedély GPL (korábban Microsoft Research License)
Állapot a fejlesztés leállt
Weboldal microsoft.com/en-us/rese…

A Singularity a Microsoft kutatási részlege  által 2003-ban elindított projekt egy rendkívül biztonságos operációs rendszer létrehozására, amelyben a mikrokernelt , az eszközillesztőket és az alkalmazásokat felügyelt kódban írják .

Ennek az operációs rendszernek a megkülönböztető jellemzője a szoftvertől elkülönített folyamatok (Software Isolated Processes, SIP) ideológiája, hasonlóan a könnyű Erlang nyelvi folyamatokhoz , amelyek között a kommunikáció kizárólag üzeneteken keresztül történik. A hagyományos operációs rendszerekkel ellentétben az ilyen folyamatok védelme a Singularity-ben nem hardver által védett címterek szervezésével történik, hanem a köztes nyelv ( MSIL ) típusbiztos részhalmazának felhasználásával és annak ellenőrzésével, mielőtt a processzor natív kódjába fordítaná. Minden SIP saját objektumterülettel, szemétgyűjtővel és futási környezettel rendelkezik. Az ilyen folyamatok nem oszthatnak meg memóriát, és nem tudják módosítani a kódjukat, ami növeli a program megbízhatóságát SIP-ben.

Az alacsony szintű x86 megszakításkezelő kód assembly nyelven és C nyelven íródott . A futásidejű könyvtárak ( eng. runtime ) és a szemétgyűjtő Sing# -ban (egy speciálisan ehhez a projekthez módosított C# dialektus ) nem biztonságos módban ( eng. unsafe mode ) vannak írva . Van néhány C kód is, amelyet hibakeresési célokra használnak. A számítógép BIOS -a csak a rendszerindítási fázisban hívódik meg a processzor 16 bites valós üzemmódjában . A 32 bites módra váltás után a BIOS soha többé nem kerül meghívásra, helyette a Sing# -ban írt illesztőprogramok kerülnek felhasználásra . A kernel telepítésekor a CIL-opkódok x86-os utasításokká lesznek lefordítva a Bartok fordító segítségével .   

A Bartok [1]  egy kutatási projekt, melynek célja egy optimalizáló fordító CIL-ről x86-ra való felépítésére C# nyelven.

A Singularity 1.0 2007-ben készült el. A Singularity 1.1 Research Development Kit (RDK) Shared Source licenc alatt jelent meg, és nyitva áll tudományos, nem kereskedelmi használatra; a csomag elérhető a CodePlexen . 2008. november 14-én jelent meg a Singularity RDK 2.0. A további fejlesztést leállították.

A Singularity kód és az eszközök felfedezhetők és használhatók a CodePlex oldalon , 2021. március 31-én archiválva a Wayback Machine -nél .

Lásd még

Linkek