Pr-1st-1.1-m05-Slajd31

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Detekcja zakleszczenia dla modelu OR (2)

Detekcja zakleszczenia dla modelu OR (2)

Twierdzenie:

Jeżeli inicjator rozpoczyna detekcję w chwili, gdy jego proces aplikacyjny jest zakleszczony, to stwierdzi zakleszczenie procesu w skończonym czasie (algorytm detekcji zakończy się).


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