Microsoft Research Singularity

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

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

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

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

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

Ключевые разработчики Singularity, Гален Хант и Джим Ларус, заявили, что все современные операционные системы, такие как Windows, Linux и Mac OS, восходят к операционной системе под названием Multics, которая возникла в 1960-х годах. Фактически, современные операционные системы по-прежнему частично основаны на мыслях и критериях 40-летней давности.Multiplexed Information and Computing Service, или Multics, - это операционная система с разделением времени для мэйнфреймов, созданная в 1965 году и использовавшаяся до 2000 года.

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