Hivatal

Microsoft Kutatási Singularitás - Egy nem Windows operációs rendszer

Lovász László is az ELTE-re járt

Lovász László is az ELTE-re járt

Tartalomjegyzék:

Anonim

A Singularity egy Microsoft Research 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ódot írnak. Az operációs rendszermag több mint 90% -át Sing #, a C # magas szintű programozási nyelv kiterjesztése írja le.

Microsoft Research Singularity

A Singularity egy kutatási projekt, amely a megbízható rendszerek megteremtésére összpontosít rendszerek, nyelvek és eszközök területé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 viselkedésének meghatározásához és ellenőrzéséhez.

A nyelvek, fordítók é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 a 0-as gyűrű működik.

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ával.

A Microsoft Research letölthető, Singularity Research Development Kit (RDK) . Letöltheti a CodePlex, a Microsoft nyílt forráskódú projekt hosting weboldaláról. A Singularity legfontosabb fejlesztői, Galen Hunt és Jim Larus elmondták, hogy minden jelenlegi operációs rendszer, mint például a Windows, a Linux és a Mac OS, képesek a Overview of Singularity Project

visszavezethető egy Multics nevű operációs rendszerhez, amelynek eredete az 1960-as években történt. Valójában a jelenlegi operációs rendszerek még mindig 40 évvel ezelőtti gondolatokra és kritériumokon alapulnak. A többszörös információs és számítástechnikai szolgáltatás, vagy a Multics egy 1965-ben kezdődő és 2000-ig használt mainframe időmegosztó operációs rendszer.

A Microsoft Research Singularity 2003-ban az operációs rendszer kiépítésének teljesen új megközelítési módja volt.