Pr-1st-1.1-m10-Slajd39

Algorytm detekcji zakończenia statycznego (2)

W przedstawionym algorytmie $msgIn$ oraz $pcktOut$ posiadają swoje zwykłe znaczenie. Komunikat $queryOut$ jest komunikatem typu QUERY, komunikaty $replyIn$ oraz $replyOut$ są typu REPLY, a $ackOut$ typu ACK. Aby uniknąć pominięcia wiadomości aplikacyjnej, która została wysłana przed otrzymaniem zapytania QUERY przez pewien monitor $Q_i$, a odebrana po otrzymaniu zapytania przez inny monitor $Q_k$ - wprowadzona jest zmienna logiczna $contPassiv{e}_i$, która jest inicjowana wartością True. Za każdym razem, gdy $P_i$ jest uaktywniany, $contPassiv{e}_i$ przyjmuje wartość False . Z kolei wysyłając wiadomość kontrolną REPLY monitory nadają zmiennej $contPassiv{e}_i$ ponownie wartość True. Wartość True zmiennej $contPassiv{e}_i$ w danej chwili oznacza, że proces $P_i$ był pasywny przez cały czas od chwili wysłania ostatniej wiadomości REPLY.

Jeżeli zmienna $sTermDetecte{d}_i$ przyjmuje wartość True, to monitor $Q_{\alpha }$ stwierdza decyduje o wykryciu zakończenia statycznego, przypisując wartość True zmiennej $terminationDetecte{d}_i$. Zmienna $notAc{k}_i$ jest licznikiem niepotwierdzonych wiadomości. Zbiór ${{𝒜}{𝒱}}_i$ zawiera identyfikatory procesów, od których wiadomości aplikacyjne są już dostępne dla $P_i$.

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