Индекс форумов |
Исходное сообщение |
---|
"Для Linux предложен механизм верификации корректности работы..." Отправлено Аноним, 11-Авг-22 01:16 |
Я в фирмварях использую что-то отдаленно напоминающее сабжевую идею. Там где функции опасные, есть дополнительные "check values" маркированые volatile (чтобы оптимизер не выпилил) и код проверяет почему он вообще здесь. Если ему не нравится повод по которому его вызвали - немедленная маркировка системы как "неисправной" и далее recovery/failsafe. |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |