Singulaarsus on Microsofti uurimisprojekt kõrgelt töökindla mikrokerneli operatsioonisüsteemi loomiseks, kus kernel, seadme draiverid ja rakendused kõik on kirjutatud hallatavasse koodi. Rohkem kui 90% OS-i kernelist on kirjutatud lahtrisse #, kõrglahutusega C # -programmide keele laiendamine.
Microsoft Research Singularity
Singularity on uurimisprojekt, mis keskendub usaldusväärsete süsteemide ehitamisele uuenduste kaudu süsteemide, keelte ja tööriistade valdkonnas. Me ehitame uurimissüsteemi operatsioonisüsteemi prototüübi (nn Singularity), laiendame programmeerimiskeele ning arendame välja uusi tehnoloogiaid ja vahendeid programmi käitumise täpsustamiseks ja kontrollimiseks.
Keelte, kompileerijate ja tööriistade edusammud avavad tarkvara olulise parandamise võimaluse. Näiteks kasutab Singularity tüpi ohutuid keeli ja abstraktset käsu, mis võimaldab seadistada seda, mida me nimetame tarkvara isoleeritud protsessideks (SIP). SIP-id tagavad OS-i protsesside (isoleeritud objektide ruumide, eraldi GC-de, eraldi ajaperioodide) kindlad isolatsioonitagatised ilma riistvaraspetsiifiliste kaitsevaldkondade üldkuludeta. Praeguses Singularity prototüübis on SIP-d väga odavad; nad jooksevad tuuma aadressiruumis 0-st.
Singularity kasutab neid edusamme, et luua usaldusväärsemaid süsteeme ja rakendusi. Näiteks kuna SIP-id on nii väikesed, et luua ja jõustada, käivitab Singularity iga oma programmi, seadme draiveri või süsteemi laiendi oma SIP-is. SIP-id ei tohi jagada mälu ega muuta oma koodi. Selle tulemusena saame SIP-s töötava koodi abil kindlaid usaldusväärseid garantiisid. Me võime SIP-il kirjutada palju suuremad omadused kompileerimise või installimise ajal, kui seda saab teha tavapärastes OS-i protsessides töötava koodi puhul. Staatilise kontrollimise laialdasem rakendamine on süsteemi käitumise ennustamisel kriitilise tähtsusega ning kasutajatele usaldusväärsete tagatiste pakkumine.
Microsofti teadusuuringud on saadaval allalaadimiseks saadaval Singularity Research Development Kit (RDK). Võite selle alla laadida CodePlexist, Microsofti avatud lähtekoodiga projekti veebisaidil. Võite ka alla laadida Ülevaade Singulaarsuse Projektist, klõpsates siin.
Singularity, Galen Hunt ja Jim Larus peamised arendajad väidavad, et kõik praegused operatsioonisüsteemid, nagu Windows, Linux ja Mac OS, on pärit 1960-ndatest aastatest pärineva MultiSystemi operatsioonisüsteemiga. Tegelikult põhinevad praegused operatsioonisüsteemid osaliselt mõtetel ja kriteeriumidel 40 aastat tagasi. Multiplexed Information and Computing Service või Multics on suurarvutite jagamise jagamise operatsioonisüsteem, mis algas aastal 1965 ja mida kasutatakse kuni aastani 2000.
Microsoft Research Singularity vaadeldakse 2003. aastal täiesti uut lähenemist OS-i ehitamisele.
