Pr-1st-1.1-m10-Slajd05
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Detekcja zakończenia: liczniki wiadomości (2)
Dla modelu atomowego, równość 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 i nie jest w systemie rozproszonym proste.