История изменений
Исправление tailgunner, (текущая версия) :
Микроядра сегодня - это костыль для запуска кода, который не умеют верифицировать, и seL4 это отлично демонстрирует (раньше похожую вещь продемонстрировал Mach).
ну, ты сравнил
Похоже, ты не понял сравнения. Mach пускал single-server'ы тогдашних Unix, а нынешние микроядра пускают Linux.
вообще за это время, пока у тебя проходил период увлечения устаревшим Mach, там кое-что происходило.
Происходили бесконечные вариации L4. Да, это именно «кое-что».
Верифицированное «обычное» ядро
WTF?
Обычное ядро (Linux, скажем), для которого написана спецификация и верифицировано соответствие верификации. Что именно тебе непонятно?
Верифицированное «обычное» ядро уделает микроядро по всем параметрам
но не уделает экзоядро
Экзоядро by design ничего не умеет и всё делегирует библиотечной ОС. Там нечего уделывать.
в чём тогда отличие такого мифического «верифицированного обычного ядра» и экзоядра?
Гг. Ты еще спроси, в чем отличие экзоядра (неверифицированного) от обычного ядра (тоже неверифицированного).
что ты понимаешь под «нормальными ядрами»? паравиртуализованные?
Полнофункциональные (драйверы, сеть, ФС) ядра обычной архитектуры. Linux, если коротко.
Исходная версия tailgunner, :
Микроядра сегодня - это костыль для запуска кода, который не умеют верифицировать, и seL4 это отлично демонстрирует (раньше похожую вещь продемонстрировал Mach).
ну, ты сравнил
Похоже, ты не понял сравнения. Mach пускал single-server'ы тогдашних Unix, а нынешние микроядра пускают Linux.
вообще за это время, пока у тебя проходил период увлечения устаревшим Mach, там кое-что происходило.
Происходили бесконечные вариации L4. Да, это именно «кое-что».
Верифицированное «обычное» ядро
WTF?
Обычное ядро (Linux, скажем), для которого написана спецификация и верифицировано соответствие верификации. Что именно тебе непонятно?
Верифицированное «обычное» ядро уделает микроядро по всем параметрам
но не уделает экзоядро
Экзоядро by design ничего не умеет и всё делегирует библиотечной ОС. Там нечего уделывать.
в чём тогда отличие такого мифического «верифицированного обычного ядра» и экзоядра?
Гг. Ты еще спроси, в чем отличие экзоядра (неверифицированного) от обычного ядра (тоже неверифицированного).