Microsoft Research Singularity — ОС, отличная от Windows

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

Microsoft Research Singularity

Microsoft Research Singularity

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

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

Программы для Windows, мобильные приложения, игры - ВСЁ БЕСПЛАТНО, в нашем закрытом телеграмм канале - Подписывайтесь:)

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

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

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

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

Microsoft Research Singularity .

Программы для Windows, мобильные приложения, игры - ВСЁ БЕСПЛАТНО, в нашем закрытом телеграмм канале - Подписывайтесь:)

Похожие записи

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *