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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

183
0
0
–
0
1
1
–
1
1
1
–
1
0
0
–
0
0
–
0
0
1
–
1
1
0
–
0
1
0
–
0
0
0
0
–
0
0
0
–
0
0
0
–
0
0
0
–
0
1
–
1
1
0
–
0
0
1
–
1
0
1
–
1
1
1
pk
S
1
pk
S
Для
S
k
1
0,
2
pk
S
1
pk
1
pk
S
2
pk
S
Для
S
k
2
0,
чо
S
чо
S
1
2
S
S
1
2
S
Рис.6.9. Диаграммы Вейча, представляющие правые части
описаний для событий
S
k
1
0,
и
S
k
2
0,
Из диаграмм Вейча (рис.6.9) минимальные выражения для событий
S
k
1
0,
и
S
k
2
0,
будут иметь вид:
])([)1(
)()1(
1
21
чо2
2
0,
21
2чо
1
1
0,
S
SSSS
t
S
SSSS
S
t
S
pkpkk
pkpk
k
(6.27)
Учитывая полученные описания [выражения (6.24 - 6.27)], для главных
событий, формализующих алгоритм управления взаимодействием процессов
в задаче «читатели-писатели», общая сводная система канонических
уравнений НД СКУ, представляющая рассматриваемый алгоритм управления
процессами, будет иметь вид:
,)1(,)1(
,)1(,)1(
,)1(
,)1(
,)1(
,)]([)1(
,)()1(
,)()1(
,)()1(
2222
1111
22
11
2
2
1
1
2
221
чо
1
1
2
2
11
21
чо2
2
1
1
2
2
2
2
З,22
1
1
1
1
З,11
S
t
SS
t
S
S
t
SS
t
S
SS
t
S
SS
t
S
SSSS
t
S
S
SSSS
SS
S
t
S
SS
SSSSS
S
t
S
S
SS
S
S
t
S
S
SS
S
S
t
S
npkpn
npkpn
kmp
kmp
kkm
n
kpkpk
k
k
nk
pkpkk
k
k
n
k
k
n
k
(6.28) 
                          Для S1k,0                                                               Для S2k ,0
                             2
                           S pk                                                                    S 2pk

            0 0 – 0 0 – 0 0                                                      0 0 – 0 1 – 1 1
            1 1 – 1 1 – 1 1                                                      0 0 – 0 0 – 0 0
                                                          S1                                                                S1
            1 1 – 1 0 – 0 1                                                      0 0 – 0 1 – 1 0
   Sчо                                                         Sчо
            0 0 – 0 0 – 0 0                                                      0 0 – 0 1 – 1 1

               S1pk                    S1pk                                       S 1pk                        S 1pk

                                      S2                                                                       S2


             Рис.6.9. Диаграммы Вейча, представляющие правые части
                         описаний для событий S 1k ,0 и S 2k ,0
          Из диаграмм Вейча (рис.6.9) минимальные выражения для событий
 1
S k ,0   и S 2k ,0 будут иметь вид:
                        1                                     1    2
                       S k ,0 (t  1)  S1 ( S чо  S 2  S pk S pk ) 
                                                                          (6.27)
                         2                           1       2
                       S k ,0 (t  1)  S 2 [ S чо (S pk  S pk )  S 1]
     Учитывая полученные описания [выражения (6.24 - 6.27)], для главных
событий, формализующих алгоритм управления взаимодействием процессов
в задаче «читатели-писатели», общая сводная система канонических
уравнений НД СКУ, представляющая рассматриваемый алгоритм управления
процессами, будет иметь вид:
                                                  1       1          1
                  S 1 (t  1)  S1,З ( S k  S n )  S1 S k ,
                                                  2                      2
                  S 2 (t  1)  S 2,З ( S k  S n2 )  S 2 S k ,
                      1                       2                      1       2        1   1
                  S k (t  1)  S 1 S k ( S 2  S чо  S pk S pk )  S k S n,
                                              1                                               2
                  S k2 (t  1)  S 2 S k [ S 1  S чо ( S 1pk  S 2pk )]  S 2k S n ,
                                        1             2
                  S m (t  1)  S k S1  S k S 2 ,                                                                     (6.28)
                  S 1p (t  1)  S m S 1k ,
                      2                       2
                  S p (t  1)  S m S k ,
                      1                1                  1                  1
                  S n (t  1)  S p ,                 S pk (t  1)  S n ,
                  S 2n (t  1)  S 2p ,               S 2pk (t  1)  S 2n ,

                                                                                                                           183

Страницы