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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

155
события
j
S
.
Задержка появления (или зарождения) события
j
S
Если появление события
j
S
необходимо задержать до появления или
исчезновения некоторого события
n
S
, то описание события
j
S
можно
представить в следующем виде:
c,З,
)1(
jjnjj
SSSStS
или
c,З,
)1(
jjnjj
SSSStS
(6.2)
где
c,j
S
- сокращенное обозначение описания условий
сохранение события
j
S
.
Описание событий в соответствии с формулами (6.1) и (6.2) является
основой для формализации функции «ожидание», являющейся одной из
базовых функций управления взаимодействующими процессами.
Формализация несовместимости двух событий
i
S
и
j
S
при условии их неодновременного зарождения
Если события
i
S
и
j
S
, принадлежащие двум параллельным ветвям
алгоритма управления, несовместимы друг с другом и если не допускается их
одновременного зарождения, то описание таких событий будет иметь вид:
c,З,
)1(
iijii
SSSStS
, (6.3)
c,З,
)1(
jjijj
SSSStS
Из уравнений (6.3) следует, что одновременное появление событий
З,i
S
и
З,j
S
, определяющих зарождение событий
i
S
и
j
S
соответственно,
приведет к тупиковому результату.
Формализация несовместимости двух
событий
i
S
и
j
S
, когда события, определяющие
их зарождение, могут появляться одновременно
Если для двух несовместимых событий
i
S
и
j
S
, принадлежащих двум
параллельным ветвям алгоритма управления, условия их зарождения могут
появиться в один и тот же момент времени, то описанию таких событий
будут соответствовать уравнения (6.3), но с учетом относительного
приоритета одного события над другим. Тогда описание таких событий,
предотвращающее конфликтную ситуацию, при условии более высокого
приоритета, например, события
i
S
над событием
j
S
, будет иметь вид: 
                                                    события S j .

                 Задержка появления (или зарождения) события S j

      Если появление события S j необходимо задержать до появления или
   исчезновения некоторого события S n , то описание события S j можно
                     представить в следующем виде:
                                                                            
       S j (t  1)  S j ,З  S n  S j  S j ,c или S j (t  1)  S j ,З S n  S j S j ,c   (6.2)
             где S j ,c - сокращенное обозначение описания условий
                                  сохранение события S j .
      Описание событий в соответствии с формулами (6.1) и (6.2) является
  основой для формализации функции «ожидание», являющейся одной из
     базовых функций управления взаимодействующими процессами.

     Формализация несовместимости двух событий
     S i и S j при условии их неодновременного зарождения

        Если события S i и S j , принадлежащие двум параллельным ветвям
алгоритма управления, несовместимы друг с другом и если не допускается их
  одновременного зарождения, то описание таких событий будет иметь вид:

                                S i (t  1)  S i ,З S j  S i S i ,c ,                      (6.3)

                           S j (t  1)  S j ,З S i  S j S j ,c
     Из уравнений (6.3) следует, что одновременное появление событий S i ,З
    и S j ,З , определяющих зарождение событий S i и S j соответственно,
                       приведет к тупиковому результату.

     Формализация несовместимости двух
     событий S i и S j , когда события, определяющие
     их зарождение, могут появляться одновременно

      Если для двух несовместимых событий S i и S j , принадлежащих двум
 параллельным ветвям алгоритма управления, условия их зарождения могут
  появиться в один и тот же момент времени, то описанию таких событий
     будут соответствовать уравнения (6.3), но с учетом относительного
  приоритета одного события над другим. Тогда описание таких событий,
  предотвращающее конфликтную ситуацию, при условии более высокого
   приоритета, например, события S i над событием S j , будет иметь вид:


                                                                                                 155

Страницы