Phenquestions
„Singularity“ yra „Microsoft Research“ projektas, skirtas sukurti labai patikimą mikrobranduolių operacinę sistemą, kurioje branduolys, įrenginių tvarkyklės ir programos yra parašytos valdomu kodu. Daugiau nei 90% OS branduolio yra parašyta „Sing #“, pratęsiant C # aukšto lygio programavimo kalbą.
„Microsoft Research Singularity“
„Singularity“ yra mokslinių tyrimų projektas, orientuotas į patikimų sistemų kūrimą pasitelkiant naujoves sistemų, kalbų ir įrankių srityse. Kuriame mokslinių tyrimų operacinės sistemos prototipą (vadinamą „Singularity“), plečiame programavimo kalbas ir kuriame naujas technikas ir įrankius, nurodančius ir tikrinant programos elgseną.
Kalbos, kompiliatorių ir įrankių pažanga atveria galimybę žymiai patobulinti programinę įrangą. Pavyzdžiui, „Singularity“ naudoja tipui saugias kalbas ir abstraktų instrukcijų rinkinį, kad įgalintų tai, ką mes vadiname programinės įrangos izoliuotais procesais (SIP). SIP suteikia tvirtas OS procesų (izoliuoto objekto vietos, atskirų GC, atskirų vykdymo trukmių) izoliacijos garantijas be aparatūros užtikrintų apsaugos sričių pridėtinių išlaidų. Pagal dabartinį „Singularity“ prototipą SIP yra labai pigūs; jie veikia 0 žiede branduolio adreso erdvėje.
„Singularity“ naudoja šiuos pasiekimus kuriant patikimesnes sistemas ir programas. Pvz., Kadangi SIP kurti ir įgyvendinti yra labai pigu, „Singularity“ kiekvieną programą, įrenginio tvarkyklę ar sistemos plėtinį valdo savo SIP. SIP neleidžiama dalytis atmintimi ar keisti savo kodo. Dėl to galime suteikti patikimas garantijas apie kodą, naudojamą SIP. Mes galime patikrinti daug platesnes SIP ypatybes kompiliavimo ar diegimo metu, nei galima padaryti kodui, kuris veikia tradiciniuose OS procesuose. Platesnis statinio patikrinimo taikymas yra labai svarbus prognozuojant sistemos elgseną ir suteikiant vartotojams tvirtas garantijas dėl patikimumo.
„Microsoft Research“ padarė galimybę atsisiųsti „Singularity Research Development Kit“ (RDK) rinkinys. Atsisiųsti galite iš „CodePlex“, „Microsoft“ atvirojo kodo projektų prieglobos svetainės. Taip pat galite atsisiųsti Singularity projekto apžvalga, paspaudę čia.
Pagrindiniai „Singularity“ kūrėjai Galenas Huntas ir Jimas Larusas teigė, kad visas dabartines operacines sistemas, tokias kaip „Windows“, „Linux“ ir „Mac OS“, galima atsekti nuo operacinės sistemos, vadinamos „Multics“, kurios ištakos atsirado 1960-aisiais. Iš tikrųjų dabartinės operacinės sistemos iš dalies vis dar grindžiamos mintimis ir kriterijais nuo 40 metų.„Multiplexed Information and Computing Service“ arba „Multics“ yra pagrindinio kompiuterio laiko pasidalijimo operacinė sistema, pradėta kurti 1965 m. Ir naudojama iki 2000 m.
2003 m. „Microsoft Research Singularity“ buvo žiūrima kaip į visiškai naują požiūrį į OS kūrimą.
