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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

182
Продолжение таблицы 6.2
)
(
чо
t
S
)
(
1
t
S
)
(
2
t
S
)(
1
t
S
pk
)(
2
t
S
pk
)1(
1
0,
t
S
k
)(
1
2
0,
t
S
k
Комментарий
1 1 1 0 0 1 0
СчЧ не пустой, есть
ожидающий писатель и
читатель: -для 1-ой
строки в предшествую-
щий момент времени не
было ни чтения, ни
записи, поэтому
1
1
0,
S
k
1 1 1 0 1 0 1
(монопольный режим
записи); -для 2-ой
строки в предшествую-
щий момент времени
было чтение, поэтому
1
2
0,
S
k
(чтение
продолжается);
1 1 1 1 0 0 1
-для 3-ей строки в
предшествующий
момент времени была
запись, поэтому она
запрещается и
1
2
0,
S
k
(чтение), т.к. не
допускается бесконечная
запись.
Для получения минимальных выражений для правых частей описания
событий
S
k
1
0,
и
S
k
2
0,
воспользуемся представлением их диаграммами Вейча. 
                                                                                  Продолжение таблицы 6.2

S чо (t ) S 1 (t ) S 2 (t ) S1pk (t ) S 2pk (t ) S1k ,0 (t  1) S 2k ,0 (t  1)          Комментарий


   1        1         1          0          0          1              0            СчЧ не пустой, есть
                                                                                   ожидающий писатель и
                                                                                   читатель:    -для       1-ой
                                                                                   строки в предшествую-
                                                                                   щий момент времени не
                                                                                   было ни чтения, ни
                                                                                   записи, поэтому S 1k , 0  1
   1        1         1          0          1          0              1            (монопольный    режим
                                                                                   записи);   -для   2-ой
                                                                                   строки в предшествую-
                                                                                   щий момент времени
                                                                                   было чтение, поэтому
                                                                                     2
                                                                                   S k ,0  1         (чтение
                                                                                   продолжается);
   1        1         1          1          0          0              1            -для 3-ей строки в
                                                                                   предшествующий
                                                                                   момент времени была
                                                                                   запись, поэтому она
                                                                                   запрещается и S 2k , 0  1
                                                                                   (чтение),    т.к.       не
                                                                                   допускается бесконечная
                                                                                   запись.


     Для получения минимальных выражений для правых частей описания
событий S 1k ,0 и S 2k ,0 воспользуемся представлением их диаграммами Вейча.




                                                                                                                  182

Страницы