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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

184
где
S
m
- событие, определяющее обращение к РР, как для записи, так и для
чтения;
S
p
1
и
S
p
2
- события, определяющие начало процедуры записи и чтения
соответственно.
П р и м е ч а н и е: для рассматриваемого варианта алгоритма управления
процессами условно принято, что для выполнения процедуры записи и чтения
необходимы только по два оператора: для записи - события
S
p
1
и
S
n
1
и для чтения –
события
S
p
2
и
S
n
2
.
При t=0 или при
1
1
чо
S
S
n
выполняется операция СчЧ:=Е, при
1
2
чо
S
S
n
- операция СчЧ:= СчЧ – 1. Представленные на графе (рис.6.7) события
S
gp
1
и
S
gp
2
могут инициировать выполнение некоторых подпроцессов за время
ожидания работы писателей и читателей [71];
,)1(
,)1(
2
2
2
2
З,2
2
1
1
1
1
З,1
1
S
S
S
SS
t
S
S
S
S
SS
t
S
n
gp
k
ggp
n
gp
k
ggp
где
S
g
1
З,
и
S
g
2
З,
- события, определяющие заявки на реализацию
подпрограммы для процессов писателей и читателей
соответственно.
Проверку правильности работы алгоритма управления процессами
можно выполнить на основе моделирования системы канонических
уравнений НД СКУ (6.28), описывающих все представленные в
управляющем алгоритме события для различных комбинаций заявок на
запись и чтение из разделяемого критического ресурса.
По результатам моделирования можно построить временные
диаграммы, в каждом такте которых, будут определены события,
одновременное существование которых в данном такте возможно.
В качестве примера на рис.6.10 представлены временные диаграммы
для следующих начальных условий: при t=0/ СчЧ:=2,
1
чо
S
,
1
З,2З,1
SS
.
S
1
S
1
1
S
1
1
S
2
S
1
2
S
1
2
S
1
2
S
1
2
S
1
2
S
1
2
S
1
2
S
2
2
S
2
2
S
3
2
S
ЧО
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
)(
21
SS
kk
S
k
1
S
k
1
S
k
1
S
k
1
S
k
2
S
k
2
S
k
2
S
k
2
S
k
2
S
k
2
S
k
2
S
k
2
S
m
S
m
S
m
S
m
 где S m - событие, определяющее обращение к РР, как для записи, так и для
            чтения;
              1      2
             S p и S p - события, определяющие начало процедуры записи и чтения
                   соответственно.
       П р и м е ч а н и е: для рассматриваемого варианта алгоритма управления
 процессами условно принято, что для выполнения процедуры записи и чтения
 необходимы только по два оператора: для записи - события S 1p и S 1n и для чтения –
 события S 2p и S 2n .

       При t=0 или при S чо S1n  1 выполняется операция СчЧ:=Е, при S чо S 2n  1
 - операция СчЧ:= СчЧ – 1. Представленные на графе (рис.6.7) события S 1gp и
   2
 S gp могут инициировать выполнение некоторых подпроцессов за время
 ожидания работы писателей и читателей [71];
                                                       1                 1    1       1    1
                                                 S gp (t  1)  S1 S g ,З S k  S gp S n ,
                                                                              2            2
                                                 S 2gp (t  1)  S 2 S 2g ,З S k  S 2gp S n ,
               1                     2
 где         S g ,З       и
                      - события, определяющие заявки на реализацию
                                  S g ,З
                        подпрограммы для процессов писателей и читателей
                        соответственно.
       Проверку правильности работы алгоритма управления процессами
 можно выполнить на основе моделирования системы канонических
 уравнений НД СКУ (6.28), описывающих все представленные в
 управляющем алгоритме события для различных комбинаций заявок на
 запись и чтение из разделяемого критического ресурса.
       По результатам моделирования можно построить временные
 диаграммы, в каждом такте которых, будут определены события,
 одновременное существование которых в данном такте возможно.
       В качестве примера на рис.6.10 представлены временные диаграммы
 для следующих начальных условий: при t=0/ СчЧ:=2, S чо  1, S 1,З  S 2,З  1 .



     S1        S 11   S 11

     S2        S 12   S 12    S 12       S 12   S 12       S 12   S 12                     S 22    S 22                  S 32

     S ЧО      1      1       1          1      1          1      1      1    1       1        1   1      1    1    1    0
 1      2                                  1      1                 2     2       2    2             2     2    2    2
S k (S k )            S 1k    S 1k       Sk     Sk                Sk     Sk   Sk      Sk           Sk     Sk   Sk   Sk

     Sm                       Sm                                         Sm                               Sm




                                                                                                                                184

Страницы