книги / Надежность и диагностика компонентов инфокоммуникационных и информационно-управляющих систем.-1
.pdfРис. 4.42. Функциональная схема СВК, реализующего пошаговый метод
В случае прерывания программ при обращении к первому байту первой команды обработки прерывания содержимое Рк вводится в стек. Выполнение команды возврата из подпрограммы обработки прерывания разрешает подачу содержимого вершины стека на СС.
По фронту РМЕ1 выполняется вывод из стека.
Селектор РМЕ блокирует прохождение РМЕ на Рк, стек и Тош при исключении второго обращения к памяти команд.
Методы блокового контроля правильности хода программ
Для уменьшения избыточности при контроле по весу перехода можно команды объединять в блоки по 3, 4, ..., h команд и записывать вес суммы по модулю два всего блока после каждой h-й команды.
341
Рис. 4.44. Схема встроенного контроля по методу сигнатур блоков команд
Если это последние команды фазы (команды условного перехода), определяется тип команды. В случае короткого перехода следующее слово содержит инверсию сигнатуры. При поступлении этого слова на вход генератора сигнатур его регистр должен обнулиться. По равенству нулю и определяется правильность выполнения команд блока.
Вслучае короткого перехода требуется после проверки скорректировать содержимое эмулятора программного счетчика.
Вслучае длинного перехода во втором слове команды содержится перемешанный указатель перехода. Блок восстановления адресов перехода восстанавливает адрес и передает его в процессор.
Вэмулятор программного счетчика после проверки правильности перехода загружается выставленный процессором адрес.
Характеристики метода зависят от способа формирования сигнатуры. Очевидно, что дополнительные разряды здесь в структуру
команды не вводятся. tизб – (временная избыточность) зависит от состава команд программы:
344