Phenquestions
Singularity je Microsoftov raziskovalni projekt za izdelavo zelo zanesljivega mikrojedrnega operacijskega sistema, v katerem so jedro, gonilniki naprav in aplikacije zapisani v upravljani kodi. Več kot 90% jedra OS je napisanega v Sing #, razširitvi programskega jezika na visoki ravni C #.
Microsoftova raziskovalna singularnost
Singularnost je raziskovalni projekt, ki se osredotoča na gradnjo zanesljivih sistemov z inovacijami na področjih sistemov, jezikov in orodij. Gradimo prototip raziskovalnega operacijskega sistema (imenovan Singularity), razširjamo programske jezike in razvijamo nove tehnike in orodja za določanje in preverjanje vedenja programa.
Napredek v jezikih, prevajalnikih in orodjih odpira možnost za znatno izboljšanje programske opreme. Na primer, Singularnost uporablja jezike, varne za tip, in abstraktni nabor navodil, da omogoči tako imenovane programsko izolirane procese (SIP). SIP-ji zagotavljajo močna jamstva za izolacijo procesov OS (izolirani prostor objektov, ločeni GC-ji, ločena izvajanje) brez stroškov strojno zaščitenih domen zaščite. V trenutnem prototipu Singularity so SIP-ji izjemno poceni; tečejo v obroču 0 v naslovnem prostoru jedra.
Singularity ta napredek uporablja za gradnjo zanesljivejših sistemov in aplikacij. Na primer, ker je SIP tako poceni za ustvarjanje in uveljavljanje, Singularity zažene vsak program, gonilnik naprave ali razširitev sistema v svojem SIP. SIP-ji ne smejo deliti pomnilnika ali spreminjati lastne kode. Posledično lahko damo močna jamstva za zanesljivost kode, ki deluje v SIP. V času prevajanja ali namestitve lahko o SIP preverimo veliko širše lastnosti, kot je to mogoče storiti za kodo, ki se izvaja v tradicionalnih procesih OS. Širša uporaba statičnega preverjanja je ključnega pomena za napovedovanje vedenja sistema in zagotavljanje uporabnikom močnih zagotovil glede zanesljivosti.
Microsoft Research je dal na voljo za prenos Komplet za razvoj raziskav singularnosti (RDK). Lahko ga prenesete s CodePlex, Microsoftovega spletnega mesta za gostovanje projektov z odprto kodo. Lahko tudi prenesete Pregled projekta singularnosti, s klikom tukaj.
Ključna razvijalca Singularity, Galen Hunt in Jim Larus, sta povedala, da je mogoče vse trenutne operacijske sisteme, kot so Windows, Linux in Mac OS, izslediti do operacijskega sistema Multics, ki izvira iz šestdesetih let. Trenutni operacijski sistemi dejansko še vedno temeljijo na mislih in merilih izpred 40 let.Multiplexed Information and Computing Service ali Multics je operacijski sistem za časovno deljenje računalnikov, ki se je začel leta 1965 in se uporablja do leta 2000.
Microsoft Research Singularity je bil leta 2003 obravnavan kot povsem nov pristop k gradnji OS.
