КОНТРОЛЬ ПРАВИЛЬНОСТИ ФУНКЦИОНИРОВАНИЯ В ВМ И СИСТЕМАХ.

ВС являеются переработчиком информации. Объем этой инвформации значителен. Существуют вероятности информационного отказа, которых называется сбоем.

Сбой – кратковременное нарушение работоспособности системы, не приводящее к отказу и требующего от обслуживающего персонала процедур по перезагрузке задач на выполнение.

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

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

С точки зрения контроля выполнения операций над данными можно разделить на три класса:

1) передача информации;

2) логическое преобразование информации;

3) арифметическое преобразование информации.

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

Т. о. выделяют:

- контроль передачи данных;

- контроль арифметико-логических операций.

В основе построени систем контроля функционирования лежит принцип избыточности. Он предполагает существования таких видов избыточности, как временная, информативная, аппаратная, алгоритмическая избыточность.

Временная избыточность предполагает доплнительные затраты времени на проведение контрольных операций. Информационная – предполагает применение для хранения команд и данных кодов с дополнительными разрядами. Аппаратная – предполагает применение дополнительной аппаратуры. Алгоритмическая – предполагает получения результата по нескольким алгоритмам и далнейшее сравнение результатов.

Все устройства ВС принято разбивать на определенные уровни представления:

1) логический;

2) функциональный;

3) системный;

4) пользовательский.

Логический уровень – всевозможные коды позволяющие исправлять некоторые классы ошибок. На логическом уровне также существуют дублирующие схемы для подтверждения правильности преобразования. Здесь существуют информативна и аппаратная избыточность.

На ФУ основными средствами являются микропроцессорное и программное тестирование, а также механизмов тайм-аута и квитирования, средства контроля правильности протокола.

На СУ может существовать контроль по нарушению защиты памяти, когда программные средства пытаются обратиться к области памяти, занятой другими программами. В этом случае может фиксироваться ошибка связанная с нарушением защиты памяти. На этом же уровне существуют средства обнаружения неверного кода операции по неверному коду программ.

ПУ – контроль осуществляется пользователем, осуществляя повторный просчет, контроль за правильностью входных/выходных данных.