Pr-1st-1.1-m10-Slajd56

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm detekcji zakończenia dynamicznego (1)

Algorytm detekcji zakończenia dynamicznego (1)


Algorytm wykorzystuje trzy typy komunikatów, z których PACKET służy do przenoszenia wiadomości aplikacyjnych.

Typ QUERY zawiera pole , będące wektorem liczników wiadomości wysłanych do adresata wiadomości typu QUERY, zgodnie z wiedzą inicjatora . W polu zapisywany jest iloczyn logiczny wartości zmiennej oraz , określającego, czy proces może zostać uaktywniony przez sumę logiczną wiadomości już dostępnych oraz tych, które prawdopodobnie znajdują się jeszcze w kanałach komunikacyjnych. Pole zawiera wektor liczników wiadomości aplikacyjnych wysłanych przez proces obserwowany przez monitor- nadawcę wiadomości REPLY, w chwili jest wysłania.


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