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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

160
параллельных процессов необходимо, чтобы алгоритм взаимодействия
удовлетворял бы требованиям, предъявляемым к критическим участкам
(раздел 6.3).
Так же как в разделе 6.3 с методической точки зрения будем сначала
рассматривать алгоритм управления только для двух процессов [2].
6.4.1.Формализация алгоритма управления
взаимодействующими параллельными процессами при
обращении к разделяемым данным для n=2
Представим для наглядности общую структуру рассматриваемого
алгоритма управления параллельными процессами в виде графа НДА
(рис.6.1), на котором для простоты опущена некоторая информация о
логических условиях для отдельных переходов.
з,1
S
1
S
S
r
1
S
p
1
S
k
1
прод,1
S
1,1
F
1,2
F
2,1
F
2,2
F
)
(&,
J
S
nk
S
p
1
S
p
2
S
nk
m
S
nk
S
2
r
S
2
p
S
2
k
S
прод,2
S
2
S
з,2
S
0
1
0 0
1
1
1
0
Рис.6.1. Фрагмент графа НДА алгоритма управления
взаимодействующими параллельными процессами
при обращении к разделяемым данным
(общему критическому ресурсу) для
2-х процессов 
параллельных процессов необходимо, чтобы алгоритм взаимодействия
удовлетворял бы требованиям, предъявляемым к критическим участкам
                              (раздел 6.3).
    Так же как в разделе 6.3 с методической точки зрения будем сначала
  рассматривать алгоритм управления только для двух процессов [2].



       6.4.1.Формализация алгоритма управления
  взаимодействующими параллельными процессами при
       обращении к разделяемым данным для n=2

      Представим для наглядности общую структуру рассматриваемого
 алгоритма управления параллельными процессами в виде графа НДА
 (рис.6.1), на котором для простоты опущена некоторая информация о
             логических условиях для отдельных переходов.


                   S1,з                                         S 2 ,з

                   S1                                            S2
                               F1,1                                         F2,1


  S 1r                                                                                  S r2
         0     1                                                                    0
             Sp                  1
                                Sk                      S k2                S p2
              1                                                                 1
                                      F1, 2      F2,2
             S1,прод                                                      S 2,прод
                                         J (&, )
                       0 S nk                                         0
                                                               S nk
                            1                 Sm                  1
                           1                                    2
                          Sp                                   Sp

                                              S nk


         Рис.6.1. Фрагмент графа НДА алгоритма управления
          взаимодействующими параллельными процессами
                при обращении к разделяемым данным
                  (общему критическому ресурсу) для
                            2-х процессов

                                                                                               160

Страницы