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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

190
В соответствии с введенными выше обозначениями событий алгоритм управления
взаимодействующими процессами в задаче «обедающие философы» может быть
представлен для наглядности следующим фрагментом графа НДА (рис.6.12).
S
1
S
2
S
3
S
4
S
5
S
k
1
S
k
2
S
k
3
S
k
4
S
k
5
S
B1
S
B2
S
B3
S
B4
S
B5
S
E1
S
E2
S
E3
S
E4
S
E5
S
1
k
S
2
k
S
3
k
S
4
k
S
5
k
S
рk
1
S
рk
2
S
рk
3
S
рk
4
S
рk
5
F
1,1
F
2,1
F
3,1
F
4,1
F
5,1
S
k
1
S
k
1
S
k
2
S
k
2
S
k
3
S
k
3
S
k
4
S
k
4
S
k
5
S
k
5
S
k
5
I
1
(&,V)
I
2
(&,V)
I
3
(&,V)
I
4
(&,V)
I
5
(&,V)
F
1,2
F
2,2
F
3,2
F
4,2
F
5,2
S
B1
S
B1
Рис.6.12. Фрагмент графа НДА алгоритма управления
процессами в задаче «обедающие философы»
Граф НДА, представленный на рис. 6.12, несмотря на то, что в нем для
простоты опущены логические вершины, позволяет, наряду с системой
уравнений для событий, реализуемых алгоритмом, более наглядно
представить работу алгоритма управления параллельными процессами,
совместно использующих пересекающие группы ресурсов.
Учитывая основные требования алгоритма взаимодействия процессами
в задаче «обедающие философы», а также введенный выше состав событий, 
      В соответствии с введенными выше обозначениями событий алгоритм управления
взаимодействующими процессами в задаче «обедающие философы» может быть
представлен для наглядности следующим фрагментом графа НДА (рис.6.12).




                 S1                     S2                        S3                        S4                      S5


           Sk1                          Sk2                       Sk3                       Sk 4                 Sk5

                      F1,1                    F2,1                      F3,1                       F4,1                  F5,1

    Sk5      Sk 1        Sk1        Sk2          Sk 2         Sk 3         Sk3          Sk4           Sk4      Sk5
                                                                                                                          Sk5

          I1(&,V)              I2(&,V)                  I3(&,V)                  I4(&,V)                    I5(&,V)

    SB1                  SB2                         SB3                       SB4                    SB5

          F1,2                   F2,2                      F3,2                      F4,2                    F5,2
                                                                                                                     SB1
   SB1
             SE1                    SE2                        SE3                          SE4                 SE5


              S1k                       S2k                       S3k                       S4k                  S5k


             Sрk1                   Sрk2                      Sрk3                      Sрk4                    Sрk5



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

      Граф НДА, представленный на рис. 6.12, несмотря на то, что в нем для
простоты опущены логические вершины, позволяет, наряду с системой
уравнений для событий, реализуемых алгоритмом, более наглядно
представить работу алгоритма управления параллельными процессами,
совместно использующих пересекающие группы ресурсов.
      Учитывая основные требования алгоритма взаимодействия процессами
в задаче «обедающие философы», а также введенный выше состав событий,

                                                                                                                            190

Страницы