Pr-1st-1.1-m05-Slajd31: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
WizualnieWikikod
Szopen (dyskusja | edycje)
1922 edycje
Nie podano opisu zmian
 
Szopen (dyskusja | edycje)
1922 edycje
Nie podano opisu zmian
 
Linia 1: Linia 1:
==Detekcja zakleszczenia dla modelu OR (2)==
==Detekcja zakleszczenia dla modelu OR (2)==


[[Image:pr-1st-1.1-m05-Slajd31.png|Detekcja zakleszczenia dla modelu OR (2)]]
[[Image:Pr-1st-1.1-m05-Slajd31.png|Detekcja zakleszczenia dla modelu OR (2)]]


===Twierdzenie:===  
===Twierdzenie:===  
Linia 7: Linia 7:




[[pr-1st-1.1-m05-Slajd30 | << Poprzedni slajd]] | [[pr-1st-1.1-m05-toc|Spis treści ]] | [[pr-1st-1.1-m05-Slajd32 | Następny slajd >>]]
[[Pr-1st-1.1-m05-Slajd30 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd32 | Następny slajd >>]]

Aktualna wersja na dzień 15:54, 7 wrz 2006

Detekcja zakleszczenia dla modelu OR (2)

Detekcja zakleszczenia dla modelu OR (2)

Twierdzenie:

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


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

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Pr-1st-1.1-m05-Slajd31&oldid=44692”