Phenquestions
Сингуларити је Мицрософтов истраживачки пројекат за изградњу изузетно поузданог микројезгреног оперативног система у којем су језгро, управљачки програми уређаја и апликације написани у управљаном коду. Више од 90% језгра ОС написано је у Синг #, продужетку програмског језика високог нивоа Ц #.
Мицрософт истраживачка сингуларност
Сингуларност је истраживачки пројекат усмерен на изградњу поузданих система кроз иновације у областима система, језика и алата. Градимо истраживачки прототип оперативног система (назван Сингуларити), проширујемо програмске језике и развијамо нове технике и алате за спецификацију и верификацију понашања програма.
Напредак у језицима, компајлерима и алатима отвара могућност за значајно побољшање софтвера. На пример, Сингуларност користи језике безбедне за тип и скуп апстрактних инструкција како би омогућио оно што називамо софтверски изоловани процеси (СИП). СИП-ови пружају јаке гаранције изолације за ОС процесе (изолирани простор објеката, одвојени ГЦ-ови, одвојена времена извођења) без додатних трошкова хардверски примењених домена заштите. У тренутном прототипу Сингуларити СИП-ови су изузетно јефтини; они се покрећу у прстену 0 у адресном простору језгра.
Сингуларити користи овај напредак за изградњу поузданијих система и апликација. На пример, зато што је СИП-ове тако јефтино креирати и применити, Сингуларити покреће сваки програм, управљачки програм уређаја или системски додатак у свом СИП-у. СИП-овима није дозвољено да деле меморију или мењају сопствени код. Као резултат, можемо да пружимо јаке гаранције поузданости у вези са кодом који ради у СИП-у. Можемо да проверимо много шира својства СИП-а током времена компајлирања или инсталирања него што се то може учинити за код који се изводи у традиционалним процесима ОС-а. Шира примена статичке верификације је пресудна за предвиђање понашања система и пружање корисницима снажних гаранција о поузданости.
Мицрософт Ресеарцх је ставио на располагање за преузимање Комплет за развој истраживања о сингуларности (РДК). Можете га преузети са ЦодеПлек-а, Мицрософтове веб локације за хостинг пројеката отвореног кода. Такође можете преузети Преглед пројекта сингуларности, кликом овде.
Кључни програмери Сингуларити-а, Гален Хунт и Јим Ларус, рекли су да се сви тренутни оперативни системи попут Виндовс-а, Линук-а и Мац ОС-а могу пратити до оперативног система названог Мултицс, који потиче из 1960-их. У ствари, тренутни оперативни системи још увек се делимично заснивају на мислима и критеријумима од пре 40 година.Мултиплекед Информатион анд Цомпутинг Сервице, или Мултицс је оперативни систем за временско дељење главног рачунара започет 1965. године и коришћен до 2000.
Мицрософтова истраживачка сингуларност загледана је 2003. године као потпуно нов приступ изградњи ОС-а.
