Pr-1st-1.1-m09-Slajd26

Algorytm detekcji zakończenia Dijkstra, Feijen, van Gasteren (2)

Wiadomość $msgIn$ oznacza wiadomość aplikacyjną wysyłaną przez proces $P_i$, która jest opakowywane w postaci $pcktOut$. Wiadomość tokenOut jest znacznikiem typu TOKEN. Zmienna $tokenPresen{t}_i$ określa obecność znacznika w procesie $P_i$. Zmienna $procColou{r}_i$ służy do określenia koloru monitora (procesu). Zmienna $terminationDetecte{d}_i$ zostaje ustawiona na True jeżeli wykryte zostało zakończenie. Początkowo monitory mają kolor White .

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