Jedinečnosť je projekt spoločnosti Microsoft Research na vybudovanie vysoko spoľahlivého operačného systému pre mikrokernely, v ktorom sú všetky jadrá, ovládače zariadení a aplikácie napísané v spravovanom kóde. Viac ako 90% jadra OS je napísané v Sing #, rozšírení programovacieho jazyka C # na vysokej úrovni.
Microsoft Research Singularity
Singularity je výskumný projekt zameraný na budovanie spoľahlivých systémov prostredníctvom inovácií v oblasti systémov, jazykov a nástrojov. Vytvárame prototyp výskumného operačného systému (nazývaný Singularity), rozšírenie programovacích jazykov a vývoj nových techník a nástrojov na špecifikáciu a overovanie správania sa programov.
Pokroky v jazykoch, kompilátoch a nástrojoch umožňujú výrazne zlepšiť softvér. Napríklad Singularity používa jazyky bezpečné pre typ a abstraktnú inštrukčnú množinu, aby umožňovali to, čo nazývame softvérové izolované procesy (SIP). SIP poskytujú silné izolačné záruky procesov operačného systému (priestor pre samostatné objekty, samostatné GC, samostatné runtimes) bez režijných hardwarových domén ochrany. V súčasnom prototype Singularity sú SIP extrémne lacné; bežia v kruhu 0 v adresovom priestore jadra.
Singularity využíva tieto pokroky na vybudovanie spoľahlivejších systémov a aplikácií. Napríklad, pretože SIP sú tak lacné na vytváranie a presadzovanie, Singularity spúšťa každý program, ovládač zariadenia alebo rozšírenie systému vo vlastnom SIP. SIP nie je povolené zdieľať pamäť ani upravovať vlastný kód. V dôsledku toho môžeme poskytnúť silné záruky spoľahlivosti týkajúce sa kódu bežiaceho v SIP. Môžeme overiť oveľa širšie vlastnosti o SIP v čase kompilácie alebo inštalácie, ako je možné urobiť pre kód spustený v tradičných procesoch OS. Širšie uplatnenie statického overovania je rozhodujúce pre predpovedanie správania sa systému a poskytuje používateľom silné záruky spoľahlivosti.
Microsoft Research sprístupnil na stiahnutie, Vývojový kit na vývoj singularity (RDK), Môžete si ho prevziať z webovej stránky CodePlex, webového projektu s otvoreným zdrojovým kódom spoločnosti Microsoft. Môžete tiež stiahnuť Prehľad projektu Singularity, kliknutím sem.
Kľúčoví vývojári spoločnosti Singularity, Galen Hunt a Jim Larus, povedali, že všetky súčasné operačné systémy, ako sú Windows, Linux a Mac OS, sa dajú nájsť späť do operačného systému Multics, ktorý vznikol v šesťdesiatych rokoch minulého storočia. V skutočnosti sú súčasné operačné systémy stále založené, čiastočne, na myšlienkach a kritériách pred 40 rokmi. Multiplexed Information and Computing Service alebo Multics je mainframe timesharing operačný systém začatý v roku 1965 a používaný do roku 2000.
Spoločnosť Microsoft Research Singularity bola v roku 2003 pozorovaná ako úplne nový prístup k budovaniu operačných systémov.
