Pr-1st-1.1-m10-Slajd05

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Detekcja zakończenia: liczniki wiadomości (2)

Detekcja zakończenia: liczniki wiadomości (2)


Dla modelu atomowego, równość SC(τ)=RC(τ) oznacza, że każda wiadomość wysłana została odebrana. Tym samym wszystkie kanały są w chwili τ puste, a więc osiągnięty został stan zakończenia. Problem polega na tym, że wyznaczenie SC(τ) i RC(τ) nie jest w systemie rozproszonym proste.


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