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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

193
))))(((()0()1(
))))(((()0()1(
))))(((()0()1(
))))(((()0()1(
))))(((()0()1(
5
1
З
1
2
З
2
3
З
3
4
З
45
З
5
nр
5
nр
4
5
З
5
1
З
1
2
З
2
3
З
34
З
4
nр
4
nр
3
4
З
4
5
З
5
1
З
1
2
З
23
З
3
nр
3
nр
2
3
З
3
4
З
4
5
З
5
1
З
12
З
2
nр
2
nр
1
2
З
2
3
З
3
4
З
4
5
З
51
З
1
nр
1
nр
S
S
S
S
S
S
S
S
SSS
t
S
S
S
S
S
S
S
S
S
SSS
t
S
S
S
S
S
S
S
S
S
SSS
t
S
S
S
S
S
S
S
S
S
SSS
t
S
S
S
S
S
S
S
S
S
SSS
t
S
ркркркркрк
ркркркркрк
ркркркркрк
ркркркркрк
ркркркркрк
(6.32)
Учитывая принятую систему обслуживания по одному или по два
процесса в зависимости от комбинации заявок выражение для
)0(
nр
S
i
будет
включать две составляющие:
)0()0()0(
2,nр1,nрnр
SSS
iii
, (6.33)
где
)0(
1,nр
S
i
- начальный приоритет обслуживания i-го процесса при условии,
что S
y
=1. Тогда система уравнений для
)0(
1,nр
S
i
будет иметь вид:
,)0(
,)0(
,)0(
,)0(
,)0(
4
З
3
З
2
З
1
З
5
З0
5
1,nр
3
З
2
З
1
З
4
З0
4
1,nр
2
З
1
З
3
З0
3
1,nр
1
З
2
З0
2
1,nр
1
З0
1
1,nр
S
SSSS
SxSS
S
SSS
SxSS
S
SS
SxSS
S
S
SxSS
SSxSS
yn
yn
yn
yn
yn
(6.34)
где S
0
- начальное событие системы управления процессами;
x
n
– сигнал инициализации системы управления.
Так как i-й философ в цикле обслуживания может обслужиться
дважды, то выражение для начального приоритета соответствующего i-го
процесса при обслуживании по паре философов будет состоять из двух
событий:
)0()0(
,
2,nр
,
2,nр
2,nр
SSS
mikii
, (6.35)
где для любого i-го процесса значение к и m определится исходя из
следующей таблицы:
i к m
1 3 4
2 4 5
3 1 5
4 1 2
5 2 3 
     1               1           1         5       5       4           4           3           3   2    2 1
    S nр (t  1)  S nр (0)  S З ( S рк  S З ( S рк  S З ( S рк  S З ( S рк  S З S рк ))))
     2               2           2     1           1       5           5           4           4   3    3   2
    S nр (t  1)  S nр (0)  S З ( S рк  S З ( S рк  S З ( S рк  S З ( S рк  S З S рк ))))
      3              3          3     2      2    1       1    5       5     4      4 3
    S nр (t  1)  S nр (0)  S З ( S рк  S З ( S рк  S З ( S рк  S З ( S рк  S З S рк )))) (6.32)
     4               4           4         3       3       2           2           1           1   5    5   4
    S nр (t  1)  S nр (0)  S З ( S рк  S З ( S рк  S З ( S рк  S З (S рк  S З S рк ))))
     5               5           5         4       4       3           3           2           2   1    1   5
    S nр (t  1)  S nр (0)  S З ( S рк  S З ( S рк  S З ( S рк  S З (S рк  S З S рк ))))
     Учитывая принятую систему обслуживания по одному или по два
процесса в зависимости от комбинации заявок выражение для S inр (0) будет
включать две составляющие:
                                       i               i                       i
                                     S nр (0)  S nр,1 (0)  S nр, 2 (0) ,                                       (6.33)
где S inр,1 (0) - начальный приоритет обслуживания i-го процесса при условии,
                 что Sy=1. Тогда система уравнений для S inр,1 (0) будет иметь вид:
                                      1                            1
                                     S nр,1 (0)  S 0 xn S З S y ,
                                       2                           2       1
                                     S nр,1 (0)  S 0 xn S З S З S y ,
                                       3                           3       1           2
                                     S nр,1 (0)  S 0 xn S З S З S З S y ,                                       (6.34)
                                       4                           4       1           2   3
                                     S nр,1 (0)  S 0 xn S З S З S З S З S y ,
                           5                   5 1 2 3 4
                         S nр,1 (0)  S 0 xn S З S З S З S З S З S y ,
где S0 - начальное событие системы управления процессами;
    xn – сигнал инициализации системы управления.
       Так как i-й философ в цикле обслуживания может обслужиться
дважды, то выражение для начального приоритета соответствующего i-го
процесса при обслуживании по паре философов будет состоять из двух
событий:
                                               i       i ,k                    i,m
                                       S nр, 2  S nр ,2 (0)  S nр, 2 (0) ,                                     (6.35)
где для любого i-го процесса значение                                      к и m                   определится исходя из
следующей таблицы:

                                           i                   к                           m
                                           1                   3                           4
                                           2                   4                           5
                                           3                   1                           5
                                           4                   1                           2
                                           5                   2                           3


                                                                                                                     193

Страницы