Pr-1st-1.1-m05-Slajd39

Alg. Chandy, Misra, Hass dla modelu OR (7)

Jeśli natomiast wartość zmiennej $QRBalanc{e}_i$ po aktualizacji jest równa 0, czyli proces otrzymał już wszystkie odpowiedzi na zapytania związane z ostatnim procesem detekcji zainicjowanym przez proces o indeksie ${\alpha }_i$, ale proces odbierający wiadomość nie jest inicjatorem detekcji to wysyłana jest wiadomość typu REPLY do procesu, od którego proces ten otrzymał wiadomość typu QUERY, w wyniku której nastąpiła aktualizacja tablicy $maxQueryN{o}_i$ na odpowiedniej pozycji.

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