Pr-1st-1.1-m04-Slajd46

Środowisko nie zachowujące uporządkowania przyczynowego

Porządek FIFO czy porządek gwarantowany przez kanały FC jest wystarczający, jeżeli niezbędny kontekst wiadomości $M$ wysłanej z $P_i$ do $P_j$ związany jest tylko z wcześniejszymi wiadomościami przesłanymi bezpośrednio między $P_i$ a $P_j$. Jednakże, pewne zależności mogą być pośrednie. Na przykład, przyjmijmy zgodnie z rysunkiem na slajdzie, że proces (użytkownik) $P_1$ przesyła wiadomości $M_1$ i $M_2$, odpowiednio do $P_3$ i $P_2$, zawierające tę samą wersję pewnej opinii. Proces $P_2$ po otrzymaniu i przeanalizowaniu wiadomości, wysyła stosowny komentarz w wiadomościach $M_3$ i $M_4$, odpowiednio do $P_3$ i $P_1$.

Jeżeli zgodnie z rysunkiem, wiadomość $M_3$ dotrze do $P_3$ przed wiadomością $M_1$, to sam komentarz bez wyjściowej opinii będzie niezrozumiały. Powstały problem wynika w istocie z faktu, że środowisko komunikacyjne nie gwarantuje tak zwanego uporządkowania przyczynowego wiadomości, co rodzi trudności nawet mimo gwarantowania uporządkowania FIFO.

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