Phenquestions
Singularity ir Microsoft izpētes projekts, lai izveidotu ļoti uzticamu mikrokodelu operētājsistēmu, kurā visi kodoli, ierīču draiveri un lietojumprogrammas ir ierakstītas pārvaldītā kodā. Vairāk nekā 90% OS kodola ir rakstīti Sing #, kas ir C # augsta līmeņa programmēšanas valodas paplašinājums.
Microsoft izpētes vienreizīgums
Singularity 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ētnieciskās operētājsistēmas prototipu (sauktu Singularity), paplašinām programmēšanas valodas un izstrādājam jaunas metodes un rīkus, lai precizētu un pārbaudītu programmas uzvedību.
Valodu, kompilatoru un rīku attīstība paver iespēju ievērojami uzlabot programmatūru. Piemēram, Singularity izmanto tipam drošas valodas un abstraktu instrukciju kopu, lai iespējotu to, ko mēs saucam par programmatūras izolētiem procesiem (SIP). SIP nodrošina spēcīgas OS procesu izolācijas garantijas (izolēta objekta telpa, atsevišķi GC, atsevišķi izpildlaiki) bez aparatūras piespiedu aizsardzības domēnu pieskaitāmās daļas. Pašreizējā Singularity prototipā SIP ir ārkārtīgi lēti; tie darbojas 0 gredzenā kodola adrešu telpā.
Singularitāte izmanto šos sasniegumus, lai izveidotu uzticamākas sistēmas un lietojumprogrammas. Piemēram, tā kā SIP ir tik lēti izveidot un ieviest, Singularity katru programmu, ierīces draiveri vai sistēmas paplašinājumu palaiž savā SIP. SIP nav atļauts koplietot atmiņu vai modificēt savu kodu. Tā rezultātā mēs varam sniegt stingras uzticamības garantijas par kodu, kas darbojas SIP. Kompilēšanas vai instalēšanas laikā mēs varam pārbaudīt daudz plašākas SIP īpašības nekā to var izdarīt kodam, kas darbojas tradicionālajos OS procesos. Statiskās verifikācijas plašāka izmantošana ir kritiska, lai prognozētu sistēmas darbību un sniegtu lietotājiem stingras garantijas par uzticamību.
Microsoft Research ir darījis pieejamu lejupielādei Singularitātes pētījumu izstrādes komplekts (RDK). To var lejupielādēt no Microsoft atvērtā pirmkoda projekta mitināšanas vietnes CodePlex. Jūs varat arī lejupielādēt Pārskats par singularitātes projektu, noklikšķinot šeit.
Galvenie Singularity izstrādātāji Galens Hants un Džims Larus ir teikuši, ka visas pašreizējās operētājsistēmas, piemēram, Windows, Linux un Mac OS, ir meklējamas operētājsistēmā Multics, kuras pirmsākumi meklējami pagājušā gadsimta sešdesmitajos gados. Faktiski pašreizējās operētājsistēmas daļēji joprojām balstās uz domām un kritērijiem, kas radušies pirms 40 gadiem.Multipleksēts informācijas un skaitļošanas pakalpojums jeb Multics ir mainframe laika dalīšanas operētājsistēma, kas sākta 1965. gadā un izmantota līdz 2000. gadam.
Microsoft Research Singularity tika skatīts 2003. gadā kā pilnīgi jauna pieeja operētājsistēmas veidošanai.
