- •1.Этапы работы отказоустойчивой вс
- •2.Режимы работы отказоустойчивой вс
- •3.Отказоустойчивая и живучая вс
- •4. Централизованная и децентрализованная система диагностирования
- •5. Алгоритм поиска единичных отказов
- •6. Методы диагностирования:
- •7.Графовые модели оувс
- •8.Диагностические модели
- •9. Алгоритм организации взаимных проверок эм
- •10. Методы дешифрации синдрома
- •11.Табличный метод дешифрации синдрома
- •12. Определение объема памяти для хранения таблицы неисправности
- •13. Аналитический метод дешифрации синдрома
- •14. Графовый метод дешифрации синдрома
- •15. Алгоритмы ускоренной дешифрации синдрома
- •1.Дм (0,1,0,0):
- •2.Дм (0,1,0,1):
- •3.Дм (0,1,0,X):
- •4.Дм (0,1,1,0):
- •5.Дм (0,1,1,1):
- •1Й этап:
- •2Й этап:
- •16. Планирование работы оувс
- •17. Алгоритмы построения дз p2
- •18. Алгоритм формирования дз p2 путем подбора количества доступных эм
- •19. Коллективные диагностические проверки
- •20.Динамическое распределение фрагментов задач по элементарным машинам в вс
- •21. Алгоритмы распределения задач по эм в вс при произвольной трудоемкости фрагментов
- •22. Алгоритм построения дз p1
6. Методы диагностирования:
1.Взаимный таймерный контроль: отсчет заведомо достаточного времени для построения от контролируемой к контролирующей машине проверочного сигнала. Если такой сигнал поступил в заданное время, то контролируемая машина считается исправной, а если не поступил, то неисправной.
[-]:
фактически нет оценки вычислительной способности
синхронизация времени
сам таймер является устройством, которое может выйти из строя, соответственно в результате проверки будет зафиксирован отказ машины при отказе таймера.
2.Решение двумя ЭМ одного и того же фрагмента задачи в одно и то же время с последующим сравнением результатов.
Для сокращения объема передаваемых данных в качестве результата может выступать контрольная сумма
полученного результата. В этом случае в состав ЭМ не требуется вводить дополнительное устройство в виде таймера.
7.Графовые модели оувс
Большинство процессов происходящих в ВС можно описать с помощью графов.
1.Графы информационных связей (графы ИС):
D = ( W, P, Г ), где W - множество фрагментов решаемого набора прикладных задач,
P — множество весов фрагментов прикладных задач определяющих трудоемкость
Г — множество ИС между фрагментами.
Это означает что результат
выполнения фрагмента w1
является исходным данными
для фрагмента w2.
В общем случае величина Pi определяет сложность задачи — являющейся много приоритетной. Однако для однородных систем Pi определяется только свойствами задач.
Для упрощения задач планирования во многих случаях определяют фрагмент с большей трудоемкостью, разбивают на цепочки фрагментов с трудоемкостью = min.
Такое разбиение позволяет
не учитывать трудоемкость
при решении задач планирования.
Графы ИС позволяют описать задачу. Однако никак не учитываются особенности самой ВС и операций необходимых для обеспечения отказоустойчивости.
Для описания диагностических операций и структуры системы используется диагностический граф (ДГ): G = ( U, T ), где U — множество ЭМ входящих в состав ВС, T — множество диагностических связей между ЭМ.
Связи в ДГ могут быть как направленные так и не направленные.
Если на связях не задано направление, то проверки называются симметричными, то есть в ходе проверки каждая ЭМ является как проверяемой, так и проверяющей. Если указано направление, то проверки — не симметричные. Соответственно выделяются контролирующая и контролируемая машина.
ДГ определяется мерой диагностируемости ВС.
ДГ не может содержать петель, так как проверка ЭМ самой себя — отсутствует ( нет смысла для выполнения этой операции).
Помимо меры диагностируемости, существует величина t0 — мера отказоустойчивости.
Данная величина определяется спецификой прикладной задачи и показывает количество ЭМ при которых из вычислительного процесса результат решения прикладной задачи еще будет востребован.
Мера диагностируемости — t.
В общем случае если t > t0, то не имеет смысла проводить проверку.
8.Диагностические модели
Это модели которые зависят от интерпретации результатов, от состояний участвующих в проверке ЭМ.
Она описывается: (f1, f2, f3, f4)
f1 — показывает результат взаимной проверки, если проверяющая ЭМ исправна и проверяемая ЭМ так же исправна.
f2 — показывает результат взаимной проверки, если проверяющая ЭМ исправна, а проверяемая неисправна
f3 — показывает результат взаимной проверки, если проверяющая ЭМ неисправна, а проверяемая исправна
f4 — показывает результат взаимной проверки, если проверяющая и проверяемая ЭМ неисправны.
Каждый параметр может принимать 3 значения:
0 — совпадение результатов между проверяющей и проверяемой ЭМ
1 — не совпадение результатов
x — результат не определен
Пример : (0; 1; 0,1,x; 0,1,x)
Исправная машина ( проверяющая ) однозначно определяет состояние проверяемой.
Всего существует 9 моделей.
Если f3 = 1, то речь идет о симметричной модели
Если f3 = 0 , то речь идет о не симметричной модели
Если f3 = x, то модель не относится ни к симметричной ни к не симметричной.
В общем случае не зная свойств ВС использует модель: (0,1,x,x)
Во многих ВС вероятность одинакового отказа 2х ЭМ мала, в этом случае используют f4 = 1.
В ВС основным элементом контроля которых является таймерный контроль f4 = 0.