Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 120 стр.

UptoLike

Составители: 

120
S
0
i
S
p
0
S
1
i
S
k
i
x
0
Тело
микропрограммы
i-го рабочего п/А
1
0
S
B
1
0
Рис. 5.2. ГСА i-го рабочего п/А, реализующего i-ую
ветвь алгоритма управления
Основные события, реализуемые i-м рабочим п/А, определяющие начало и
конец работы алгоритма управления для i-ой ветви, определятся следующим
образом:
вз
з
в
,
c,11,1
0
01
0
000
)1(
,)()1(
,)1(
SSStS
SSSSStS
SSSSxtS
i
k
i
k
i
k
iii
p
ii
p
ii
k
i
(5.1)
где
i
k
S
- заключительное событие для i-го рабочего п/А;
S
в
- комбинационное событие, определяющее условие выхода
алгоритмического процесса за вершину объединения параллельных ветвей;
i
S
1
- первое событие микропрограммы работы i-го п/А;
i
S
з
,1
и
i
S
c,1
- события, определяющие зарождение и сохранение события
i
S
1
соответственно;
i
k
S
з
,
- событие, определяющее зарождение события
i
k
S
.
ГСА для главного п/А, реализующего последовательную часть алгоритма
управления, будет иметь следующий вид (рис. 5.3).
                 x0

                                S0i

                      0         Sp0
                                      1
                                      i
                                 S1
                                                                   Тело
                                                                   микропрограммы
                                                                   i-го рабочего п/А



                                 Ski

                      0          SB          1


             Рис. 5.2. ГСА i-го рабочего п/А, реализующего i-ую
                         ветвь алгоритма управления

Основные события, реализуемые i-м рабочим п/А, определяющие начало и
конец работы алгоритма управления для i-ой ветви, определятся следующим
образом:
                          S 0i (t  1)  x0  S ki S в  S 0i S p0 ,

                          S1i (t  1)  ( S 0i S p0 ) S1i,з  S1i S1i,c ,              (5.1)

                          S ki (t  1)  S ki ,з  S ki S в
где S ki - заключительное событие для i-го рабочего п/А;
    Sв - комбинационное событие, определяющее условие выхода
алгоритмического процесса за вершину объединения параллельных ветвей;
S1i - первое событие микропрограммы работы i-го п/А;
S1i,з и S1i,c - события, определяющие зарождение и сохранение события S1i
соответственно;
S ki ,з - событие, определяющее зарождение события S ki .
ГСА для главного п/А, реализующего последовательную часть алгоритма
управления, будет иметь следующий вид (рис. 5.3).




                                                                                               120