The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Открыт код сверхнадёжного микроядра seL4"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.
. "Открыт код сверхнадёжного микроядра seL4" –1 +/
Сообщение от cmp (ok), 29-Июл-14, 15:54 
согласен, добавлю только, что эксперимент по созданию сверх надежного, но крайне минималистичного софта уже был - qmail. ИМХО, народ предпочитает постфикс.

Есть такое правило - 20/80 - которое озвученно экономистом, но перефразировать и применить можно много к чему - 20 процентов программы (кода) удовлетворят потребности 80% пользователей. Если по этой логике построить кривую, то в определенный момент кол-во дополнительных проверок понизит скорость выполнения кода, а значит снизит "удовлетворенность", то есть 100% результ в принципе не достижим, а вариант с 99.97% чертовски дорог.

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

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Открыт код сверхнадёжного микроядра seL4, opennews, 29-Июл-14, 09:35  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру