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 $tokenPresent_{i}$ określa obecność znacznika w procesie $P_{i}$. Zmienna $colour_{i}$ służy do określenia koloru monitora (procesu). Zmienna $terminationDetected_{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 $succ_{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. ${\mathcal {C}}$ oznacza zbiór wszystkich kanałów tworzących cykl obejmujący wszystkie kanały komunikacyjne.

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