Pr-1st-1.1-m09-Slajd28

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

Monitor inicjujący detekcję zakończenia $Q_{\alpha }=Q_{1}$ wysyła znacznik koloru White (wywołując procedurę INITPROC) do swego następnika w pierścieniu $Q_{n}$ jeżeli obserwowany przez niego proces aplikacyjny jest pasywny.

Monitor $Q_{i}$ zmienia kolor na Black, jeżeli obserwowany przez niego proces wysyła wiadomość aplikacyjną do procesu o wyższym indeksie.

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