Singularity - это проект Microsoft Research для создания высоконадежной микроядерной операционной системы, в которой все ядра, драйверы устройств и приложения записаны в управляемом коде. Более 90% ядра ОС написано на Sing #, расширении языка программирования высокого уровня C #.
Уникальность Microsoft Research
Сингулярность - это исследовательский проект, ориентированный на создание надежных систем посредством инноваций в областях систем, языков и инструментов. Мы создаем прототип исследовательской операционной системы (называемый Singularity), расширяя языки программирования и разрабатывая новые методы и инструменты для определения и проверки поведения программы.
Достижения в языках, компиляторах и инструментах открывают возможность значительно улучшить программное обеспечение. Например, Singularity использует языки с типом и набор абстрактных инструкций, чтобы включить то, что мы называем программными изолированными процессами (SIP). SIP обеспечивают сильные гарантии изоляции процессов ОС (изолированное пространство объектов, отдельные GC, отдельные временные ряды) без накладных расходов на аппаратные защищенные домены. В текущем сингулярности прототипы SIP чрезвычайно дешевы; они запускаются в кольце 0 в адресном пространстве ядра.
Сингулярность использует эти достижения для создания более надежных систем и приложений. Например, поскольку SIP настолько дешевы для создания и обеспечения соблюдения, Singularity запускает каждую программу, драйвер устройства или расширение системы в своем собственном SIP. SIP не разрешается обмениваться памятью или изменять собственный код. В результате мы можем сделать надежные гарантии надежности кода, работающего в SIP. Мы можем проверить гораздо более широкие свойства о SIP при компиляции или установке, чем это можно сделать для кода, выполняющегося в традиционных процессах ОС. Более широкое применение статической проверки имеет решающее значение для прогнозирования поведения системы и предоставления пользователям надежных гарантий надежности.
Microsoft Research предоставила для скачивания, Комплект разработки исследований Singularity (RDK), Вы можете загрузить его с CodePlex, веб-сайта с открытым исходным кодом Microsoft. Вы также можете скачать Обзор проекта Singularity, нажав здесь.
Основные разработчики Singularity, Galen Hunt и Jim Larus, сказали, что все текущие операционные системы, такие как Windows, Linux и Mac OS, можно проследить до операционной системы Multics, которая берет свое начало в 1960-х годах. Фактически, текущие операционные системы по-прежнему основаны, в частности, на мыслях и критериях 40 лет назад. Мультиплексированная информационная и вычислительная служба или Multics - это операционная система с разделением мэйнфреймов, начатая в 1965 году и используемая до 2000 года.
В 2003 году Microsoft Research Singularity рассматривалась как совершенно новый подход к созданию ОС.
