Pr-1st-1.1-m05-Slajd32

Detekcja zakleszczenia dla modelu OR (3)

Twierdzenie:

Jeżeli inicjator $Q_{\alpha }$ deklaruje, że jego proces aplikacyjny $P_{\alpha }$ jest zakleszczony, to $P_{\alpha }$ należy do pewnego zbioru procesów zakleszczonych w chwili zakończenia algorytmu.

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