Pr-1st-1.1-m05-Slajd18

Przykład – model OR

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

${\mathcal {D}}_{1}=\{P_{4},P_{5}\}$,
${\mathcal {D}}_{2}=\{P_{4}\}$,
${\mathcal {D}}_{3}=\{P_{2}\}$,
${\mathcal {D}}_{4}=\{P_{2},P_{3}\}$. 

Predykat predykat $deadlock({\mathcal {B}})$ zachodzi tu dla ${\mathcal {B}}=\{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{\mbox{-}}transit_{2}[1]=True$) lecz nie jest jeszcze dostępna. Ponieważ jednak $P_{1}\not \in {\mathcal {D}}_{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({\mathcal {B}})=True$ dla ${\mathcal {B}}=\{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}$, Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle P_2} , Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle P_3} i Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle P_4} .

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