The OpenNET Project / Index page

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



"Для Linux предложен механизм верификации корректности работы ядра"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]

. "Для Linux предложен механизм верификации корректности работы..." +/
Сообщение от Аноним (-), 10-Авг-22, 05:08 
> Для решения подобных проблем давно придумали assert и неотключаемый assert, не нужно
> городить дополнительные костыли сбоку много сложнее этих assert-ов.

И как assert поможет от допустим DMA перезаписавнего блок памяти с переменными вон той программе? Assert вообще понятия не имел что в фоне кто-то еще что-то с памятью делал, он это просто не видел. Аналогично - с большей частью иных причин разрушения памяти, программных, аппаратных и программно-аппаратных.

Сразу видно почему вебмакаки и хомяки не должны проектировать высоконадежные системы. Они в этом ничерта не смыслят.

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

Оглавление
Для Linux предложен механизм верификации корректности работы ядра, opennews, 07-Авг-22, 18:02  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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