Pr-1st-1.1-m05-Slajd38

Alg. 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 Parser nie mógł rozpoznać (błąd składni): {\displaystyle QRBalance_i</math. 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. [[pr-1st-1.1-m05-Slajd37 | << Poprzedni slajd]] | [[pr-1st-1.1-m05-toc|Spis treści ]] | [[pr-1st-1.1-m05-Slajd39 | Następny slajd >>]]}