Pr-1st-1.1-m10-Slajd49

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dowód warunku C1

Dowód warunku C1


Dowód warunku C1

Z konstrukcji algorytmu wynika, że zakończy się on w chwili z , tylko wówczas, gdy każdy proces był pasywny w czasie między a . Skoro jednak , więc możemy zatem wnosić, że dla każdego , .


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