Pr-1st-1.1-m06-Slajd29

Algorytm detekcji zakleszczenia dla modelu predykatowego (4)

W algorytmie tym proces detekcji zakleszczenia inicjuje monitor $Q_{\alpha }$ wysyłając znacznik typu TOKEN do kolejnego monitora w pierścieniu. Znacznik zawiera zbiór procesów ${\mathcal {PD}}$, które zgodnie z bieżącą wiedzą, są potencjalnie zakleszczone. Początkowo ${\mathcal {PD}}={\mathcal {P}}$, gdzie ${\mathcal {P}}$ oznacza zbiór wszystkich procesów.

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