forum.opennet.ru

Составление сообщения

Исходное сообщение

"Доступен стабильный релиз ОС MINIX 3.1.8"
Отправлено Аноним, 05-Окт-10 10:13

> Что не мешало им управлять пресловутыми АЭС.
Мало ли что где и чего было. Мне инетерсно, как они верифицировали ОС, которая обрабатывает аппаратные прерывания? Почему мировые брэнты промышленой автоматики не используют в своих контроллерах аппаратное прерывание? Ответ один: из-за свложности верификации. Так что, опрос в цикле верифицировать проще и практичнее, чем ОС с обработкой аппаратных прерываний.

Исходное сообщение
"Доступен стабильный релиз ОС MINIX 3.1.8" Отправлено Аноним, 05-Окт-10 10:13
> Что не мешало им управлять пресловутыми АЭС. Мало ли что где и чего было. Мне инетерсно, как они верифицировали ОС, которая обрабатывает аппаратные прерывания? Почему мировые брэнты промышленой автоматики не используют в своих контроллерах аппаратное прерывание? Ответ один: из-за свложности верификации. Так что, опрос в цикле верифицировать проще и практичнее, чем ОС с обработкой аппаратных прерываний.

Ваше сообщение

Имя*:

EMail:

Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email).
Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.

Заголовок*:

Сообщение*:

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

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру