Pr-1st-1.1-m09-Slajd30

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

Odebranie znacznika (tokena) przez proces $Q_{i}$ wysłanego przez jego następnika w pierścieniu $Q_{succ(i)}$, powoduje ustawienie zmiennej $tokenPresent_{i}$ na wartość True . Znacznik jest zatrzymywany w monitorze $Q_{i}$ do czasu aż obserwowany przez niego proces aplikacyjny $P_{i}$ stanie się pasywny.

Jeżeli $Q_{i}=Q_{\alpha }$ i kolor zarówno obserwowanego procesu jak i znacznika jest White, inicjator kończy algorytm decydując o wykryciu zakończenia. Jeżeli $Q_{i}=Q_{\alpha }$ ale albo kolor procesu, albo kolor znacznika równy jest Black, inicjator rozpoczyna kolejną rundę algorytmu.

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