Pr-1st-1.1-m06-Slajd25

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Detekcja zakleszczenia dla modelu predykatowego (2)

Detekcja zakleszczenia dla modelu predykatowego (2)

W celu uproszczenia prezentacji algorytmu detekcji zakleszczenia dla modelu predykatowego przyjmiemy, że monitory procesów aplikacyjnych tworzą strukturę pierścienia.

Niech ponadto:

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