Pr-1st-1.1-m10-Slajd68

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dowód warunku C5 (1)

Dowód warunku C5 (1)


Dowód warunku C5

Z konstrukcji algorytmu wynika, że algorytm ten zakończy się w chwili pod warunkiem, że predykat miał wartość False w chwili dla każdego .Ponieważ każdy proces był pasywny w przedziale , dla każdego zachodzi:

C6.

oraz


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