Методы на основе циклических кодов и кодов Хэмминга и др.

Реализуемые программно, используются в основном для контроля передач больших массивов данных между машинами и внешними накопителями. Теория и свойства таких кодов подробно описаны выше. Их синтез состоит в разработке эффективных программ кодирования и декодирования.

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

Контроль за временем решения задач на ЭВМ и периодичностью выдаваемых результатов является одним из принципов определения правильности хода вычислительного процесса. Чрезмерное увеличение длительности решения свидетельствует о "зацикливании" программы. Этой же цели служат так называемые маркерные импульсы (или метки времени), применяемые в системах реального времени. Маркерные импульсы используют для предотвращения того, что вследствие ошибки в последовательности команд машина остановится или будет совершать неправильные циклы вычисления. Они используются как для всего алгоритма, так и для отдельных участков.

Реализация этих способов состоит в определении самого длинного маршрута следования команд с учетом прерываний другими программами. В составе ЭВМ используют программный счетчик времени, на котором устанавливают предельно допустимое время реализации программы. При достижении нулевого значения в счетчике вырабатывается сигнал превышения допустимого контрольного времени, который обеспечивает прерывание программы.

Контроль последовательности выполнения команд и программных модулей осуществляется двумя способами. Программа разбивается на участки, и для каждого участка вычисляется свертка (путем счета числа операторов, методом сигнатурного анализа, использованием кодов). Затем снимается трасса прохождения программы и для нее вычисляется свертка и сравнивается с заранее рассчитанной.

Другой способ состоит в том, что каждому участку присваивается определенное кодовое слово (ключ участка). Этот ключ записывается в выбранную ячейку ОЗУ перед началом выполнения участка, одна из последних команд участка проверяет наличие "своего" ключа. Если кодовое слово не соответствует участку, то имеется ошибка.

Узлы разветвляющихся программ проверяются повторным счетом, а выбор только одной ветви — с помощью ключей. Контроль циклических участков программы состоит в проверке числа повторений цикла, за счет организации дополнительного программного счетчика.

Дата добавления: 2015-09-02