Pr-1st-1.1-m10-Slajd56

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 $vSentNo$, będące wektorem liczników wiadomości wysłanych do adresata wiadomości typu QUERY, zgodnie z wiedzą inicjatora $Q_{\alpha }$. W polu $contPassive$ zapisywany jest iloczyn logiczny wartości zmiennej $contPassiv{e}_i$ oraz $\mathrm{\neg }activat{e}_i({{𝒜}{𝒱}}_i\cup {{𝒜}{ℐ}{𝒯}}_i)$, 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 $vSentNo$ 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 >>