
Введениев в микроядро Sel4
ant3mc 1 минуту назад Введениев в микроядро Sel4 Средний 38 мин 15 Информационная безопасность * Операционные системы Терминология IT Системное администрирование * Обзор Перевод Автор оригинала: Gernot Heiser Предлагаю...
<5 — 2026'da uzaya kaç SpaceX Starship fırlatması ulaşacak?
В сфере искусственного интеллекта произошло заметное событие. ant3mc 1 минуту назад Введениев в микроядро Sel4 Средний 38 мин 15 Информационная безопасность * Операционные системы Терминология IT Системное администрирование * Обзор Перевод Автор оригинала: Gernot Heiser Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv2). Здесь не только специфика seL4 и микроядер вообще, но и много полезного материала в целом по ОС, ИТ-безопасности, формальной верификации и системам жёсткого реального времени. Перевод был несколько сокращён: удалены “технические блоки” (углубление в детали), кроме блока про “Linux capabilities”; а также части про фреймворки над микроядром (Microkit и другие) и тема про SeLinux.
В конце даны полезные ссылки. Некоторые особенности перевода:thread везде переводится буквально — нить. Это поможет избежать путаницы с flow и stream.
Технические детали
capability — один из ключевых терминов. Оставлено без перевода, за исключением пары мест, где это слово употребляется в обычном смысле и переведено как способность. secure везде — безопасный.
Происходит от латинского se cura — без тревоги, без заботы. safe — однокоренное с глаголом save (спасать). От латинского salvus — невредимый, сохранный, целый.
В ОС safe по смыслу чаще всего означает “функционально безопасный”. Часто safe переводят как безопасный (так же, как и secure). Но чтобы не создавать путаницы с secure, в данном тексте safe везде переводится по-другому (по-разному, в зависимости от контекста).
Отраслевые последствия
Употребляется в двух смыслах:4. 1 Instruction per second, число целочисленных инструкций в секунду. 2 Основной смысл — Inter Process Communication, межпроцессное взаимодействие.
На самом деле процессов в самом seL4 нет (эту абстракцию можно сделать на более высоком уровне, она есть во фреймворках). Правильнее название “ITC” (меж-нитевое взаимодействие). “IPC” сложился исторически, чему способствовал большой функционал этого взаимодействия (во многом близкий к настоящим IPC).
The seL4 Microkernel — An Introduction. The seL4 Foundation, Revision 1. The seL4 Microkernel: An IntroductionАннотацияВ этом техническом документе представлено введение и обзор seL4.
Этот прогресс даёт важные сигналы о будущем отрасли, и технологический мир внимательно наблюдает.





