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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

169
Выполнялись требования задачи взаимного исключения по
отношению к критическому ресурсу – буферу сообщений.
Учитывалось состояние буфера сообщений, характеризующего
возможность и невозможность посылки (принятия) очередного сообщения, а
именно: процесс-производитель при попытке поместить очередное
сообщение в полностью заполненный буфер должен быть полностью
заблокирован; попытка процесса-потребителя чтения из пустого буфера
также должна быть заблокирована.
Рассмотрим вначале простой вариант, когда процессы
взаимодействуют через согласующий буфер в одно слово. Для этого варианта
имеет место следующее:
производитель производит по одному слову (за один раз), а
потребитель использует их по одному (за один раз);
согласующий буфер имеет размер в одно слово.
Для такого простейшего случая взаимодействия – взаимное
исключение процессов специально не предусматривается (не
формализуется), т.к. в этом случае оно обеспечивается синхронизацией
процессов. Фрагмент графа НДА алгоритма взаимодействия двух
параллельных процессов представлен на рис.6.5.
З,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
p
S
2
p
S
m
S
m
S
m
S
1
p
S
2
p
S
0
0
J(&,V)
0
0
1
1
1
1
Рис.6.5. Фрагмент графа НДА алгоритма управления
параллельными процессами задачи «производители-
потребители» с согласующим буфером в одно слово 
          Выполнялись требования задачи взаимного исключения по
отношению к критическому ресурсу – буферу сообщений.
          Учитывалось состояние буфера сообщений, характеризующего
возможность и невозможность посылки (принятия) очередного сообщения, а
именно: процесс-производитель при попытке поместить очередное
сообщение в полностью заполненный буфер должен быть полностью
заблокирован; попытка процесса-потребителя чтения из пустого буфера
также должна быть заблокирована.
              Рассмотрим вначале простой вариант, когда процессы
взаимодействуют через согласующий буфер в одно слово. Для этого варианта
                         имеет место следующее:
          производитель производит по одному слову (за один раз), а
потребитель использует их по одному (за один раз);
          согласующий буфер имеет размер в одно слово.
     Для такого простейшего случая взаимодействия – взаимное
исключение     процессов    специально     не     предусматривается  (не
формализуется), т.к. в этом случае оно обеспечивается синхронизацией
процессов. Фрагмент графа НДА алгоритма взаимодействия двух
параллельных процессов представлен на рис.6.5.



                         S1, З                                                 S 2, З

                          S1                                                   S2
                                      F1,1                      F2 ,1

          S r1                        Sk
                                          1
                                                                 Sk
                                                                   2
                                                                                            Sr
                                                                                              2



      0                                       F1, 2    F2 , 2                                          0
          S 1p                                                                              S p2
                 1                                J(&,V)                                           1
                     0                                                                  0
                                 Sm                                     Sm
                                                      Sm
                                      1                                        1
                               S 1p                                     S p2


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


                                                                                                           169

Страницы