Уроки L4

21.04.2016 18:39:26

Австралийская НИКТА в лице тт. Хейзера и Элфинстоуна некоторое время назад выкатила отличную работу, описывающую двадцатилетнее развитие микроядер Эльчетыре. Очень люблю такое — видно, с чего начали, какие проблемы в разное время возникали, как они решались, к чему пришли. Интересно даже не само микроядро (хотя с Фисташкой я даже непосредственно сталкивался лет так семь назад), а наблюдение за реальной эволюцией системы.

Ситуация осложнена тем, что эльчетвёртых ядер довольно много, есть заметно фрагментированное семейство. И в этом семействе, в первую очередь, разумеется, педалируется то направление, которым занимались авторы, а именно, верифицируемое ядро ЭсЕЭльчетыре. Но это работе не мешает, да и мне самому эта вариация нравится больше всех, галочка формальной верификации очень уж красивая.

L4

19.02.2009 15:25:04

L4 — превосходное микроядро. Особенно когда оно делает так:

bmodfs | Passed the following modules:
bmodfs | module "/boot/l4/l4linux.cfg " (1kB)
bmodfs | module "/boot/l4/libloader.s.so " (659kB)
bmodfs | module "/boot/l4/libld-l4.s.so " (507kB)
bmodfs | module "/boot/vmlinuz " (3972kB)
.....
bmodfs | [C.2] generic_fprov/examples/bmodfs/dm.c:189:dm_open():
bmodfs | Error: Object 'l4linux.cfg' not found!
loader | Error -8 opening file "l4linux.cfg"

Разумеется, l4linux.cfg вполне на месте и GRUB его отличным образом подгружает куда надо.

Загадка на сообразительность — в чём же была проблема?