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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

187
С 8-ого по 10-й такты выполняется обращение к РР с
последующим чтением из РР.
В 11-ом такте в СчЧ выполняется операция вычитания единицы
(т.к. в предыдущем такте имело место соотношение
1
ЧО
2
S
S
n
) и
осуществляется выход первого читателя из своего критического участка
(
0
2
S
k
).
С 12-ого по 15-й такты осуществляется вход второго
ожидающего читателя (
S
2
2
) в свой критический участок (
1
2
S
k
) с
последующим обращением (
1
S
m
) к РР для выполнения чтения.
В 16-ом такте выполняются: операция вычитания единицы из
СчЧ, в результате чего событие
S
ЧО
становится равным единице (
1
ЧО
S
);
подтверждается факт окончания чтения из РР (
1
2
S
pk
) и осуществляется
выход второго читателя из своего критического участка.
С 17-ого по 20-й такты осуществляется вход уже третьего
ожидающего читателя (
S
3
2
) в критический участок (
1
2
S
k
) с последующим
обращением (
1
S
m
) к РР для выполнения чтения, т.к. при зарождении
события
S
k
2
в предшествующий момент времени (16 такт) отсутствовал
ожидающий писатель (
0
2
1
S
).
В 21-м такте подтверждается факт окончания чтения из РР
(
1
2
S
pk
) и осуществляется выход третьего читателя из своего критического
участка
0
2
S
k
.
С 22-ого по 25-й такты осуществляется вход второго писателя
(
S
2
1
) в критический участок (
1
1
S
k
) с последующим обращением (
1
S
m
) к
РР для выполнения записи, т.к. С
чо
=0.
В 26-м такте в СчЧ заносится константа Е=2, подтверждается
факт окончания записи в РР (
1
1
S
pk
) и осуществляется выход второго
писателя из своего критического участка (
0
1
S
k
).
С 27-ого по 30-й такты осуществляется вход третьего писателя
(
S
3
1
) в критический участок (
1
1
S
k
) с последующим обращением (
1
S
m
) к
РР для выполнения записи, т.к. отсутствовал четвертый ожидающий читатель
и т.д.
6.7. Формализация алгоритма управления
взаимодействующими параллельными процессами
в задаче «обедающие философы» 
             С 8-ого по 10-й такты выполняется обращение к РР с
последующим чтением из РР.
             В 11-ом такте в СчЧ выполняется операция вычитания единицы
(т.к. в предыдущем такте имело место соотношение S 2n S ЧО  1 ) и
осуществляется выход первого читателя из своего критического участка
( S 2k  0 ).
        С 12-ого по 15-й такты осуществляется вход второго
ожидающего читателя ( S 22 ) в свой критический участок ( S 2k  1 ) с
последующим обращением ( S m  1 ) к РР для выполнения чтения.
           В 16-ом такте выполняются: операция вычитания единицы из
СчЧ, в результате чего событие S ЧО становится равным единице ( S ЧО  1 );
подтверждается факт окончания чтения из РР ( S 2pk  1 ) и осуществляется
выход второго читателя из своего критического участка.
           С 17-ого по 20-й такты осуществляется вход уже третьего
ожидающего читателя ( S 32 ) в критический участок ( S 2k  1 ) с последующим
обращением ( S m  1 ) к РР для выполнения чтения, т.к. при зарождении
события S 2k в предшествующий момент времени (16 такт) отсутствовал
ожидающий писатель ( S 12  0 ).
               В 21-м такте подтверждается факт окончания чтения из РР
( S 2pk  1 ) и осуществляется выход третьего читателя из своего критического
участка S 2k  0 .
             С 22-ого по 25-й такты осуществляется вход второго писателя
( S 1 ) в критический участок ( S 1k  1 ) с последующим обращением ( S m  1 ) к
    2

РР для выполнения записи, т.к. Счо=0.
         В 26-м такте в СчЧ заносится константа Е=2, подтверждается
факт окончания записи в РР ( S 1pk  1 ) и осуществляется выход второго
писателя из своего критического участка ( S 1k  0 ).
              С 27-ого по 30-й такты осуществляется вход третьего писателя
( S 13 ) в критический участок ( S 1k  1 ) с последующим обращением ( S m  1 ) к
РР для выполнения записи, т.к. отсутствовал четвертый ожидающий читатель
и т.д.


6.7. Формализация алгоритма управления
взаимодействующими параллельными процессами
в задаче «обедающие философы»


                                                                               187

Страницы