Pr-1st-1.1-m09-Slajd31

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

Monitory $Q_i\ne Q_{\alpha }$ przesyła dalej token o kolorze takim samym jak kolor obserwowanego procesu aplikacyjnego, zmienia następnie kolor procesu na White oraz zmienia wartość $tokenPresen{t}_i$ na wartość False.

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