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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

174
Таблица 6.1
)(
БО
tS
)(
БП
tS
)
(
1
t
S
)
(
2
t
S
)1(
1
кo
t
S
)1(
2
кo
t
S
Комментарий
0 0 0 0 0 0
0 0 0 1 0 1
0 0 1 0 1 0
0 0 1 1 1 0
Буфер не пустой и
не полный,
возможна или
запись, или чтение
из буфера:
1
1
кo
S
при
1
1
S
;
1
2
кo
S
при
1
2
S
и
0
1
S
0 1 0 0 0 0
0 1 0 1 0 1
0 1 1 0 0 0
0 1 1 1 0 1
Буфер полон (не
пустой), возможно
только чтение из
буфера:
1
2
кo
S
при
1
2
S
1 0 0 0 0 0
1 0 0 1 0 0
1 0 1 0 1 0
1 0 1 1 1 0
Буфер пустой («не
полный»),
возможна только
запись в буфер:
1
1
кo
S
при
1
1
S
1 1 0 0 - -
1 1 0 1 - -
1 1 1 0 - -
1 1 1 1 - -
Невозможные
комбинации
состояний буфера,
S
1
кo
и
S
2
кo
- не
определены
Исходя из ПТП (табл.6.1) минимальные выражения для событий
S
1
кo
и
S
2
кo
, с учетом их неопределенных значений, примут следующий вид:
).()1(
,)1(
БО
БП
БП
1
2
2
кo
1
1
кo
S
S
SS
t
S
S
S
t
S
(6.19)
Назначение и формальное описание остальных основных событий,
представленных на графе НДА (рис.6.6), исходя из требований алгоритма
управления процессами, определяются следующим образом:
События
S
1
и
S
2
- определяют прием заявок процессов на запись
и чтение из согласующего буфера; они определяются также как в системах
уравнений (6.16а) и (6.16б). 
                                                                                       Таблица 6.1
 S БО (t )   S БП (t ) S 1 (t )   S 2 (t )     1              2
                                              S кo (t  1) S кo (t  1)        Комментарий

   0           0          0         0              0              0       Буфер не пустой и
   0           0          0         1              0              1       не полный,
   0           0          1         0              1              0       возможна или
   0           0          1         1              1              0       запись, или чтение
                                                                          из буфера: S1кo  1
                                                                                         2
                                                                          при S1  1 ; S кo  1 при
                                                                          S 2  1 и S1  0
   0           1          0         0              0              0       Буфер полон (не
   0           1          0         1              0              1       пустой), возможно
   0           1          1         0              0              0       только чтение из
                                                                                       2
   0           1          1         1              0              1       буфера: S кo    1 при
                                                                          S2 1
   1           0          0         0              0              0       Буфер пустой («не
   1           0          0         1              0              0       полный»),
   1           0          1         0              1              0       возможна только
   1           0          1         1              1              0       запись в буфер:
                                                                           1
                                                                          S кo  1 при S1  1
   1           1          0         0              -              -       Невозможные
   1           1          0         1              -              -       комбинации
   1           1          1         0              -              -       состояний буфера,
                                                                           1        2
   1           1          1         1              -              -       S кo и S кo - не
                                                                          определены

        Исходя из ПТП (табл.6.1) минимальные выражения для событий S 1кo и
       2
     S кo , с учетом их неопределенных значений, примут следующий вид:
                                     1
                                   S кo (t  1)  S1 S БП ,
                                                                                              (6.19)
                                     2
                                   S кo (t    1)  S 2 ( S БП  S1 S БО ).
        Назначение и формальное описание остальных основных событий,
  представленных на графе НДА (рис.6.6), исходя из требований алгоритма
        управления процессами, определяются следующим образом:
          События S1 и S 2 - определяют прием заявок процессов на запись
и чтение из согласующего буфера; они определяются также как в системах
уравнений (6.16а) и (6.16б).


                                                                                                      174

Страницы