Pr-1st-1.1-m09-Slajd47

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm detekcji zakończenia dla systemów asynchronicznych (2)

Algorytm detekcji zakończenia dla systemów asynchronicznych (2)


Wiadomość oznacza wiadomość aplikacyjną wysyłaną przez proces, która jest opakowywane w postaci . Wiadomość tokenOut jest znacznikiem typu TOKEN. Zmienna określa obecność znacznika w procesie . Zmienna służy do określenia koloru monitora (procesu). Zmienna 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 zawiera następnika procesu 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 >>