Pr-1st-1.1-m10-Slajd60

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm detekcji zakończenia dynamicznego (5)

Algorytm detekcji zakończenia dynamicznego (5)

Po otrzymaniu zapytania typu QUERY, monitor może wyznaczyć zbiór będący aproksymacją zbioru tych procesów, których wiadomości wysłane do są potencjalnie jeszcze w kanałach (porównywany jest wektor odebrany przez z - jeżeli [], to w kanale znajdą się wiadomości wysłane przez do , a nie odebrane jeszcze przez )

Każdy z monitorów wyznacza wartość zmiennej . Wartość wtedy i tylko wtedy, gdy , a predykat .

Po wyznaczeniu wartości monitor wysyła odpowiedź typu REPLY zawierającą pole contPassive oraz aktualny wektor , który będzie użyty przez do uaktualnienia tablicy .


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