Классификация механизмов IPC и их проектирование для микроядра общего назначения Sol (Евгений Басков, OSDAY-2026)

Короткая ссылка: 20260604G

Докладчик: Евгений Басков

Разбор того, как устроены механизмы IPC в микроядерных системах и какие проектные решения важны при создании микроядра общего назначения. Сравниваются подходы из монолитных систем, стандартов и микроядер — от POSIX, Binder и io_uring до QNX, Mach, L4, seL4 и Fuchsia. Основные критерии: адресация, ожидание, буферизация, способы передачи данных, синхронность, передача прав, защита от DoS и управление ресурсами сервера.
Отдельно показано, что IPC — это не один механизм, а набор решений под разные сценарии: RPC, уведомления, синхронизацию и передачу больших данных. На этой основе описывается Sol — экспериментальное микроядро, где для разных задач используются Port+Endpoint, Note+Event, Buffer+Stream и сигналы.
Акцент сделан на снижении задержек и накладных расходов: миграции потоков, фиксированных буферах, batching, RCU, capability-based security и генерации IPC-интерфейсов через ipcgen.