✖
~~~~~~~~~~~~~~~~~~~~ Arc.Ask3.Ru ~~~~~~~~~~~~~~~~~~~~~ 
Номер скриншота №:
✰ 5D639B689523C0580F87E5F55BECAA70__1712012160 ✰
Заголовок документа оригинал.:
✰ Singularity (operating system) - Wikipedia ✰
Заголовок документа перевод.:
✰ Сингулярность (операционная система) — Википедия ✰
Снимок документа находящегося по адресу (URL):
✰ https://en.wikipedia.org/wiki/Singularity_(operating_system) ✰
Адрес хранения снимка оригинал (URL):
✰ https://arc.ask3.ru/arc/aa/5d/70/5d639b689523c0580f87e5f55becaa70.html ✰
Адрес хранения снимка перевод (URL):
✰ https://arc.ask3.ru/arc/aa/5d/70/5d639b689523c0580f87e5f55becaa70__translat.html ✰
Дата и время сохранения документа:
✰ 21.06.2024 08:28:11 (GMT+3, MSK) ✰
Дата и время изменения документа (по данным источника):
✰ 2 April 2024, at 01:56 (UTC). ✰ 

~~~~~~~~~~~~~~~~~~~~~~ Ask3.Ru ~~~~~~~~~~~~~~~~~~~~~~ 
Сервисы Ask3.ru: 
 Архив документов (Снимки документов, в формате HTML, PDF, PNG - подписанные ЭЦП, доказывающие существование документа в момент подписи. Перевод сохраненных документов на русский язык.) 
✰ https://arc.ask3.ru ✰
 Ответы на вопросы (Сервис ответов на вопросы, в основном, научной направленности) 
✰ https://ask3.ru/answer2question ✰
 Товарный сопоставитель (Сервис сравнения и выбора товаров) ✰✰
✰ https://ask3.ru/product2collation ✰
 Партнеры 
✰ https://comrades.ask3.ru ✰


Совет. Чтобы искать на странице, нажмите Ctrl+F или ⌘-F (для MacOS) и введите запрос в поле поиска.
Arc.Ask3.ru: далее начало оригинального документа

Сингулярность (операционная система) — Википедия Jump to content

Сингулярность (операционная система)

Из Википедии, бесплатной энциклопедии
Сингулярный проект
Сингулярность после загрузки
Разработчик Microsoft Research ( Корпорация Microsoft )
Написано в Язык ассемблера , C , C++ , C# , Sing#
Семейство ОС Языковые системы
Рабочее состояние Снято с производства
Исходная модель Доступен исходный код (через Shared Source Initiative )
Начальная версия 4 марта 2008 г .; 16 лет назад ( 04.03.2008 ) [1]
Окончательный релиз 2.0 / 14 ноября 2008 г .; 15 лет назад ( 14 ноября 2008 )
Доступно в Английский
Платформы х86 , х86-64 [2]
ядра Тип На основе микроядерного языка
По умолчанию
пользовательский интерфейс 		Интерфейс командной строки
Лицензия Лицензия Microsoft на исследования
Официальный веб-сайт исследовать .microsoft .с /en-нас /проекты /сингулярность

Singularity — экспериментальная операционная система , разработанная Microsoft Research 9 июля 2003 года. [3] и 7 февраля 2015 г. [4] Она была спроектирована как высоконадежная операционная система, в которой ядро , драйверы устройств и прикладное программное обеспечение были написаны на управляемом коде . Внутренняя безопасность использует безопасность типов вместо аппаратной защиты памяти .

Операция [ править ]

самого низкого уровня x86 Код диспетчеризации прерываний написан на ассемблера и C. языке Как только этот код выполнит свою работу, он вызывает ядро, чья система выполнения и сборщик мусора написаны на Sing# (расширенная версия Spec# , которая сама является расширением C# ) и запускается в незащищенном режиме. [5] : 14  [6] : 4  Уровень аппаратной абстракции написан на C++ и работает в защищенном режиме. Существует также некоторый код C для отладки. Базовая система ввода-вывода компьютера ( BIOS ) запускается на этапе начальной загрузки 16-битного реального режима ; в 32-битном режиме Singularity больше никогда не вызывает BIOS, а вызывает драйверы устройств, написанные на Sing# . Во время установки Common Intermediate Language (CIL) коды операций компилируются в коды операций x86 с помощью компилятора Bartok . [6] : 11 

Дизайн безопасности [ править ]

Singularity — это микроядерная операционная система. В отличие от большинства исторических микроядер, его компоненты выполняются в том же адресном пространстве ( процессе ), что и программно-изолированные процессы (SIP). Каждый SIP имеет собственную структуру данных и кода и независим от других SIP. Эти SIP ведут себя как обычные процессы, но позволяют избежать затрат на переключение задач. [5] : 4,11,35 

Защита в этой системе обеспечивается набором правил, называемых инвариантами , которые проверяются статическим анализом программы . Например, в состояниях, инвариантных к памяти, между двумя SIP не должно быть перекрестных ссылок (или указателей памяти); связь между SIP происходит по каналам связи более высокого порядка, управляемым операционной системой. Инварианты проверяются при установке приложения. (В Singularity установкой управляет операционная система.)

Большинство инвариантов полагаются на использование более безопасных языков с управлением памятью , таких как Sing#, которые имеют сборщик мусора , не допускают произвольных указателей и позволяют проверять код на соответствие заданной политике компьютерной безопасности .

Статус проекта [ править ]

Первый комплект для разработки исследований сингулярности (RDK), RDK 1.1, был первоначально выпущен 4 марта 2008 года. [1] выпускается под лицензией с общим исходным кодом , позволяющей академическое некоммерческое использование, и доступно на CodePlex . [7] RDK 2.0 был выпущен позже, 14 ноября 2008 года. [2]

Похожие проекты [ править ]

См. также [ править ]

  • Система на основе языка , общая конструкция ядра с использованием защиты на основе языка вместо аппаратной защиты.
  • Midori — операционная система на основе микроядра, разработанная Microsoft. Основан на Singularity и связан с ней.

Ссылки [ править ]

  1. ^ Перейти обратно: а б «Сингулярность РДК 1.1» . КодПлекс . Архивировано из оригинала 4 мая 2009 года . Проверено 16 января 2022 г.
  2. ^ Перейти обратно: а б «Первоначальный выпуск Singularity RDK 2.0 (17067)» . КодПлекс . 14 ноября 2008 года. Архивировано из оригинала 6 декабря 2008 года . Проверено 16 января 2022 г.
  3. ^ «Сингулярность» . Майкрософт . Проверено 16 января 2022 г.
  4. ^ «Сингулярность РДК» . КодПлекс . Архивировано из оригинала 2 января 2018 года . Проверено 16 января 2022 г.
  5. ^ Перейти обратно: а б «Обзор проекта Singularity» (PDF) . Майкрософт . Проверено 16 января 2022 г.
  6. ^ Перейти обратно: а б Хант, Гален; Ларус, Джеймс. «Сингулярность: переосмысление стека программного обеспечения» (PDF) . Майкрософт . Microsoft Research Редмонд . Проверено 16 января 2022 г.
  7. ^ Риччути, Майк (5 марта 2008 г.). «Является ли Microsoft Singularity ОС будущего?» . CNET . Проверено 16 января 2022 г.

Внешние ссылки [ править ]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Singularity_(operating_system)&oldid=1216802088"
Arc.Ask3.Ru: конец оригинального документа.
Arc.Ask3.Ru
Номер скриншота №: 5D639B689523C0580F87E5F55BECAA70__1712012160
URL1:https://en.wikipedia.org/wiki/Singularity_(operating_system)
Заголовок, (Title) документа по адресу, URL1:
Singularity (operating system) - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть, любые претензии не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, денежную единицу можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)