Pr-1st-1.1-m12-Slajd37

Ilustracja algorytmu jednolitego rozgłaszania niezawodnego z potwierdzeniami od wszystkich

W podanym przykładzie wiadomość $M$ jest rozgłaszana przez proces $P_1$ ($Q_1$), 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 $P_3$ i $P_4$. W nawiasach klamrowych podano zawartość zbioru $ac{k}_i$ procesów. Zauważmy, że wiadomość $M$ ta dotarła jedynie do monitora $Q_2$, który przesłał ją dalej do pozostałych procesów, ale nie dostarczył do $P_2$. Po otrzymaniu wiadomości $M$ od $Q_2$, monitor $Q_3$ rozsyła ją ponownie. Wiadomość ta dociera do $Q_2$ w wyniku czego do zbioru $ac{k}_i$ dodawany jest proces $P_3$. Monitor $Q_4$ postępuje identycznie: odbierając wiadomość $M$ od $Q_2$, rozsyła ją, wstrzymując jednak dostarczenie do procesu aplikacyjnego $P_4$. Gdy wiadomość dotarła do monitora $Q_2$ od $Q_3$ i $Q_4$, zbiór $ac{k}_i$ został powiększony o identyfikatory procesów $P_3$ i $P_4$. W tym momencie monitor $Q_2$ może już dostarczyć wiadomość $M$ do procesu $P_2$, gdyż wie, że dotarła ona do monitorów wszystkich poprawnych procesów. Analogicznie postępują monitory $Q_3$ oraz $Q_4$.

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