Библиотека Интернет Индустрии I2R.ru |
|||
|
ОС от Microsoft с ядром на C#25.09.2006 14:40 По теме заметки "Singularity - экспериментальную ОС повышенной надежности от Microsoft" Архитектура ОС спроектирована с нуля с упором на надежность вместо производительности. Однако за счет продвинутой архитектуры производительность получилась на уровне других ОС. 95% ядра и весь UserMode написан на Sing# - расширении Spec# который в свою очередь является расширением C#. Вся ОС (ядро, драйвера и приложения) работает в x86 protected mode ring 0. Изоляция процессов от ядра и друг от друга реализована программно - код проверяется на нарушающие целостность инструкции в процессе загрузки. MMU (модуль процессора для защиты и виртуализации памяти) не используется вообще, все процессы находятся в едином линейном адресном пространстве. Отсутствует возможность запустить самомодифицирующийся код, разделять память между процессами а также подгружать DLL в адресное пространство в процессе работы. Делается упор на отказ от DLL-модулей и shared memory в пользу дочерних процессов и использования высокоэффективных Message Passing IPC. Подобно QNX, каждый драйвер работает в отдельном процессе, столь же изолированном как и остальные процессы. Взаимодействие с железом выполняется через HAL API. Единственным способом повредить систему являются DMA-операции. Единое адресное пространство позволяет реализовать zero-copy I/O. Отсутствие утечек памяти гарантируется обязательным garbage collector. Даже ядро использует gc. Приложение на этапе компиляции указывает версию Kernel ABI и тип алгоритма сборки мусора, что упраздняет традиционную концепцию достижения обратной совместимости "one size fits all". Все прочие API устанавливаются подобно .NET side by side assemblies. Строго говоря, жирный набор системного API Windows заменяется на более традиционный ограниченный набор системных вызовов (всего 126 в текущей версии). Да, собственно ядро - это обычный native-код скомпилированный из MSIL экспериментальным оптимизирующим компилятором Barton. Приложения тоже по-видимому обычные native, но скомпилированные из MSIL на этапе установки. Использование MSIL (c дополнительными по сравнению с классическим .NET метаданными) позволяет реализовать формальную верификацию программ с помощью очень простого верификатора, подобно тому как метаданные preverify используются крошечным верификатором мобильной Java. Планируется отказаться от MSIL в пользу TAL (Typed Assembly Language) - по сути native-кода с метаданными, обеспечивающими верифицируемость. Это позволит существенно сократить набор неверифицируемого кода за счет возможности верификации основной части ядра небольшим загрузчиком. Я думаю, это шаг Microsoft к реализации идеи Trusted Computers - загрузчик будет устанавливаться в смарт-карту (хранилище данных, защищенное от взлома при физическом доступе) на материнской плате и обеспечивать невзламываемость остальных частей системы (например, DRM - системы защиты музыки и видео от копирования). В целом архитектура получилась довольно простой и приятной. Рад, что Майкрософт куда-то движется и готовится к качественному скачку. Vista все отягощена наследием проекта "OS/2-NT" времен царя Гороха. Материалы по теме: Автор: Андрей Мельников последние новости 06.10.2006 16:23 | Allsoft.ru подвел итоги акции "Мобильные недели"...» 05.10.2006 21:18 | Google открыла Universal Gadgets для разработчиков...» 05.10.2006 14:42 | Поисковая оптимизация в России. 2006 год...» 04.10.2006 20:49 | Поиск по блогам 2.0: что интересного происходит в интернете прямо сейчас...» 04.10.2006 15:19 | Премия Рунета-2006: стартовал второй этап Народного голосования...» 04.10.2006 13:26 | Atlaskit и MyTop запускают совместные проекты...» 03.10.2006 20:54 | Важные новости черпают не из блогов...» 03.10.2006 20:44 | Веб 2.0 пришел в локальные сети...» 03.10.2006 20:34 | Статистика сайтов Веб 2.0 постоянно преувеличивается...» 03.10.2006 20:17 | Служба «Цитаты в новостях» позволяет отличать слухи от фактов...» 03.10.2006 20:09 | Определены победители конкурса Яндекса «Класс-2006»...» 03.10.2006 19:45 | Фильтр для Adobe Photoshop Depth of Field Generator PRO v3.0...» 03.10.2006 18:28 | Фильтр для Adobe Photoshop Depth of Field Generator PRO v3.0...» 03.10.2006 18:02 | Американский рынок SEO практически прекратил рост...» 03.10.2006 16:22 | W3C поможет сделать интернет доступнее для инвалидов...» 03.10.2006 14:57 | Page Promoter 7.4: эффективная работа с внешними факторами...» 02.10.2006 20:53 | Яндекс.Директ становится доступнее...» 02.10.2006 20:16 | Последние новости от Google AdSense...» 02.10.2006 20:01 | Вышел релиз-кандидат браузера Firefox 2.0...» 01.10.2006 20:59 | Самые дорогие кейворды Google Adsense: американцы интересуются образованием, россияне — рекламой...» |
|
2000-2008 г. Все авторские права соблюдены. |
|