Обзор статьи «Evolution of the PikeOS Microkernel»

В своей статье «Evolution of the PikeOS Microkernel» сотрудники SysGo Роберт Кайзер и Стефан Вагнер описывают, как со временем менялась архитектура микроядра PikeOS в ответ на вызовы, связанные с информационной и функциональной безопасностью.

Оказалось, что микроядро PikeOS изначально было практически полным клоном микроядра L4 версии 2.0, но со временем разработчики стали замечать в нем фатальные для их области применения архитектурные недостатки.

Среди этих недостатков авторы называют:
1. отсутствие механизмов ограничения взаимодействия;
2. отсутствие механизмов разграничения прав доступа к сервисам ядра;
3. невозможность гарантировать какой-то процент процессорного времени множеству потоков;
4. невозможность жесткого разделения ресурсов;
5. неконтролируемый рост mapping database;
6. отсутствие стандартных примитивов синхронизации в пространстве пользователя.

Поговорим про каждый из этих пунктов немного подробнее.

👉 Продолжение

#digest