Pr-1st-1.1-m09-Slajd38

Detekcja zakończenia dla dyfuzyjnego modelu przetwarzania algorytm (2)

Wiadomość $msgIn$ oznacza wiadomość aplikacyjną wysyłaną przez proces $P_i$, która jest opakowywane w postaci $pcktOut$. Zmienna engageri zawiera identyfikator monitora, którego proces uaktywnił $P_i$. Z kolei zbiór $notEngage{r}_i$ oznacza zbiór monitorów różnych od monitora angażującego, od których odebrano pakiet. Zmienne $recvN{o}_i$ oraz $sentN{o}_i$ oznaczają, odpowiednio, liczbę wiadomości odebranych bądź wysłanych przez $P_i$ a nie potwierdzonych jeszcze przez $Q_i$ wiadomością typu SIGNAL. Zmienna $terminationDetecte{d}_i$ zostaje ustawiona na True jeżeli wykryte zostało zakończenie.

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