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 >>