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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

172
З1,
S
1
S
З2,
S
2
S
1,1
F
1,2
F
1
r
S
S
k
1
2,1
F
2,2
F
S
k
2
S
r
2
1
n
S
2
n
S
m
S
m
S
m
S
1
p
S
2
p
S
J(&,V)
F
0
1
0
1
0
1
1
БП
S
БО
S
КС
S
2
n
S
1
n
S
0
0
1
1
1
Рис. 6.6. Фрагмент графа НДА алгоритма управления
параллельными процессами задачи «производители-потребители» с
согласующим буфером в N>1 слов
На графе НДА (рис.6.6) по сравнению с графом НДА (рис.6.5)
дополнительно представлены необходимые переходы, связанные с
организацией записи и чтения из буфера и выходом взаимодействующих
процессов из своих критических участков. Следует также отметить, что на
графе НДА (рис.6.6), с целью упрощения его схемы, опущены некоторые
логические вершины, определяющие события (
S
1
и
S
2
) и (
S
k
1
и
S
k
2
).
Несмотря на указанные упрощения, граф НДА (рис.6.6) в достаточной
степени дает представление об общей структуре алгоритма управления
взаимодействующими процессами.
Такой граф НДА (рис.6.6), как следует из дальнейшего изложения,
совместно с системами канонических уравнений НД СКУ, описывающих все
представимые в управляющем алгоритме события, дает полную картину
межпроцессного взаимодействия двух параллельных процессов задачи
«производители-потребители» для варианта использования согласующего
буфера с число слов N>1. 
                                 S1,З                                             S 2,З


                                 S1                                               S2
                                             F1,1                   F2,1

                   S r1                       1
                                             Sk                     S 2k                  Sr
                                                                                            2



      0                                             F1,2    F2, 2                                0
                   S n1                                                                   S n2
                   1                                   J(&,V)                                1
                                                       F
                            0           Sm                                           0
                                                                           Sm
                                         1
                                                           Sm
                                                                      1
                                      S 1p                                 S p2
               0
              S КС          0         S БП                                 S БО 0
          1                             1                                    1
                                                                           S n2
                          S n1


          Рис. 6.6. Фрагмент графа НДА алгоритма управления
    параллельными процессами задачи «производители-потребители» с
                    согласующим буфером в N>1 слов

          На графе НДА (рис.6.6) по сравнению с графом НДА (рис.6.5)
     дополнительно представлены необходимые переходы, связанные с
  организацией записи и чтения из буфера и выходом взаимодействующих
 процессов из своих критических участков. Следует также отметить, что на
  графе НДА (рис.6.6), с целью упрощения его схемы, опущены некоторые
    логические вершины, определяющие события ( S1 и S 2 ) и ( S 1k и S 2k ).
   Несмотря на указанные упрощения, граф НДА (рис.6.6) в достаточной
   степени дает представление об общей структуре алгоритма управления
                    взаимодействующими процессами.
        Такой граф НДА (рис.6.6), как следует из дальнейшего изложения,
совместно с системами канонических уравнений НД СКУ, описывающих все
  представимые в управляющем алгоритме события, дает полную картину
   межпроцессного взаимодействия двух параллельных процессов задачи
 «производители-потребители» для варианта использования согласующего
                          буфера с число слов N>1.

                                                                                                     172

Страницы