Microsoft Singularity
| Singularity | |
| Последняя версия |
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 [research.microsoft.com/act/] — это исследовательский проект по созданию на языке C# оптимизирующего компилятора из CIL в x86.
Singularity 1.0 была завершена в 2007 году. Исследовательский пакет Singularity 1.1 Research Development Kit (RDK) был выпущен под лицензией Shared Source и допускает академическое некоммерческое использование; пакет доступен на CodePlex. 14 ноября 2008 г. был выпущен Singularity RDK 2.0. Дальнейшая разработка прекращена.
[www.codeplex.com/singularity Код Singularity и вспомогательных средств доступен для изучения и использования] на сайте [www.codeplex.com/ CodePlex].
См. также
Напишите отзыв о статье "Microsoft Singularity"
Ссылки
- [research.microsoft.com/os/singularity/ Официальная страница Singularity] (англ.)
- [www.codeplex.com/singularity Страница с исходным кодом на сайте CodePlex] (англ.)
- [www.rsdn.ru/article/singularity/singularity.xml Проект Singularity: обзор] (рус.)
- [www.xakep.ru/post/42918/default.asp Начинаем работать с ОС Singularity] (рус.)
- [forum.managed-os.ru/viewforum.php?f=13 Русскоязычный форум по ОС Singularity] (рус.)
| ||||||||||||||||||||||||
|
Это заготовка статьи о программном обеспечении. Вы можете помочь проекту, дополнив её. |
Отрывок, характеризующий Microsoft Singularity
Страсть его к государю несколько ослабела в Москве, так как он за это время не видал его. Но он часто рассказывал о государе, о своей любви к нему, давая чувствовать, что он еще не всё рассказывает, что что то еще есть в его чувстве к государю, что не может быть всем понятно; и от всей души разделял общее в то время в Москве чувство обожания к императору Александру Павловичу, которому в Москве в то время было дано наименование ангела во плоти.В это короткое пребывание Ростова в Москве, до отъезда в армию, он не сблизился, а напротив разошелся с Соней. Она была очень хороша, мила, и, очевидно, страстно влюблена в него; но он был в той поре молодости, когда кажется так много дела, что некогда этим заниматься, и молодой человек боится связываться – дорожит своей свободой, которая ему нужна на многое другое. Когда он думал о Соне в это новое пребывание в Москве, он говорил себе: Э! еще много, много таких будет и есть там, где то, мне еще неизвестных. Еще успею, когда захочу, заняться и любовью, а теперь некогда. Кроме того, ему казалось что то унизительное для своего мужества в женском обществе. Он ездил на балы и в женское общество, притворяясь, что делал это против воли. Бега, английский клуб, кутеж с Денисовым, поездка туда – это было другое дело: это было прилично молодцу гусару.
В начале марта, старый граф Илья Андреич Ростов был озабочен устройством обеда в английском клубе для приема князя Багратиона.
Граф в халате ходил по зале, отдавая приказания клубному эконому и знаменитому Феоктисту, старшему повару английского клуба, о спарже, свежих огурцах, землянике, теленке и рыбе для обеда князя Багратиона. Граф, со дня основания клуба, был его членом и старшиною. Ему было поручено от клуба устройство торжества для Багратиона, потому что редко кто умел так на широкую руку, хлебосольно устроить пир, особенно потому, что редко кто умел и хотел приложить свои деньги, если они понадобятся на устройство пира. Повар и эконом клуба с веселыми лицами слушали приказания графа, потому что они знали, что ни при ком, как при нем, нельзя было лучше поживиться на обеде, который стоил несколько тысяч.
– Так смотри же, гребешков, гребешков в тортю положи, знаешь! – Холодных стало быть три?… – спрашивал повар. Граф задумался. – Нельзя меньше, три… майонез раз, – сказал он, загибая палец…
– Так прикажете стерлядей больших взять? – спросил эконом. – Что ж делать, возьми, коли не уступают. Да, батюшка ты мой, я было и забыл. Ведь надо еще другую антре на стол. Ах, отцы мои! – Он схватился за голову. – Да кто же мне цветы привезет?
– Митинька! А Митинька! Скачи ты, Митинька, в подмосковную, – обратился он к вошедшему на его зов управляющему, – скачи ты в подмосковную и вели ты сейчас нарядить барщину Максимке садовнику. Скажи, чтобы все оранжереи сюда волок, укутывал бы войлоками. Да чтобы мне двести горшков тут к пятнице были.
Отдав еще и еще разные приказания, он вышел было отдохнуть к графинюшке, но вспомнил еще нужное, вернулся сам, вернул повара и эконома и опять стал приказывать. В дверях послышалась легкая, мужская походка, бряцанье шпор, и красивый, румяный, с чернеющимися усиками, видимо отдохнувший и выхолившийся на спокойном житье в Москве, вошел молодой граф.
