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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

165
з,1
S
1
S
S
r
1
S
p
1
S
k
1
прод,1
S
1,1
F
1,n
F
2,1
F
2,n
F
)
(&,
J
S
nk
S
p
1
S
n
p
S
nk
m
S
nk
S
n
r
S
n
p
S
n
k
S
прод,n
S
n
S
з,n
S
0
1
0
0
1
1
1
0
S
1
др
S
n
др
S
pk
1
S
n
pk
…
…
Рис.6.3. Фрагмент графа НДА алгоритма управления
взаимодействующими параллельными
процессами при обращении к разделяемым
данным для n2 процессов
В соответствии с графом НДА (рис.6.3) и учитывая системы
канонических уравнений (6.8а), (6.8б) и (6.8в), формализующих алгоритм
управления межпроцессного взаимодействия для 2-х процессов, система
канонических уравнений, формализующая алгоритм управления
межпроцессного взаимодействия для n2 процессов для обслуживания
любого i-го процесса и для последовательной части алгоритма управления,
будут иметь следующий вид [71]: 
                                                                                    S n, з
                          S1,з
                                                       …
                          S1                                                        Sn

                                        F1,1                                                       Fn ,1

                           1                                                           n
                          S др                                                      S др                       S rn
   1
  Sr                                     1
                                                                                                           0
        0      1                        Sk                           S kn                         S pn
              Sp
                                                                            Fn, 2                     1
                1                              F1, 2
                                                                                                 S n,прод
            S1,прод
                                                       …
                                                              J (&, )
                      0                                                                      0
                               S nk                                           S nk
                                  1                    Sm                        1
                                  1                                            n
                                 Sp                                          Sp
                                  1
                                 S pk                                           n
                                                                             S pk
                                                       S nk

            Рис.6.3. Фрагмент графа НДА алгоритма управления
                   взаимодействующими параллельными
                 процессами при обращении к разделяемым
                         данным для n2 процессов

          В соответствии с графом НДА (рис.6.3) и учитывая системы
 канонических уравнений (6.8а), (6.8б) и (6.8в), формализующих алгоритм
 управления межпроцессного взаимодействия для 2-х процессов, система
     канонических уравнений, формализующая алгоритм управления
  межпроцессного взаимодействия для n2 процессов для обслуживания
любого i-го процесса и для последовательной части алгоритма управления,
                    будут иметь следующий вид [71]:




                                                                                                                      165

Страницы