L4
Материал из Википедии — свободной энциклопедии
Эту статью следует викифицировать. Пожалуйста, оформите её согласно общим правилам и указаниям. |
Существует множество реализаций микроядря L4, поэтому корректнее говорить о реализациях интерфейса L4 µ-ядра. L4 интерфейс это определение API для µ-ядер.
Ядра основанные на L4 API - µ-ядра второго поколения. Это тонкие и быстрые микроядря поддерживающие: обмен сообщениями, синхронный IPS, простой в использовании внешний механизм загрузки/выгрузки страничной памяти и механизм безопасности основанный на доменах безопасности (secure domains: task, clans and chiefs). Ядра пытаются поддерживать только минимальное множество абстракций, на основе которых может быть построена операционная система.
http://os.inf.tu-dresden.de/L4/
На сегодня существуют реализации интерфейса L4 m-ядер для процессоров x86, Alpha,ARM и R4x00. Одной из последний реализаций L4 является L4Ka::Pistachio, разрабатываемый командой L4Ka.
http://l4ka.org/projects/pistachio
К сожалению после смерти основного организатора Dr. Jochen Liedtke развитие проекта заметно замедлилось.
http://i30www.ira.uka.de/aboutus/people/liedtke/inmemoriam.php.
На микроядро L4 энтузиастами портируется GNU/Hurd.