Pr-1st-1.1-m10-Slajd57

Algorytm detekcji zakończenia dynamicznego (2)

Swoje znaczenie identyczne do poprzednio omawianego algorytmu zachowują ${{𝒜}{𝒱}}_i$, $terminationDetecte{d}_i$, $msgIn$, $pcktOut$, $queryOut$ oraz $replyOut$ i $replyIn$.

Zmienna $vSentN{o}_i$ jest tablicą $[1..n]$ liczników, w której element $vSentN{o}_i$[$j$] oznacza liczbę wiadomości wysłanych przez $P_i$ do $P_j$;

Analogicznie, zmienna $vRecvN{o}_i$ jest tablicą $[1..n]$ liczników, w której element $vRecvN{o}_i$[$j$] oznacza liczbę wiadomości odebranych przez $P_i$ od procesu $P_j$.

Ponadto, inicjator $Q_{\alpha }$ przechowuje zmienną $tSentN{o}_{\alpha }$ będącą tablicą $[1..n,1..n]$. Wiersz i tej tablicy zawiera wektor $vSentN{o}_i$ przesłany ostatnio do inicjatora $Q_{\alpha }$ przez monitor $Q_i$, w wiadomości kontrolnej typu REPLY. W efekcie, każdy element tablicy $tSentN{o}_{\alpha }$ reprezentuje wiedzę inicjatora, o liczbie wiadomości aplikacyjnych wysłanych z $P_i$ do $P_j$. Zauważmy, że wiedza ta nie jest precyzyjna, gdyż nadesłane wektory $vSentN{o}_i$, $i\in \{1,2,...,n\}$, odnoszą się w ogólności do różnych momentów czasu. ${{𝒜}{ℐ}{𝒯}}_i$ jest aproksymacją zbioru identyfikatorów procesów, które wysłały wiadomości niedostępne jeszcze dla $P_i$. Zmienna logiczna $contPassiv{e}_i$ posiada wartość True, gdy proces $P_i$ pozostawał pasywny od momentu wysłania ostatniej wiadomości typu REPLY. Jeżeli wartość zmiennej logicznej $dTermDetecte{d}_i$ będzie równy True, inicjator podejmie decyzję o wykryciu zakończenia dynamicznego.

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