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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

178
1
S
S
gp
1
S
k
1
1,1
F
1,2
F
2,1
F
2,2
F
)
(&,
S
m
S
p
1
S
p
2
S
m
m
S
2
gp
S
2
k
S
2
S
0 0
1
1
S
n
1
S
n
2
S
pk
1
S
pk
1
писатели
читатели
Рис.6.7. Фрагмент графа НДА алгоритма управления
процессами в задаче «читатели-писатели»
Работающего писателя и читателя будем характеризовать
событиями, которые определяют не только вход в критический интервал
писателей и читателей, но и нахождение их в критическом интервале.
Обозначим эти события буквами
S
k
1
и
S
k
2
соответственно. Т.е. если
1
1
S
k
, то
ожидающий писатель переходит в разряд работающих писателей. Тоже самое
относится и к событию
S
k
2
, т.е. при
1
2
S
k
ожидающий читатель переходит в
разряд работающих читателей.
События типа
S
k
1
и
S
k
2
в некотрых наших работах [71] называли
событиями активного ожидания обращения к РР, т.к. фактически
непосредственная запись или чтение в РР будет выполняться лишь после
зарождения событий
S
k
1
и
S
k
2
(спустя несколько тактов после их
зарождения).
Ожидающего писателя и читателя будем характеризовать событиями
S
1
и
S
2
соответственно, которые могут зародится только при наличии заявки
на запись и чтение из РР и при условии, если свободен вход в критический 
     писатели                                                                            читатели
                     S1                                              S2
                                 F1,1                                             F2,1


      1                                                                                        2
     S gp                                                                                    S gp
                                 Sk
                                   1
                                                            S k2

                                        F1,2        F2, 2
                                           J (&, )
                     0                                                        0
                          Sm                                       Sm
                           1                   Sm                         1
                           1                                        2
                          Sp                                       Sp

                          S1n                                      S 2n

                           1                                         1
                          S pk                                     S pk




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

      Работающего писателя и читателя будем характеризовать
событиями, которые определяют не только вход в критический интервал
писателей и читателей, но и нахождение их в критическом интервале.
Обозначим эти события буквами S 1k и S 2k соответственно. Т.е. если S 1k  1 , то
ожидающий писатель переходит в разряд работающих писателей. Тоже самое
относится и к событию S 2k , т.е. при S 2k  1 ожидающий читатель переходит в
разряд работающих читателей.
      События типа S 1k и S 2k в некотрых наших работах [71] называли
событиями активного ожидания обращения к РР, т.к. фактически
непосредственная запись или чтение в РР будет выполняться лишь после
зарождения событий S 1k и S 2k (спустя несколько тактов после их
зарождения).
      Ожидающего писателя и читателя будем характеризовать событиями
S 1 и S 2 соответственно, которые могут зародится только при наличии заявки
на запись и чтение из РР и при условии, если свободен вход в критический
                                                                                                    178

Страницы