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 $tokenPresen{t}_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 >>