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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

181
Таблица 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
Комментарий
0 0 1 0 0 0 1
СчЧ пустой, есть ожи-
дающий читатель и нет
0 0 1 0 1 0 1
ожидающего писателя,
поэтому
0 0 1 1 0 0 1
1
2
0,
S
k
(чтение)
0 1 0 0 0 1 0
СчЧ пустой, есть
ожидающий писатель
0 1 0 0 1 1 0
и нет ожидающего чита-
0 1 0 1 0 1 0
теля, поэтому
1
1
0,
S
k
(запись)
0 1 1 0 0 1 0
СчЧ пустой, есть
ожидающий писатель
0 1 1 0 1 1 0
и ожидающий читатель,
поэтому
1
1
0,
S
k
0 1 1 1 0 1 0
(монопольный режим
для писателей)
1 0 1 0 0 0 1
СчЧ не пустой, есть
ожидающий читатель
1 0 1 0 1 0 1
и нет ожидающего
писателя, поэтому
1 0 1 1 0 0 1
1
2
0,
S
k
(чтение)
1 1 0 0 0 1 0
СчЧ не пустой, есть
ожидающий писатель
1 1 0 0 1 1 0
и нет ожидающего
читателя, поэтому
1 1 0 1 0 1 0
1
1
0,
S
k
(запись) 
                                                                                                   Таблица 6.2

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


   0        0         1          0          0          0              1           СчЧ пустой, есть ожи-
                                                                                  дающий читатель и нет

   0        0         1          0          1          0              1           ожидающего        писателя,
                                                                                  поэтому

   0        0         1          1          0          0              1             2
                                                                                  S k ,0  1 (чтение)

   0        1         0          0          0          1              0           СчЧ    пустой,    есть
                                                                                  ожидающий писатель

   0        1         0          0          1          1              0           и нет ожидающего чита-


   0        1         0          1          0          1              0           теля, поэтому S 1k , 0  1
                                                                                  (запись)
   0        1         1          0          0          1              0           СчЧ      пустой,      есть
                                                                                  ожидающий писатель

   0        1         1          0          1          1              0           и ожидающий читатель,
                                                                                  поэтому S 1k , 0  1

   0        1         1          1          0          1              0           (монопольный    режим
                                                                                  для писателей)
   1        0         1          0          0          0              1           СчЧ не пустой, есть
                                                                                  ожидающий читатель

   1        0         1          0          1          0              1           и    нет    ожидающего
                                                                                  писателя, поэтому

   1        0         1          1          0          0              1             2
                                                                                  S k ,0  1 (чтение)

   1        1         0          0          0          1              0           СчЧ не пустой, есть
                                                                                  ожидающий писатель

   1        1         0          0          1          1              0           и    нет    ожидающего
                                                                                  читателя, поэтому

   1        1         0          1          0          1              0            1
                                                                                  S k ,0  1 (запись)




                                                                                                                181

Страницы