Pr-1st-1.1-m06-Slajd29

Z Studia Informatyczne
Wersja z dnia 15:56, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm detekcji zakleszczenia dla modelu predykatowego (4)

Alg. detekcja zakleszczenia dla modelu predykatowego (4)

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

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