Pr-1st-1.1-m10-Slajd41

Algorytm detekcji zakończenia statycznego (4)

Po otrzymaniu zapytania QUERY w odpowiedzi monitory przesyłają wiadomości typu REPLY natychmiast gdy skojarzony z nimi proces aplikacyjny staje się pasywny, licznik niepotwierdzonych wiadomości wynosi zero i żadna z dostępnych w danej chwili wiadomości nie wystarcza do aktywacji $P_i$. Wysyłana wiadomość zawiera bieżącą wartość zmiennej logicznej określającej, czy od czasu wysłania ostatniej odpowiedzi QUERY proces wciąż pozostawał pasywny, w polu $contPassive$.

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