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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

156
c,З,
)1(
iijii
SSSStS
(6.4)
S
SSSStS
j
jiijj
c,
З,З,
)1(
,
где введение в первую часть второго уравнения отрицания события
S
i З,
,
учитывающего условие приоритетности события
i
S
над событием
j
S
,
обеспечивает отсутствие конфликтной ситуации.
Реализация несовместимых событий, принадлежащих
различным параллельным ветвям алгоритма управления
Из системы уравнений (6.4) следует, что из двух событий
i
S
и
j
S
в
любой момент времени может существовать только одно из них, т.е. такие
события могут быть реализованы только последовательно.
Поэтому, если по условиям алгоритма управления требуется, чтобы
после реализации алгоритмического процесса (или его части), например, в
первой ветви по инициативе события
i
S
, имеющего более высокий
приоритет, был бы реализован также и алгоритмический процесс (или его
часть) во второй ветви по инициативе события
j
S
, то необходимо событие
З,j
S
после его зарождения сохранить. Эти условия учитываются в описании
события
З,j
S
следующим образом:
jjjj
SSStS ])0([)1(
З,З,З,
. (6.5а)
Тоже самое выполняется и для описания события
З,i
S
, если событие
i
S
может зародиться после события
j
S
. Тогда имеем:
iiii
SSStS ])0([)1(
З,З,З,
, (6.5б)
где
)0(
З,i
S
,
)0(
З,j
S
- сокращенное обозначение условий первоначального
появления событий
З,i
S
и
З,j
S
соответственно.
Из системы уравнений (6.5а) и (6.5б) следует, что события
З,j
S
и
З,i
S
сохраняются до появления событий
j
S
и
i
S
соответственно.
Описания событий в соответствии с формулами (6.4), (6.5а) и (6.5б)
являются основой для формализации функции «взаимоисключение»
процессов, являющейся второй базовой функцией управления
взаимодействующими процессами.
6.3.Формализация функций взаимоисключения
критических интервалов (участков), обеспечивающих
доступ к общим разделяемым данным
(общему ресурсу) для двух процессов 
                        S i (t  1)  S i ,З S j  S i S i ,c                (6.4)
                       S j (t  1)  S j ,З S i S i,З  S j S j ,c ,
 где введение в первую часть второго уравнения отрицания события S i ,З ,
  учитывающего условие приоритетности события S i над событием S j ,
            обеспечивает отсутствие конфликтной ситуации.
    Реализация несовместимых событий, принадлежащих
    различным параллельным ветвям алгоритма управления

       Из системы уравнений (6.4) следует, что из двух событий S i и S j в
любой момент времени может существовать только одно из них, т.е. такие
        события могут быть реализованы только последовательно.
       Поэтому, если по условиям алгоритма управления требуется, чтобы
после реализации алгоритмического процесса (или его части), например, в
    первой ветви по инициативе события S i , имеющего более высокий
приоритет, был бы реализован также и алгоритмический процесс (или его
часть) во второй ветви по инициативе события S j , то необходимо событие
S j ,З после его зарождения сохранить. Эти условия учитываются в описании
                      события S j ,З следующим образом:

                            S j ,З (t  1)  [ S j ,З (0)  S j ,З ]S j .    (6.5а)
     Тоже самое выполняется и для описания события S i ,З , если событие S i
           может зародиться после события S j . Тогда имеем:

                       S i,З (t  1)  [ S i ,З (0)  S i,З ]S i ,          (6.5б)
 где S i ,З (0) , S j ,З (0) - сокращенное обозначение условий первоначального
                                 появления событий S i ,З и S j ,З соответственно.
      Из системы уравнений (6.5а) и (6.5б) следует, что события S j ,З и S i ,З
       сохраняются до появления событий S j и S i соответственно.
      Описания событий в соответствии с формулами (6.4), (6.5а) и (6.5б)
  являются основой для формализации функции «взаимоисключение»
     процессов, являющейся второй базовой функцией управления
                  взаимодействующими процессами.

   6.3.Формализация функций взаимоисключения
критических интервалов (участков), обеспечивающих
        доступ к общим разделяемым данным
         (общему ресурсу) для двух процессов
                                                                                     156

Страницы