ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
88
этим формулам можно определить только вероятность того, что
КС
работоспособна в момент времени
t
,
но не возможность деградации
архитектур
КС
из-за отказов модулей за время работы. Поскольку
основная цель многопроцессорных КС состоит в том, чтобы обеспе-
чить высокую эффективность, изменение
ПC
во времени должно
использоваться как критерий оценки различных архитектур много-
процессорных
КС
.
Чтобы вычислить ПС, используем представление
множественно-шинной архитектуры марковской моделью (рис. 4) для
p p
M C
λ
, ,
M N B
,
1,
M N B
−
, ,
M J B
1, ,
M N B
−
1,
1,
M N B
− −
1, ,
M J B
−
,
I N
,
1
I N
−
,
I J
F
(
)
1
p p
M C
− λ
2
b b
C
λ
(
)
1
p p
I
C
+ λ
p
m b
I
J
λ + λ + λ
(
)
(
)
1
1
p
m
m
b
b
I
N C
B C
λ + λ − +
+ λ −
, ,1
M N
,
1,1
M N
−
, ,1
M J
1, ,1
M N
−
1,
1,1
M N
− −
1, ,1
M J
−
,
I N
,
1
I N
−
, ,1
I J
m m
N C
λ
(
)
1
m m
J
C
+ λ
b b
B C
λ
2
b b
C
λ
(
)
1
p
m
b
b
I
J
B
C
λ + λ +
+ λ + −
Рис. 4. Марковская модель для множественно-шинной архитектуры
КС
(
)
M N B
× ×
задачи, требующей не менее
I
процессоров,
J
блоков памяти и ши-
ну. Состояние
( , , )
i j k
означает, что есть
i
процессоров,
j
блоков
памяти и
k
шин, работающих в
КС
с начальной конфигурацией
(
)
,
,
M N B
.
Состояние
КС
определено как рабочее, пока минималь-
ные требования по количеству работоспособных модулей процессо-
ров, памяти и шин удовлетворяются. Переход от состояния
( , , )
i j k
к