Исходное сообщение
"Открыт код сверхнадёжного микроядра seL4" Отправлено cmp, 29-Июл-14 15:54
согласен, добавлю только, что эксперимент по созданию сверх надежного, но крайне минималистичного софта уже был - qmail. ИМХО, народ предпочитает постфикс. Есть такое правило - 20/80 - которое озвученно экономистом, но перефразировать и применить можно много к чему - 20 процентов программы (кода) удовлетворят потребности 80% пользователей. Если по этой логике построить кривую, то в определенный момент кол-во дополнительных проверок понизит скорость выполнения кода, а значит снизит "удовлетворенность", то есть 100% результ в принципе не достижим, а вариант с 99.97% чертовски дорог. В данном случае разработчики решили пойти по довольно логичному пути - выкинуть все драйвера в юзер-спейс, ведь именно драйвера большая часть кода и именно они (она) содержат наибольшее кол-во багов, однако это означает, что программа-драйвер будет работать медленее, во-первых, во-вторых пока программа будет ждать в очереди на выполнение железка может и буффер переполнить, а это уже потеря данных, ну и самое вкусное, если программа-драйвер глюкнет и ядро ее прибьет, то обслуживаемая ею железяка может повиснуть без возможности переинициализации без оключения питания, которое в свою очередь может быть реализованно только при перезагрузке, так что какая разница - кернел паник или не паник если все равно ребут. На десктопах, конечно, сохраниться перед ребутом хорошо, но до десктопа этому ядру еще лет 30, а для серверов придумали транзакции.