Pr-1st-1.1-m05-Slajd38

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm Chandy, Misra, Hass dla modelu OR (6)

Algorytm Chandy, Misra, Hass dla modelu OR (6)

Zdarzenie odbioru wiadomości typu REPLY powoduje w przypadku gdy proces jest pasywny porównanie numerów sekwencyjnych zapisanych w odebranej wiadomości i odpowiedniej tablicy . Jeśli okaże się że wartości te są sobie równe, a ponadto proces aplikacyjny jest procesem pasywnym od czasu ostatniej aktualizacji porównywanego elementu tablicy to zmniejszana o 1 na odpowiedniej pozycji. jest wartość zmiennej . Jeśli po zmniejszeniu wartość tej zmiennej wynosi 0 i monitor odbierający komunikat jest inicjatorem detekcji to stwierdza on, że proces aplikacyjny, który monitoruje jest zakleszczony.

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