Микроядро
-
Определение и история микроядер
- Микроядро — это ядро операционной системы, которое управляет сервисами в пользовательском режиме.
- Микроядра были разработаны для повышения эффективности и безопасности, а также для упрощения разработки и поддержки.
- Первое поколение микроядер, такие как Mach и ChorusOS, имели проблемы с производительностью и безопасностью.
-
Преимущества микроядер
- Микроядра обеспечивают разделение политик и механизмов, что упрощает разработку и поддержку.
- Они позволяют использовать разные серверы для разных сервисов, что повышает гибкость и масштабируемость.
- Они обеспечивают лучшую безопасность благодаря принципу минимальности и принципу разделения политик и механизмов.
-
Проблемы микроядер
- Микроядра могут быть дороже в использовании по сравнению с монолитными системами из-за дополнительных IPC-сообщений.
- Производительность IPC в микроядрах может быть ниже, чем в монолитных системах, но это не всегда так.
- Коммерческие многосерверные системы, такие как QNX и Integrity, не всегда имеют сравнимую производительность с монолитными системами.
-
Третье поколение микроядер
- Третье поколение микроядер фокусируется на формальных спецификациях API и доказательствах безопасности.
- Примеры включают Coyotos, seL4, Nova, Redox и Fiasco.OC.
- seL4 достиг полной формальной проверки реализации, что обеспечивает высокую степень уверенности в свойствах ядра.
-
Примеры микроядер
- Амеба ОС, Ежевика QNX, Генод, ГармониОС, Еленос, Горизонт, Семейство микроядер L4, Мах, Миникс, Мидори, Окислительно-восстановительный, Циркон, Призрачная ОС, Наноядро.
-
Уровень виртуализации и аппаратный уровень абстракции
- Уровень виртуализации под операционной системой называется гипервизором.
- Аппаратный уровень абстракции, который обеспечивает функциональность в реальном времени, иногда называется аппаратным уровнем абстракции.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: