Pr-1st-1.1-m05-Slajd18

Przykład – model OR

Kolejny z grafów przedstawia zakleszczenie w modelu OR. Zbiory warunkujące to:

${{𝒟}}_1=\{P_4,P_5\}$,
${{𝒟}}_2=\{P_4\}$,
${{𝒟}}_3=\{P_2\}$,
${{𝒟}}_4=\{P_2,P_3\}$. 

Predykat predykat $deadlock({ℬ})$ zachodzi tu dla Parser nie mógł rozpoznać (nieznana funkcja „\math”): {\displaystyle \mathcal{B} = \{ P_2, P_3, P_3 \} <\math> Przyjmijmy teraz dla urozmaicenia, że w przetwarzaniu z następnego grafu kanały wejściowe procesów <math>P_1} , $P_3$, $P_4$ i $P_5$ są puste. W kanale $C_{3,2}$ jest natomiast dostępna wiadomość, ale proces $P_2$ nie oczekuje wiadomości od procesu $P_3$. Przyjmijmy ponadto, że wiadomość Parser nie mógł rozpoznać (błąd składni): {\displaystyle M<math> wysłana z <math>P_1} do $P_2$ jest właśnie transmitowana ($in\text{-}transi{t}_2[1]=True$) lecz nie jest jeszcze dostępna. Ponieważ jednak $P_1\in ̸{{𝒟}}_2$, nadejście wiadomości $M$, nie uaktywni procesu $P_2$. W rozważanym stanie, jedynie proces $P_1$ może być ewentualnie uaktywniony przez $P_5$. W konsekwencji, jeżeli modelem żądań jest model OR, to $deadlock({ℬ})=True$ dla Parser nie mógł rozpoznać (nieznana funkcja „\math”): {\displaystyle \mathcal{B} = \{ P_2, P_3, P_3 \}<\math>. Zauważmy też jeszcze, że gdyby proces <math>P_1} żądał jednocześnie wiadomości zarówno od $P_5$ jak i $P_4$ (jak to ma miejsce w modelu AND), to zbiór procesów zakleszczonych obejmowałby: $P_1$, $P_2$, $P_3$ i $P_4$.

<< Poprzedni slajd | Spis treści | Następny slajd >>