(no subject)

[akuklev]

Товарищи юниксоиды и прочая GPLщики, к вам обращаюсь.
Что народ думает насчёт презабавной фиговинки, называемой Fiasco µ-Kernel, разрабатываемой в TU-Dresden?

http://os.inf.tu-dresden.de/fiasco/overview.html

Мне про сие ядрецо много интересного нарассказывали.
Ваш вердикт? Дело будущего или детские игрушки? :-)

Comments

[akuklev.livejournal.com]

Самый хлебсмаслом — это проект VFiasco, где фиаско строго математически верифицируется. Это не считая другого хлеба с маслом, которая называется rubustnes policy, использование которой стало возможно именно благодаря preemttion. Если все сервера ядра будут соответствовать этой полиси, неожиданное отрубание питания в любой момент времени не будет сказываться негативно на целостности системы.

Короткое описание полиси укладывается в четыре строчки: скидывать на постоянные (энергонезависимые) носители только готовые данные и последний стабильный стейт программы. Полуготовые данные и переходный стейт хранятся только в оперативе и при отрублении пропадают. Однако при восстановлении питания можно взять прошлый стейт и прошлые данные и продолжить.

Только постоянно записывать стейт и данные на винт — очень накладно.
Поэтому непосредственно под фиаско на данный момент разрабатывается сервер файловой системы, отрабатывающий в рилтайме ACPI-сигнал потери питания. Дело в том, что когда в сети внезапно пропадает электричество, кондеры БП какое-то время поддерживают систему в полностью работоспособном состоянии. Но БП посылает сигнал (реально я таких БП в жизни не видел, но стандарт ACPI такое поддерживает) системе, что надо нафиг оперативно сворачиваться. Так вот. Драйвюга файловой системы за эти полсекунды должен успеть сбросить кэши на винт и ни на миг не оставлять винт в нестабильном состоянии — вдруг именно на этой миг питание отрубится окончательно.

Ну и плюс к этому — обычные фичи микроядер. Установка и удаление любых драйверов на лету, отсутствие зависаний и перезагрузок при отказе железа, быстрый и надежный хибернейт.