Исходное сообщение
"Открыт код сверхнадёжного микроядра seL4" Отправлено Mihail Zenkov, 30-Июл-14 13:27
>> или делать их совершенно независимыми узлами, > Как вы себе это представляете? Точно также как строится микроядерная ОС. Есть контроллер с основной программой, простой идеально отлаженный и проверенный. Он управляет остальными узлами. В случае зависания одного из узлов контроллер его перезапускает. В случае отказа узла, контроллер задействует дублирующий узел. Узлы естественно с hotplug.