Pr-1st-1.1-m05-Slajd21

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Detekcja wystąpienia zakleszczenia

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:

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