Pr-1st-1.1-m10-Slajd60

Algorytm detekcji zakończenia dynamicznego (5)

Po otrzymaniu zapytania typu QUERY, monitor $Q_i$ może wyznaczyć zbiór ${{𝒜}{ℐ}{𝒯}}_i$ będący aproksymacją zbioru tych procesów, których wiadomości wysłane do $P_i$ są potencjalnie jeszcze w kanałach (porównywany jest wektor $queryIn.vSentNo$ odebrany przez $Q_i$ z $vRecvN{o}_i$ - jeżeli $queryIn.vSentNo[j]>vRecvN{o}_i$[$j$], to w kanale $C_{j,i}$ znajdą się wiadomości wysłane przez $P_j$ do $P_i$ , a nie odebrane jeszcze przez $P_i$)

Każdy z monitorów wyznacza wartość zmiennej $replyOut.contPassive$. Wartość $replyOut.contPassive=True$ wtedy i tylko wtedy, gdy $contPassiv{e}_i=True$, a predykat $activat{e}_i({{𝒜}{𝒱}}_i\cup {{𝒜}{ℐ}{𝒯}}_i)=False$.

Po wyznaczeniu wartości $replyOut.contPassive$ monitor wysyła odpowiedź typu REPLY zawierającą pole contPassive oraz aktualny wektor $vSentN{o}_i$, który będzie użyty przez $Q_{\alpha }$ do uaktualnienia tablicy $tSentN{o}_{\alpha }$.

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