"Singularity" yra "Microsoft Research" projektas, skirtas sukurti labai patikimą branduolio operacinę sistemą, kurioje branduolys, įrenginių tvarkyklės ir programos yra parašytos valdomu kodu. Daugiau nei 90% OS branduolio yra parašyta "Sing #", kuris yra C # aukšto lygio programavimo kalba.
"Microsoft Research Singularity"
"Singularity" yra mokslinių tyrimų projektas, kurio pagrindinis tikslas yra sukurti patikimas sistemas inovacijomis sistemų, kalbų ir įrankių srityse. Mes sukūrėme mokslinių tyrimų operacinės sistemos prototipą (vadinamąją "Singularity"), išplėtėme programavimo kalbas ir kuriame naujas priemones ir priemones programinės elgsenos nustatymui ir patikrinimui.
Kalbos, kompiliatorių ir įrankių pažanga leidžia žymiai pagerinti programinę įrangą. Pvz., "Singularity" naudoja saugias kalbas ir abstrakčią instrukcijų rinkinį, kad būtų galima padaryti tai, ką vadiname programine įranga atskirtais procesais (SIP). SIP užtikrina stiprias OS procesų (izoliuotų objektų erdvių, atskirų GC, atskirų paleidimo laiko) garantijas izoliuojant be techninės apsaugos užtikrinamų domenų pridėtinių išlaidų. Dabartiniame "Singularity" prototipame SIP yra labai pigūs; jie branduolio adresų srityje paleidžia žiedą 0.
"Singularity" naudoja šiuos pasiekimus, siekdama kurti patikimesnes sistemas ir programas. Pavyzdžiui, kadangi "SIP" yra tokie pigūs, kad būtų sukurta ir vykdoma, "Singularity" paleidžia kiekvieną programą, įrenginio tvarkyklę ar sistemos plėtinį savo SIP. SIP neleidžiama bendrinti atminties arba keisti savo kodą. Todėl mes galime užtikrinti patikimus patikimus kodus, veikiančius SIP. Mes galime patikrinti daug platesnes savybes apie SIP kompiliuoti ar įdiegti laiką, negu galima padaryti kodui, veikiančiam tradicinių OS procesų metu. Platesnis statinio patikrinimo taikymas yra labai svarbus sistemos elgsenos prognozavimui ir vartotojams užtikrinant patikimas patikimumo garantijas.
"Microsoft Research" paskelbė atsisiųsti Singularity Research Development Kit (RDK). Galite atsisiųsti ją iš "CodePlex", "Microsoft" atvirojo kodo projekto svetainės talpinimo. Taip pat galite atsisiųsti " Singularity" projekto apžvalga, spustelėję čia.
Pagrindinės "Singularity", "Galen Hunt" ir "Jim Larus" kūrėjai sakė, kad visas dabartines operacines sistemas, tokias kaip "Windows", "Linux" ir "Mac OS", galima atsekti į "Multics" operacinę sistemą, kurios kilmė prasidėjo 1960-aisiais. Iš esmės dabartinės operacinės sistemos vis dar iš dalies remiasi mąstysmis ir kriterijais nuo 40 metų. Multiplexed Information and Computing Service arba Multics yra pagrindinio kompiuterio dalijimosi laiko operacijų sistema, pradėta 1965 m. Ir naudojama iki 2000 m.
"Microsoft Research Singularity" 2003 m. Buvo vertinamas kaip visiškai naujas požiūris į OS statybą.
