Pr-1st-1.1-m05-Slajd32: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
==Detekcja zakleszczenia dla modelu OR (3)== | ==Detekcja zakleszczenia dla modelu OR (3)== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd32.png|Detekcja zakleszczenia dla modelu OR (3)]] | ||
===Twierdzenie:=== | ===Twierdzenie:=== | ||
Jeżeli inicjator<math>Q_{\alpha}</math> deklaruje, że jego proces aplikacyjny <math>P_{\alpha}</math> jest zakleszczony, to <math>P_{\alpha}</math> należy do pewnego zbioru procesów zakleszczonych w chwili zakończenia algorytmu. | Jeżeli inicjator <math>Q_{\alpha}</math> deklaruje, że jego proces aplikacyjny <math>P_{\alpha}</math> jest zakleszczony, to <math>P_{\alpha}</math> należy do pewnego zbioru procesów zakleszczonych w chwili zakończenia algorytmu. | ||
[[ | [[Pr-1st-1.1-m05-Slajd31 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd33 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:54, 7 wrz 2006
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.
