Phenquestions
Singularity je projekt Microsoft Research, jehož cílem je vybudovat vysoce spolehlivý mikrokernelový operační systém, ve kterém jsou jádro, ovladače zařízení a aplikace zapsány ve spravovaném kódu. Více než 90% jádra OS je napsáno v Sing #, rozšíření C # programovacího jazyka na vysoké úrovni.
Výjimečnost Microsoft Research
Singularity je výzkumný projekt zaměřený na konstrukci spolehlivých systémů prostřednictvím inovací v oblastech systémů, jazyků a nástrojů. Budujeme prototyp výzkumného operačního systému (zvaný Singularity), rozšiřujeme programovací jazyky a vyvíjíme nové techniky a nástroje pro specifikaci a ověřování chování programu.
Pokroky v jazycích, kompilátorech a nástrojích otevírají možnost významného vylepšení softwaru. Například Singularity používá typově bezpečné jazyky a abstraktní instrukční sadu, aby umožnila to, co nazýváme Softwarové izolované procesy (SIP). SIP poskytují silné izolační záruky procesů OS (izolovaný objektový prostor, samostatné GC, samostatné runtime) bez režie hardwarově vynucených ochranných domén. V současném prototypu Singularity jsou SIP extrémně levné; běží v kruhu 0 v adresním prostoru jádra.
Singularity využívá tyto pokroky k vytváření spolehlivějších systémů a aplikací. Například proto, že SIPy jsou tak levné pro vytváření a vynucování, Singularity spouští každý program, ovladač zařízení nebo rozšíření systému ve svém vlastním SIP. SIP nesmějí sdílet paměť ani upravovat svůj vlastní kód. Ve výsledku můžeme poskytnout silné záruky spolehlivosti kódu běžícího v SIP. Můžeme ověřit mnohem širší vlastnosti SIP v době kompilace nebo instalace, než je to možné pro kód běžící v tradičních procesech OS. Širší použití statického ověřování je zásadní pro předvídání chování systému a poskytování uživatelům silných záruk spolehlivosti.
Společnost Microsoft Research zpřístupnila ke stažení soubor Singularity Research Development Kit (RDK). Můžete si jej stáhnout z CodePlex, webového serveru hostujícího projekt s otevřeným zdrojovým kódem společnosti Microsoft. Můžete také stáhnout Přehled projektu Singularity, kliknutím sem.
Klíčoví vývojáři Singularity, Galen Hunt a Jim Larus, uvedli, že všechny současné operační systémy jako Windows, Linux a Mac OS lze vysledovat zpět k operačnímu systému s názvem Multics, který má svůj původ v 60. letech. Ve skutečnosti jsou současné operační systémy stále částečně založeny na myšlenkách a kritériích z doby před 40 lety.Multiplexovaná informační a výpočetní služba neboli Multics je operační systém s časovým sdílením na sálovém počítači, který začal v roce 1965 a používal se do roku 2000.
Microsoft Research Singularity byl v roce 2003 považován za zcela nový přístup k budování OS.
