Pr-1st-1.1-m10-Slajd05

Z Studia Informatyczne
Wersja z dnia 10:45, 5 wrz 2023 autorstwa Luki (dyskusja | edycje) (Zastępowanie tekstu – „ </math>” na „</math>”)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
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 >>