Pr-1st-1.1-m10-Slajd50

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dowód warunku C2

Dowód warunku C2


Dowód warunku C2

Zgodnie z konstrukcją algorytmu, w każdym cyklu detekcyjnym odpowiedź REPLY jest wstrzymywana aż do momentu nadejścia potwierdzeń od monitorów procesów przeznaczenia, dla wszystkich wysłanych wcześniej wiadomości aplikacyjnych.

Wówczas , przyjmie wartość 0. Z drugiej strony można jednak zauważyć, że od chwili do proces jest ciągle pasywny, a więc nie wysyła wiadomości. Stąd więc wnosimy, że dla każdego procesu ,


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