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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

163
S
m
S
m
S
m
S
nk
S
nk
S
nk
)(
21
SS
pp
S
p
1
S
p
2
S
r
1
S
r
1
S
r
1
S
r
1
S
r
1
S
r
1
S
r
1
S
r
1
S
r
1
S
r
1
S
прод,1
S
n,1
S
2
S
2
S
2
S
2
S
2
S
2
S
2
S
2
S
2
S
k
2
S
k
2
S
k
2
S
k
2
S
k
2
S
r
2
S
r
2
S
r
2
S
r
2
S
r
2
S
r
2
S
r
2
S
r
2
S
r
2
S
r
2
S
прод,2
S
n,2
Рис.6.2. Временные диаграммы работы алгоритма
управления двумя параллельными процессами при
обращении к разделяемым данным
На рис.6.2 представлены временные диаграммы для всех событий,
реализуемых в алгоритме управления двумя параллельными процессами при
обращении к разделяемым данным. Временные диаграммы построены по
уравнениям (6.8а, 6.8б, 6.8в), представляющих систему НД СКУ для
наиболее худшего варианта межпроцессного взаимодействия, когда заявки на
обслуживание восприняты от обоих процессов одновременно. Причем после
восприятия заявок они опять поступили на обслуживание.
Такие временные диаграммы для разных комбинаций заявок на
обслуживание позволят осуществить проверку правильности работы
алгоритма управления, представленного системой НД СКУ для различных
комбинаций поступлений заявок на обслуживание. Действительно, т.к. для
формализации алгоритма управления взаимодействующими параллельными
процессами используется модель НДА, то на временных диаграммах можно
наблюдать взаимное временное расположение отдельные событий, их
возможное одновременное существование и моменты их зарождения и
сохранения.
Для построения временных диаграмм работы алгоритма управления
межпроцессного взаимодействия для большего числа процессов можно
использовать систему моделирования СОМПА (78).
6.4.2. Формализация алгоритма управления
взаимодействующими параллельными процессами
при обращении к разделяемым данным (общему
ресурсу) для n-процессов
Рассматриваемая в данном разделе методика формализации алгоритма
управления взаимодействующими параллельными процессами для 
   Sm                         Sm                            Sm
   S nk                            S nk                          S nk
  1        2                               1                             2
 S p (S p)                                Sp                            Sp
       1                 1     1     1     1                 1     1     1      1      1
      Sr                Sr    Sr   Sr     Sr                Sr   Sr     Sr    Sr      Sr
 S 1,прод                                      S 1,n
      S2         S2     S2    S2   S2     S2   S2      S2                             S2
       2                                                2    2     2     2
      Sk                                               Sk   Sk   Sk     Sk
       2                  2    2     2     2     2      2    2     2     2
      Sr                Sr    Sr   Sr     Sr   Sr      Sr   Sr   Sr     Sr
 S 2,прод                                                                    S 2 ,n

                      Рис.6.2. Временные диаграммы работы алгоритма
                      управления двумя параллельными процессами при
                              обращении к разделяемым данным
         На рис.6.2 представлены временные диаграммы для всех событий,
реализуемых в алгоритме управления двумя параллельными процессами при
   обращении к разделяемым данным. Временные диаграммы построены по
     уравнениям (6.8а, 6.8б, 6.8в), представляющих систему НД СКУ для
наиболее худшего варианта межпроцессного взаимодействия, когда заявки на
обслуживание восприняты от обоих процессов одновременно. Причем после
          восприятия заявок они опять поступили на обслуживание.
          Такие временные диаграммы для разных комбинаций заявок на
     обслуживание позволят осуществить проверку правильности работы
  алгоритма управления, представленного системой НД СКУ для различных
 комбинаций поступлений заявок на обслуживание. Действительно, т.к. для
 формализации алгоритма управления взаимодействующими параллельными
 процессами используется модель НДА, то на временных диаграммах можно
    наблюдать взаимное временное расположение отдельные событий, их
    возможное одновременное существование и моменты их зарождения и
                                  сохранения.
        Для построения временных диаграмм работы алгоритма управления
    межпроцессного взаимодействия для большего числа процессов можно
             использовать систему моделирования СОМПА (78).
                  6.4.2. Формализация алгоритма управления
               взаимодействующими параллельными процессами
                при обращении к разделяемым данным (общему
                            ресурсу) для n-процессов
            Рассматриваемая в данном разделе методика формализации алгоритма
           управления взаимодействующими параллельными процессами для


                                                                                       163

Страницы