Pr-1st-1.1-m05-Slajd29

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm Chandy, Misra, Hass dla modelu AND (4)

Algorytm Chandy, Misra, Hass dla modelu AND (4)

Monitor akceptuje wiadomość typu PROBE odebraną od i przesyła ją dalej do w wypadku, gdy spełnione są jednocześnie następujące warunki:

1. jest pasywny,
2. wysłał żądanie REQUEST i oczekuje na potwierdzenie GRANT od ,
3. nie wysłał potwierdzenia GRANT na ostatnie żądanie REQUEST od ,
4. otrzymana wiadomość PROBE jest pierwszą wiadomością tego typu od danego inicjatora , od momentu, gdy zmienił swój stan na pasywny.

Jeżeli zaakceptuje wiadomość PROBE przez siebie zainicjowaną, to proces jest zakleszczony.

Autorzy tego algorytmu wykazali, że po zainicjowaniu detekcji przez monitor procesu zakleszczonego, monitor ten stwierdzi w skończonym czasie, że należy do cyklu w WFG.


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