Особенность Microsoft Research - ОС, отличная от ОС Windows

Singularity - это проект Microsoft Research для создания высоконадежной микроядерной операционной системы, в которой все ядра, драйверы устройств и приложения записаны в управляемом коде. Более 90% ядра ОС написано в Sing #, расширении языка программирования высокого уровня C #.

Microsoft Research Singularity

Singularity - исследовательский проект, ориентированный на построение надежных систем посредством инноваций в областей систем, языков и инструментов. Мы создаем прототип исследовательской операционной системы (называемый Singularity), расширяя языки программирования и разрабатывая новые методы и инструменты для определения и проверки поведения программы.

Достижения в языках, компиляторах и инструментах открывают возможность значительно улучшить программное обеспечение. Например, Singularity использует языки с типом и набор абстрактных инструкций, чтобы включить то, что мы называем программными изолированными процессами (SIP). SIP обеспечивают сильные гарантии изоляции процессов ОС (изолированное пространство объектов, отдельные GC, отдельные временные ряды) без накладных расходов на аппаратные защищенные домены. В текущем сингулярности прототипы SIP чрезвычайно дешевы; они запускаются в кольце 0 в адресном пространстве ядра.

Singularity использует эти достижения для создания более надежных систем и приложений. Например, поскольку SIP настолько дешевы для создания и обеспечения соблюдения, Singularity запускает каждую программу, драйвер устройства или расширение системы в своем собственном SIP. SIP не разрешается обмениваться памятью или изменять собственный код. В результате мы можем сделать надежные гарантии надежности кода, работающего в SIP. Мы можем проверить гораздо более широкие свойства о SIP при компиляции или установке, чем это можно сделать для кода, выполняющегося в традиционных процессах ОС. Более широкое применение статической проверки имеет решающее значение для прогнозирования поведения системы и предоставления пользователям надежных гарантий надежности.

Microsoft Research стала доступной для загрузки, Development Development Kit Kit (RDK) . Вы можете загрузить его с CodePlex, веб-сайта с открытым исходным кодом Microsoft. Вы также можете скачать Обзор проекта Singularity , нажав здесь.

Основные разработчики Singularity, Galen Hunt и Jim Larus, сказали, что все текущие операционные системы, такие как Windows, Linux и Mac OS, могут прослеживается в операционной системе Multics, которая берет свое начало в 1960-х годах. Фактически, текущие операционные системы по-прежнему основаны, в частности, на мыслях и критериях 40 лет назад. Мультиплексированная служба информации и вычислений или Multics - это операционная система с разделением мэйнфреймов, начатая в 1965 году и используемая до 2000 года.

Microsoft Research Singularity рассматривалась в 2003 году как совершенно новый подход к созданию ОС.