Программный watchdog

[alexgap]

Сторожевой таймер (watchdog timer) - внутренний или внешний модуль процессорной системы, который производит сброс процессора если от него не было сигналов в течении длительного времени (обычно несколько секунд). Эта технология хорошо описана, проста для понимания и отработана.

Я же хочу зайти немножко дальше, и помимо аппаратного сторожа использовать программный. Мне это видится так - в процессе работы программы периодически запускается контрольная мини-задача, выполняющая вычисления над некоторыми данными в памяти и самопроверяющая результат этих вычислений. Если проверка не проходит - перезапуск процессора. Таким образом проверяется "вменяемость" вычислений процессора и правильность данных в памяти и если что, производится перезапуск системы.

Есть у кого нибудь наработки в этой области? Какие есть простые алгоритмы, обладающие самопроверочной функцией?

[аtаs_stas]

Дык... для этого модули CRC в некоторых процах и существуют, ИМХО...

[alexgap]

Интересуют алгоритмы без привязки к конкретному процессору. Вот что-нибудь типа этого:

static byte W1 = 0;
static byte W2 = 1;

void Check()
{
  ++W1;
  if (W1 != W2)
     Reset();

  ++W2;
  if (W2 != W1 + 1)
     Reset();
}

Где функция Check() вызывается, скажем, один раз в 100 миллисекунд.

Но то что я привел выше - примитив. Возможно у кого-то есть более продвинутые идеи.

[OlegNZH]

Т.е. программа сама себя проверяет. А смысл? Если произошёл сбой , вся ета проверка автоматически уходит коту под хвост. Если Озу слетело-то даже все вызовы подпрограмм(стек) уходит туда-же. Достоверности "0". Для этого и аппаратная часть , независимая, вводится.

[alexgap]

Т.е. программа сама себя проверяет. А смысл?

Смысл есть, поверьте мне. Если сносит ОЗУ, то это будет с некоторой вероятностью определено и система уйдет в перезапуск.

По наблюдениям. Процессор живет на "затертом" ОЗУ некоторое время, отрабатывает прерывания даже при порченном стеке, но алгоритмическая часть конечно, сбоит, ибо значения переменных - мусор. Аппаратный сторожевой таймер эту ситуацию может не покрывать, так как прерывание срабатывает, собаке сообщения посылаются, для него все ок и система висит в таком состоянии сколь угодно долго, при этом еще может натворить каку, беспорядочно дергая пинами ориентируясь на значения переменных в ОЗУ, которое было затерто мусором.

Писать нотации о целесообразности я не рекомендую, ибо не за этим поднимал сей вопрос. Очевидно, что при введении дополнительных контролирующих механизмов отказоустойчивость системы повышается.

[Uragan90]

Для этого вроде есть метод "контроль четности". Суть такая: при записи в озу вычисляется контрольная сумма данных, двоичная сумма всех бит от которых потом отбрасывают старшие разряды и сохраняется вместе с данными в виде бита четности! При чтении данных из озу снова вычисляется контрольная сумма и биты четности сравниваются. Если они равны данные признаются как истинные.

[RY723]

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

[realid]

Почитайте тему Самодиагностика PIC. Тесты по IEC 60730.

[alexgap]

realid, огромное спасибо! Там есть вся информация, плюс документы по имеющимся на эту тему стандартам с примерами реализации.