- •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
21. Алгоритмы распределения задач по эм в вс при произвольной трудоемкости фрагментов
В рамках планирования решения задач с произвольной трудоемкостью присутствует 2 подхода:
1.min t_диаг — минимизация времени диагностирования, когда при заданном времени решения минимизируют период цикла контроля
2.min t_реш — минимизация времени решения прикладных задач при заданном периоде цикла контроля
Пусть заданы 2 графа:
ДГ G(U,T)
граф ИС D(W,P,Г)
n = |U| - количество ЭМ, m = |T| - количество проверок, P = {p_q}-трудоемкость
Для однородных ВС p_q определяет время решения фрагментов
Необходимо построить план решения прикладных задач на данной ВС таким образом, чтобы обеспечить решение всех фрагментов определенных множеством w, за время < Tцр_max и выполнение всех диагностических проверок предусмотренных ДГ за t_min.
Существуют алгоритмы распределения фрагментов прикладных задач с произвольной трудоемкостью по ЭМ в ВС, то есть состояние плана решения без учета диагностических операций.
ЭМ используемые для решения прикладных задач образуют подмножество U1. Дополнительные ЭМ не задействованы в решении прикладных задач образуют множество U2 => U = U1 ν U2; U1 Λ U2 = Ø. Мощность U1: |U1| = n — (U2)
Чем меньше ЭМ задействовано в решении прикладных задач, тем больше может быть использовано для диагностических операций. Используя метод парных элементарных проверок, поэтому max количество элементарных проверок ограничено величиной int(n/2)
На 1м этапе строится ДЗ P1, критериями построения которой является Tцр =< Tцр_max, |U1| >= n/2, |U1| → min.
На 2м этапе ДЗ P1 модифицируются в целевую диаграмму загрузки P2, которая предусматривает выполнение элементарных проверок и обеспечивает период цикла решения не более чем в ДЗ P1.
22. Алгоритм построения дз p1
k = n1
с помощью заданного алгоритма спланировать решение фрагмента задач на k ЭМ
k = k -1
если k >= n/2 и Tцр =< Tцр_max, то переход на шаг 2
если Tцр =< Tцр_max, то переход на шаг 8
k = k + 2
с помощью заданного алгоритма спланировать решение фрагмента задач на k ЭМ
конец алгоритма
Для построения итоговой ДЗ вводится понятие — Раннее время начала выполнения элементарной проверки i-й ЭМ
Алгоритм построения итоговой ДЗ заключается в следующем: из множества элементарных проверок определяется в ДГ выбираются такие, выполнение которых может начаться в первую очередь. Для каждой выбранной проверки из графа ИС выбирается фрагмент, который может быть одновременно выполнен на соответствующей ЭМ. После этого для каждой проверки определяется время окончания ее проведения. На основе полученных данных выбирается проверка, которая будет выполнена и корректируется ДЗ.