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 $notEngager_{i}$ oznacza zbiór monitorów różnych od monitora angażującego, od których odebrano pakiet. Zmienne $recvNo_{i}$ oraz $sentNo_{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 $terminationDetected_{i}$ zostaje ustawiona na True jeżeli wykryte zostało zakończenie.

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