Pr-1st-1.1-m05-Slajd22

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Detekcja wystąpienia zakleszczenia procesu

Detekcja wystąpienia zakleszczenia procesu


Problem detekcji wystąpienia zakleszczenia, sprowadza się do znalezienia odpowiedzi na pytanie: Czy istnieje w pewnej chwili zbiór , dla którego predykat jest prawdziwy? Odpowiedź na to pytanie określa wartość predykatu:

Detekcja zakleszczenia procesu sprowadza się do sprawdzenia czy prawdziwy jest predykat:

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