Singularitāte ir Microsoft Research projekts, lai izveidotu ļoti drošu mikrokernelu operētājsistēmu, kurā kodols, ierīces draiveri un lietojumprogrammas tiek rakstītas pārvaldītajā kodā. Vairāk nekā 90% OS kodola ir rakstīts uz Sing #, kas ir C # augstā līmeņa programmēšanas valodas paplašinājums.
Microsoft Research Singularity
Singularitāte ir pētniecības projekts, kas vērsts uz uzticamu sistēmu izveidi, izmantojot inovācijas sistēmu, valodu un rīku jomā. Mēs veidojam pētniecības operētājsistēmas prototipu (sauktu par Singularity), paplašinot programmēšanas valodas un izstrādājot jaunas metodes un līdzekļus, lai noteiktu un pārbaudītu programmas uzvedību.
Valstu, kompilatoru un rīku attīstība paver iespēju ievērojami uzlabot programmatūru. Piemēram, Singularity izmanto tipveida valodas un abstraktu instrukciju kopu, lai nodrošinātu to, ko mēs saucam par programmatūras izolētiem procesiem (SIP). SIP nodrošina spēcīgas izolēšanas garantijas OS procesiem (izolēta objekta telpa, atsevišķi GC, atsevišķi palaist laika posmi) bez pieskaitāmām ar aparatūras piespiedu aizsardzības domēniem. Pašreizējā Singularity prototipa SIP ir ārkārtīgi lēti; tie kodola adreses laukumā darbojas ar gredzenu 0.
Singularitāte izmanto šos uzlabojumus, lai izveidotu uzticamākas sistēmas un lietojumprogrammas. Piemēram, tā kā SIP ir tik lēti, lai to izveidotu un izpildītu, Singularity katru programmu, ierīces draiveri vai sistēmas paplašinājumu izpilda savā SIP. SIP nav atļauts dalīties atmiņā vai mainīt savu kodu. Rezultātā mēs varam nodrošināt stingras garantijas attiecībā uz kodu, kas darbojas SIP. Mēs varam pārbaudīt daudz plašākas īpašības par SIP, apkopojot vai instalējot laiku, nekā to var izdarīt kodam, kas darbojas tradicionālajos OS procesos. Statiskas verifikācijas plašāka izmantošana ir izšķiroša, lai prognozētu sistēmas uzvedību un nodrošinātu lietotājus ar stingrām garantijām par uzticamību.
Microsoft pētījumi ir pieejami lejupielādei, Singularitātes pētniecības attīstības komplekts (RDK). Jūs to varat lejupielādēt no CodePlex, Microsoft atvērtā pirmkoda projekta hostinga vietnes. Jūs varat arī lejupielādēt Pārskats par Singularitātes projektu, noklikšķinot šeit.
Galvenie izstrādātāji Singularity, Galen Hunt un Jim Larus, hasve teica, ka visas pašreizējās operētājsistēmas, piemēram, Windows, Linux un Mac OS, var izsekot operētājsistēmai Multics, kuras izcelsme ir 1960. gados. Patiesībā pašreizējās operētājsistēmas joprojām daļēji balstās uz domām un kritērijiem, kas tika veikti pirms 40 gadiem. Multimediju informācijas un skaitļošanas pakalpojums vai Multics ir galvenā fona laika dalīšanas operētājsistēma, kas tika sākta 1965. gadā un tika izmantota līdz 2000. gadam.
Microsoft Research Singularity tika skatīts 2003. gadā kā pilnīgi jauna pieeja OS izveidei.
