Singularity е проект на Microsoft за разработване на високоефективна операционна система за microkernel, в която ядрото, драйверите за устройства и приложенията са написани в управляван код. Повече от 90% от ядрото на операционната система е написано в Sing # - разширение на програмния език C # на високо ниво.
Microsoft Research Singularity
Singularity е изследователски проект, насочен към изграждането на надеждни системи чрез иновации в областта на системите, езиците и инструментите. Изграждаме прототип на изследователска операционна система (наречена Singularity), разширявайки езиците за програмиране и разработвайки нови техники и инструменти за определяне и проверка на поведението на програмата.
Авансите в езиците, компилаторите и инструментите разкриват възможността за значително подобряване на софтуера. Например, Singularity използва езиците, които са безопасни за тип, и набор от абстрактни указания, които позволяват това, което наричаме Софтуерни изолирани процеси (SIP). SIP осигуряват силни изолационни гаранции за процесите на OS (изолирано обектно пространство, отделни GCs, отделни времена на изпълнение) без режийните на хардуерно прилежащите защитни домейни. В настоящия прототип Singularity SIPs са изключително евтини; те се движат в пръстен 0 в адресното пространство на ядрото.
Singularity използва този аванс, за да изгради по-надеждни системи и приложения. Например, защото SIPs са толкова евтини за създаване и прилагане, Singularity изпълнява всяка програма, драйвер на устройството или разширение на системата в собствения си SIP. На SIP не е разрешено да споделя памет или да променя своя собствен код. В резултат на това можем да гарантираме надеждна надеждност относно кода, който се изпълнява в SIP. Можем да проверим много по-широки свойства за SIP при компилиране или инсталиране на време, отколкото може да се направи за код, работещ в традиционните процеси на OS. По-широкото прилагане на статичната проверка е от решаващо значение за прогнозиране на поведението на системата и предоставя на потребителите силни гаранции за надеждността.
Microsoft Research е направила достъпна за изтегляне, Комплект за разработване на изследване за самостоятелност (RDK), Можете да го изтеглите от CodePlex, уебсайта за уеб хостинг на проекта с отворен код на Microsoft. Можете също да изтеглите Общ преглед на проекта за индивидуалност, като кликнете тук.
Основните разработчици на Singularity, Galen Hunt и Jim Larus, заявиха, че всички текущи операционни системи като Windows, Linux и Mac OS могат да бъдат проследени обратно към операционна система Multics, която произхожда от 60-те години на миналия век. Всъщност текущите операционни системи все още се основават отчасти на мисли и критерии отпреди 40 години. Мултиплексираната информационна и изчислителна услуга или Multics е основна операционна система за споделяне на времето, създадена през 1965 г. и използвана до 2000 г.
"Microsoft Research Singularity" бе наблюдавана през 2003 г. като напълно нов подход към изграждането на операционна система.
