The OpenNET Project / Index page

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



"Открыт код сверхнадёжного микроядра seL4"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Заметили полезную информацию ? Пожалуйста добавьте в FAQ на WIKI.
. "Открыт код сверхнадёжного микроядра seL4" +/
Сообщение от Аноним (-), 29-Июл-14, 19:11 
> и свойственно _не_ ошибаться.

Только когда вся программа и рантайм - размером с hello world, да еще транслятор под стать.

> можно, они же знают что им свойственно...

Ни разу не видел уникомов, которые бы писали большие программы без ошибок. Ну разве что роботов припахать. Но тут есть подстава - первую версию AI могут сделать только люди, а стало быть она будет с багами...

> Тоже хорошо. Только бы не делали три, понимаешь? На случай если первые
> два ку-ку. А потом четыре, на случай если первые три ку-ку.

Для самолетов нормально делать по 2-4 резерва для подсистем, отказ которых что-то решает. Иногда и это кстати не помогает - у одного самолета с 3-я двигателями развалившийся хвостовой двигатель разнес все 3 гидролинии. Конец немного предсказуем. ЧСХ, работу над ошибками делали - и гидролинии по другому стали укладывать, и от потенциальных обломков кожухом защитили. Но все-равно периодически как-то так оказывается что где-то вcpaaлся баг...

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

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



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

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