Меньше — значит надёжнее: как устроено микроядро операционной системы

Как устроено микроядро операционной системы

Есть старая инженерная мудрость: чем меньше деталей в механизме, тем меньше поводов для поломки. Мастера-часовщики знают это лучше всех. И удивительным образом та же истина работает в мире, далёком от шестерёнок, — в архитектуре операционных систем. Пока одни разработчики наращивали мускулы своих систем, добавляя всё новые функции в самое сердце, другие пошли наперекор и сделали ставку на минимализм. Так родилась идея микроядра.

Давайте разберёмся, почему разбухание операционных систем стало настоящей головной болью, что такое микроядро, как оно работает по принципу «клиент — сервер», какие пять служб берёт на себя и почему легендарная QNX умещается в считаные килобайты.

Как системы выросли и стали неподъёмными

Чтобы понять ценность микроядра, отмотаем плёнку назад. Операционные системы не всегда были гигантами — они росли вместе с железом, и рост этот оказался стремительным.

Такой бурный рост принёс с собой три неприятных спутника:

1. Задержки поставки. Пользователи получали новые системы со всё большим опозданием — разработка не поспевала за аппетитами.
2. Скрытые ошибки. В огромном коде притаились неявные баги, которые приходилось долго вылавливать и исправлять.
3. Непропорциональный рост. Производительность систем росла куда медленнее, чем их сложность. Больше кода — далеко не всегда лучше работа.

Спасение в модулях — и его пределы

Как выбраться из этой ловушки? Ответ инженеры нашли в разделении. Систему, собранную из отдельных модулей, гораздо проще и спроектировать, и отладить. А если ещё и сделать интерфейсы между модулями простыми, но тщательно проработанными, то и настройка, и любые последующие изменения даются легче.

Звучит очевидно, правда? Разбей большое на маленькое — и порядка станет больше. Но есть подвох. Для систем чудовищной сложности, построенных из многих миллионов команд, одного лишь дробления на модули оказалось мало. Оно снимало часть боли, но не лечило болезнь целиком. Нужен был более радикальный подход — и им стало микроядро.

Что такое микроядро

Перейдём к главному герою. Микроядро — это самый мелкий элемент операционной системы, основа для программных расширений модульного и переносимого типа. Идея в его основе изящна: создать необходимую среду верхнего уровня, через которую можно обратиться к любому уровню аппаратного обеспечения.

Проще говоря, микроядро держит при себе лишь абсолютный минимум команд — те, что обеспечивают главные системные вызовы. Что входит в этот минимум? Передача данных между процессами, обеспечение связи для внешних по отношению к ядру процессов, обслуживание прерываний и ещё несколько базовых операций. Всё остальное вынесено наружу, на уровень отдельных модулей, которые общаются друг с другом через систему сообщений.

У микроядра самый высокий приоритет в системе — оно обеспечивает работу всех прочих программ ОС, которые считаются сервисными приложениями. Сам же принцип микроядерного построения родился в стенах университета Карнеги — Меллона, откуда и пошёл гулять по миру.

Пять служб на плечах крохи

Функциональность микроядра урезали намеренно. Цель понятна: сократить размер и перевести основную часть операционной системы в разряд обычных прикладных программ. И всё же даже в таком аскетичном виде микроядро обычно берёт на себя пять видов сервисных программ.

• Работа с виртуальной памятью — управление тем, как программы видят и используют память.
• Обслуживание заданий и потоков — организация того, что и когда исполняется.
• Связь между процессорами — координация в многопроцессорной среде.
• Ввод-вывод и обслуживание прерываний — обработка сигналов от устройств.
• Поддержка сервисов клиента — обеспечение запросов приложений.

Всё, что не вошло в эту пятёрку, живёт в отдельных сервисных программах, работающих как приложения над микроядром. Такова главная особенность архитектуры: в привилегированном режиме крутится лишь крохотная часть системы — само микроядро, надёжно защищённое и от других компонентов ОС, и от прикладных программ.

Набор возможностей микроядра похож на набор функций обычных ядер — это те операции, что недоступны в пользовательском режиме. Но по сравнению с монолитными и модульными ядрами оно радикально упрощено. Любопытная деталь: провести чёткую и однозначную границу между тем, что должно работать в привилегированном режиме, а что — в пользовательском, попросту невозможно. Здесь всегда остаётся простор для инженерного решения.

Принцип «клиент — сервер»: как это работает

Теперь самое интересное — механика. Программы, управляющие ресурсами и вынесенные в пользовательский режим, называют серверами операционной системы. Название говорящее: они обрабатывают запросы приложений и других модульных элементов ОС, словно официанты, принимающие заказы.

Чтобы такая схема заработала, системе нужен надёжный механизм: любой процесс должен уметь запросить процедуру у другого процесса. Обеспечить правильную работу этого механизма — и есть главная задача микроядра.

Разберём на пальцах. Абонент — это может быть прикладная программа или другой элемент ОС — хочет выполнить некую операцию. Он посылает запрос нужному серверу. Но вот тонкость: напрямую переслать сообщение от одного приложения к другому нельзя. Почему? Потому что их адресные пространства изолированы друг от друга, их поля адресов несовместимы. Каждое приложение заперто в своей комнате без общей двери.

И тут на сцену выходит микроядро. Оно работает в привилегированном режиме, а значит, ему всегда открыт доступ ко всем адресам памяти. Микроядро становится связующим звеном, посредником между приложениями — тем самым курьером, что переносит послания из одной запертой комнаты в другую. По сути, вся операционная система на базе микроядра живёт по принципу «клиент — сервер», а транспортировку данных берёт на себя микроядро. Изоляция даёт безопасность, а посредник — возможность общаться.

QNX: минимализм в чистом виде

Теория заиграет красками на живом примере. Самый известный проект операционной системы на основе микроядра — это QNX, работающая в реальном масштабе времени.

Чем занимается её микроядро? Оно составляет план и выступает диспетчером процессов, организует обмен данными между ними, обслуживает прерывания и заведует сетевыми службами нижних уровней. И всё это — при поразительной скромности. Микроядро QNX обрабатывает всего двадцать системных вызовов и способно уместиться в 46 килобайт памяти. По современным меркам — практически ничто.

Но за этот минимализм приходится платить сборкой по кирпичикам. Чтобы получить работающую операционную систему минимального размера на базе QNX, к микроядру нужно добавить менеджер процессов — он будет создавать процессы, управлять ими и их памятью. А чтобы поставить QNX на обычный персональный компьютер, придётся приложить ещё и систему управления файлами вместе с системой управления внешними устройствами. Микроядро — это фундамент, а дом каждый достраивает под свои нужды.

Две стороны медали

Как у любого архитектурного решения, у микроядра есть и сильные, и слабые стороны. Взвесим их честно.

Что в плюсе:

• Надёжность. Крохотное защищённое ядро легче отладить и труднее сломать. Сбой в сервере не рушит всю систему — падает лишь отдельный компонент.
• Гибкость и переносимость. Модульное устройство позволяет собирать систему под конкретную задачу и переносить её на разное железо.
• Безопасность. Изоляция адресных пространств и минимум кода в привилегированном режиме сужают поле для атак и ошибок.
• Простота развития. Обновить или заменить отдельный сервис проще, чем перекраивать монолит.

Что в минусе:

• Накладные расходы. Постоянная пересылка сообщений через посредника отнимает время. Там, где монолит просто вызвал бы функцию, микроядру приходится гонять данные туда-сюда.
• Потеря скорости. Из-за этой беготни производительность может проседать по сравнению с монолитными ядрами.
• Сложность проектирования. Грамотно разделить функции между привилегированным и пользовательским режимами — задача нетривиальная, чёткой границы не существует.

Что стоит запомнить

Сведём картину воедино. Рост операционных систем — от 36 тысяч ячеек у CTSS в 1963 году до почти двадцати миллионов команд к 1975-му — принёс задержки, скрытые ошибки и непропорциональное падение отдачи. Разбиение на модули облегчило жизнь, но для сверхсложных систем этого оказалось мало, и на выручку пришло микроядро — самый мелкий, привилегированный элемент ОС с минимальным набором команд, придуманный в университете Карнеги — Меллона.

Вывод прост. Микроядро — это философия «меньше значит надёжнее» в чистом виде. Оно жертвует частью скорости ради устойчивости, безопасности и гибкости, и там, где цена ошибки высока — в реальном времени, во встраиваемых системах, — такой размен более чем оправдан. Иногда самый маленький кирпич держит на себе всё здание.