Pr-1st-1.1-m05-Slajd31

Detekcja zakleszczenia dla modelu OR (2)

Twierdzenie:

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

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