Pr-1st-1.1-m05-Slajd38

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 $maxQueryN{o}_i$. Jeśli okaże się że wartości te są sobie równe, a ponadto proces aplikacyjny $P_i$ jest procesem pasywnym od czasu ostatniej aktualizacji porównywanego elementu tablicy $maxQueryN{o}_i$ to zmniejszana o 1 na odpowiedniej pozycji. jest wartość zmiennej $QRBalanc{e}_i$. 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 >>