Простой асинхронный процесс. Протокол простого АП

Простой АП – это эффективный АП, удовлетворяющий условию:

если s_i F s_j, то s_j ∉ I и s_i ∉ R,

то есть: каждая максимальная траектория простого АП начинается единственным инициатором и заканчивается единственным результантом.

АП на, у которого I={s1, s2} и R={s5}, является простым.

Протоколом простого АП <S, F, I, R> будем называть простой АП вида <I R, FП, I, R>, где s_i F^П s_j, если s_i M s_j.

Протокол простого АП можно рассматривать как простой АП, в котором каждая траектория состоит из одного инициатора и одного результанта (за каждым инициатором непосредственно следует результант), т.е. пучок траекторий, ведущий из i в r заменяется одной дугой, соединяющей i с r.

Протокол АП

Репозиция АП. Автономный асинхронный процесс.

Репозиция – механизм перехода от результантов к инициаторам, необходимый для возобновления АП.

Репозиция АП Р=<S, F, I, R> – это эффективный асинхронный процесс

Р' = <S', F', I', R'>, где S'=I' ∪ R' ∪ S^Д, I' ⊆ R; R' ⊆ I; S^Д ∩ S= ∅.

Таким образом, S^Д – это множество дополнительных ситуаций, отсутствующих в описании исходного АП. Отношение F' задает траектории переходов от ситуаций из I' (т.е. некоторых ситуаций из R) в ситуации из R' (т.е. в некоторые ситуации из I), возможно, через дополнительные ситуации из S^Д.

Если I'=R, R'=I, то репозиция называется полной.

Если I= ∅ или R = ∅, то репозиции не существует.

В остальных случаях репозицию называют частичной.

Объединением АП P и его репозиции Р' будем называть АП

(Р ∪ Р')=<S ∪ S^Д, F'', I\R', R\I'>,

где F'' определяется следующим образом:

если s_i F s_j, то s_i F'' s_j и

если s_i F' s_j, то s_i F'' s_j.

АП и его полная репозиция образуют автономный асинхронный процесс.

Полная репозиция простого АП называется тривиальной.

Пример: АП, I={i₁}, R={r₁, r₂}.

А) Исходный АП

Б) Полная репозиция исходного АП, I'={r₁, r₂}, R'={i₁}

В) Частичная репозиция, I'={r₁}, R'={i₁}

Г) Автономный АП (объединение исходного АП и его полной репозиции)

Поиск по сайту: