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 ${ℬ}=\{P_2,P_3,P_3\}$

Przyjmijmy teraz dla urozmaicenia, że w przetwarzaniu z następnego grafu kanały wejściowe procesów $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ść $M$ wysłana z $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 ${ℬ}=\{P_2,P_3,P_3\}$.

Zauważmy też jeszcze, że gdyby proces $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 >>