Pr-1st-1.1-m05-Slajd32

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Detekcja zakleszczenia dla modelu OR (3)

Detekcja zakleszczenia dla modelu OR (3)

Twierdzenie:

Jeżeli inicjator deklaruje, że jego proces aplikacyjny jest zakleszczony, to należy do pewnego zbioru procesów zakleszczonych w chwili zakończenia algorytmu.


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