Pr-1st-1.1-m09-Slajd50

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

Po otrzymaniu znacznika, monitor $Q_i$ przesyła go dalej w momencie, gdy obserwowany przez niego proces staje się pasywny. Jeżeli kolor procesu równa się Black, pole nb znacznika jest zerowane. W przeciwnym razie jest ono inkrementowane. Kolor procesu następnie ustawiany jest na White oraz monitor przesyła znacznik do swojego następnika w cyklu. Oznacza to, że każdy proces musi pozostać pasywny pomiędzy wszystkimi odwiedzinami znacznika, a znacznik musi co najmniej dwa razy przejść cykl.

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