Pr-1st-1.1-m05-Slajd18

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Przykład – model OR

Przykład – model OR

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

,
,
,
. 

Predykat predykat zachodzi tu dla

Przyjmijmy teraz dla urozmaicenia, że w przetwarzaniu z następnego grafu kanały wejściowe procesów , , i są puste. W kanale jest natomiast dostępna wiadomość, ale proces nie oczekuje wiadomości od procesu . Przyjmijmy ponadto, że wiadomość wysłana z do jest właśnie transmitowana () lecz nie jest jeszcze dostępna. Ponieważ jednak , nadejście wiadomości , nie uaktywni procesu . W rozważanym stanie, jedynie proces może być ewentualnie uaktywniony przez . W konsekwencji, jeżeli modelem żądań jest model OR, to dla .

Zauważmy też jeszcze, że gdyby proces żądał jednocześnie wiadomości zarówno od jak i (jak to ma miejsce w modelu AND), to zbiór procesów zakleszczonych obejmowałby: , , i .


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