Pr-1st-1.1-m12-Slajd37

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Ilustracja algorytmu jednolitego rozgłaszania niezawodnego z potwierdzeniami od wszystkich

Ilustracja algorytmu jednolitego rozgłaszania niezawodnego z potwierdzeniami od wszystkich


W podanym przykładzie wiadomość jest rozgłaszana przez proces (), który następnie ulega awarii. Dla zwiększenia czytelności, pominięto strzałki oznaczające fakt wysłania przez proces wiadomości do samego siebie oraz od procesów i . W nawiasach klamrowych podano zawartość zbioru procesów. Zauważmy, że wiadomość ta dotarła jedynie do monitora , który przesłał ją dalej do pozostałych procesów, ale nie dostarczył do . Po otrzymaniu wiadomości od , monitor rozsyła ją ponownie. Wiadomość ta dociera do w wyniku czego do zbioru dodawany jest proces . Monitor postępuje identycznie: odbierając wiadomość od , rozsyła ją, wstrzymując jednak dostarczenie do procesu aplikacyjnego . Gdy wiadomość dotarła do monitora od i , zbiór został powiększony o identyfikatory procesów i . W tym momencie monitor może już dostarczyć wiadomość do procesu , gdyż wie, że dotarła ona do monitorów wszystkich poprawnych procesów. Analogicznie postępują monitory oraz .


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