Microsoft Singularity | это... Что такое Microsoft Singularity? (original) (raw)
Эта статья — об операционной системе. О физическом понятии см. Сингулярность.
| Singularity | |
|---|---|
| Разработчик | Microsoft |
| Последняя версия | 2.0 — 14 ноября 2008 г. |
| Тип ядра | Микроядро |
| Лицензия | Microsoft Research License |
| Состояние | в разработке |
Singularity — начатый в 2003 году проект исследовательского подразделения корпорации Майкрософт по созданию высоконадёжной операционной системы, в которой микроядро, драйверы устройств и приложения написаны на управляемом коде.
Отличительной особенностью данной ОС является использование идеологии программно-изолированных процессов (Software Isolated Processes, SIP), похожих на легкие процессы языка Erlang, общение между которыми происходит исключительно посредством сообщений. В отличие от традиционных ОС, защита таких процессов в Singularity производится не путем организации аппаратно-защищенных адресных пространств, а путем использования типобезопасного подмножества промежуточного языка (MSIL) и его верификации перед компиляцией в родной код процессора. Каждый SIP обладает своим объектным пространством, «сборщиком мусора» и средой периода исполнения. Для таких процессов не допускается совместное использование памяти, и они не имеют возможность модифицировать свой код, что усиливает гарантии надежности работы программы в SIP.
Низкоуровневый код обработки прерываний x86 написан на языке ассемблера и C. Библиотеки времени исполнения (англ. runtime) и сборщик мусора написаны на Sing# (специально доработанном для данного проекта диалекте C#) с использованием небезопасного режима (англ. unsafe mode). Также присутствует код на C, использующийся в целях отладки. BIOS компьютера вызывается только на этапе загрузки в 16-разрядном реальном режиме работы процессора. После перехода в 32-разрядный режим, BIOS больше никогда не вызывается, вместо него используются драйверы, написанные на Sing#. При установке ядра, оп-коды CIL компилируются в инструкции x86 при помощи компилятора Bartok.
Bartok [1] — это исследовательский проект по созданию на языке C# оптимизирующего компилятора из CIL в x86.
Singularity 1.0 была завершена в 2007 году. Исследовательский пакет Singularity 1.1 Research Development Kit (RDK) был выпущен под лицензией Shared Source и допускает академическое некоммерческое использование; пакет доступен на CodePlex. 14 ноября 2008 г. был выпущен Singularity RDK 2.0. Дальнейшая разработка прекращена.
Код Singularity и вспомогательных средств доступен для изучения и использования на сайте CodePlex.
См. также
Ссылки
- Официальная страница Singularity (англ.)
- Страница с исходным кодом на сайте CodePlex (англ.)
- Проект Singularity: обзор (рус.)
- Начинаем работать с ОС Singularity (рус.)
- Русскоязычный форум по ОС Singularity (рус.)
 Microsoft Windows |
||
|---|---|---|
| Оболочки над MS-DOS: 1.0 • 2.x • 3.x • Windows 9x: 95 • 98 • ME • Windows NT: NT 3.1 • NT 3.5 • NT 3.51 • NT 4.0 • 2000 • XP • Vista • 7 • 8 | ||
| Windows Server | 2003 • Home (2011) • 2008 (HPC 2008 • R2) • Essential Business • MultiPoint • Small Business • 2012 |  |
| Специализированные | Embedded (Automotive • POSReady) • PE • FLP | |
| Мобильные | Windows CE (1.0 • 2.0 • 3.0 • 4.0 • 5.0 • 6.0 • 7.0) • Mobile • Phone • RT | |
| Другие проекты | Xenix • OS/2 • Singularity • Midori • Закрытые: Neptune • Nashville • Odyssey • Cairo | |
| Альтернативные реализации | ReactOS • Wine |