Применение алгоритмов шифрования Политики безопасности Протокол аутентификации Безопасность IP (IPSec) Использование сертификатов для обеспечения безопасности

Многопроцессорные вычислительные системы

Классификация СОД. Классифицируются СОД в зависимости от способа построения СОД, построенные на основе отдельных ЭВМ, вычислительных комплексов и систем, образуют класс сосредоточенных (централизованных) систем, в которых вся обработка реализуется ЭВМ, вычислительным комплексом или специализированной системой.

Основы вычислительных систем

Программные методы контроля

 

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

·  наладочные – для комплексной наладки компьютера;

·  проверочные – для проверки устойчивости близких к отказу элементов во время профилактики ЭВМ;

·  программы контрольных задач – пропускаются во время решения задачи в целях проверки работоспособности компьютера;

·  диагностические – для локализации обнаруженных отказов путем программного анализа ошибок.

Программно-логический контроль ставит цель – непосредственно проверить правильность решения задачи при выполнении основной программы. Можно вводить некоторые операции дополнительно для контроля всех выполняемых операций. Рассмотрим ряд способов такого контроля.

Контроль решений методом двойного счета. Суть метода состоит в повторном вычислении всей задачи или отдельных ее частей. Результаты сравниваются и их совпадение считается признаком достоверности результата. При несовпадении результатов решение повторяется до двух одинаковых результатов, которые считаются верными.

Если решение задачи – таблица, то получается некоторая контрольная сумма и производится сравнение этих контрольных сумм.

Достоинство метода в простоте, однако необходимо предварительно предусмотреть контрольные точки.

Недостатки:

·  время с контролем Т¢ намного больше времени решения задачи без контроля;

·  использовать метод можно лишь тогда, когда исходные данные при решении задачи не разрушаются или могут быть легко восстановлены;

·  исправляются лишь случайные ошибки, как результат сбоя.

Математические и смысловые проверки (МС-проверки). МC-проверки основаны на анализе промежуточных результатов решения задачи. Для этого предварительно необходимо проделать определенную работу по исследованию алгоритма решения задачи с целью выявить границы изменяемых величин, дополнительные условия, которым они должны удовлетворять, и т. д. Общие принципы МС-проверок сформулировать трудно, ибо многое зависит от конкретной задачи и искусства программиста.

Рассмотрим некоторые типовые примеры.

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

Дополнительные связи переменных. Суть: используются некоторые дополнительные связи между искомыми величинами. Типичные примеры – связи между тригонометрическими функциями:

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

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

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

Информатика, черчение, математика