Pr-1st-1.1-m09-Slajd47

Algorytm detekcji zakończenia dla systemów asynchronicznych (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 $colou{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.

Dwie zmienne związane są z topologią przetwarzania. Zmienna $suc{c}_i$ zawiera następnika procesu $P_i$ w cyklu obejmującym wszystkie kanały komunikacyjne. Związane jest to z wymaganiem, by znacznik typu TOKEN odwiedził wszystkie kanały łączące procesy. ${𝒞}$ oznacza zbiór wszystkich kanałów tworzących cykl obejmujący wszystkie kanały komunikacyjne.

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