Cтраница 2
Сущность такого метода состоит в том, что сначала осуществляется контроль методом двойного счета. [16]
Наиболее известным и широко применяющимся в настоящее время методом контроля вычислений является метод двойного счета. [17]
Излагается сравнительная оценка эффекта от введения различных видов аппаратного контроля и контроля методом двойного счета в ЦВМ, предназначенных для решения научно-технических задач, и в управляющих ЦВМ. [18]
Метод двойного счета прост в исполнении, но требует больших затрат машинного времени. Однако, если применение метода двойного счета для контроля решений задач в современных универсальных ЭВМ невыгодно из-за больших затрат машинного времени и высокой его стоимости, то применение этого метода весьма эффективно для контроля работы устройства и программы ввода данных с колоды перфокарт. Контроль при этом ведется по контрольной сумме. [19]
На протяжении многих лет использования ЭВМ основным способом защиты вычислительного процесса от аппаратных отказов и сбоев было возвращение к началу расчетов и повторение решения задачи до получения правильного результата. Типичным примером такой защиты является метод двойного счета, который обеспечивает получение-правильного результата решения с достаточно высокой гарантией. Однако в большинстве задач ИВС такой подход неприемлем либо из-за больших потерь машинного времени на повторение решения, либо из-за необходимости решения задачи в установленное время, либо из-за недопустимости искажения информации в силу трудностей, или невозможности ее восстановления. Рассмотрим основные принципы ( подходы) достижения надежной и устойчивой работы программного обеспечения. Прежде всего необходимо отметить, что из-за невозможности исключения полностью сбоев и отказов ЭВМ и другого оборудования, используемого для решения задачи, нельзя исключить и искажения обрабатываемой информации и программ, что в свою очередь ведет к повторению расчетов. [20]
Временная избыточность предполагает дополнительные затраты времени на выполнение контрольных операций. Наиболее ярким примером является решение задачи методом двойного счета со сравнением получаемых результатов. [21]
Результаты автоматически сравниваются и их совпадение считается признаком правильности решения. Несовпадение результатов вызывает или программный останов, или повторение цикла двойного счета. Разумеется, методом двойного счета можно обнаружить лишь случайные ошибки. [22]
Если тестовый контроль осуществляется только периодически и требует прекращения выполнения рабочей программы, то методы программно-логического контроля позволяют следить за работоспособностью машины непосредственно в процессе выполнения основной программы. В этом заключается преимущество программно-логического контроля. Выделяют следующие разновидности этого метода: контроль методом двойного счета; метод контрольных соотношений и смысловых проверок и алгоритмический контроль. [23]
Недостатки метода двойного счета заставляют искать новые эффективные методы контроля машинных вычислений. Во всех случаях контроль требует некоторого увеличения времени решения задач. Целесообразность применения того или иного метода контроля удобно оценивать, сравнивая время решения задачи и контроля со временем решения и контроля методом двойного счета. При этом сравнении обязательно должна оцениваться надежность метода контроля. [24]