Pr-1st-1.1-m12-Slajd62

Zgodne rozgłaszanie niezawodne z przyczynowym uporządkowaniem wiadomości: Specyfikacja

Mówimy, że wiadomość $M_1$ poprzedza przyczynowo $M_2$, jeżeli zdarzenie wysłania $M_2$ zależy przyczynowo od zdarzenia wysłania $M_1$. Innymi słowy, oznacza to, że zachodzi któryś z poniższych przypadków:

1) Obie wiadomości zostały rozgłoszone przez ten sam proces i wiadomość $M_1$ została rozgłoszona przed $M_2$,

2) Wiadomość $M_1$ została odebrana przez pewien proces $P_i$, a $M_2$ została rozgłoszona przez $P_i$ po odebraniu $M_1$,

3) Istnieje wiadomość $M^{\prime }$ taka, że dla $M_1$ i $M^{\prime }$, oraz $M^{\prime }$ i $M_2$ zachodzi 1) bądź 2)

Relacja przyczynowego porządku między wiadomościami jest zachowana przez kolejny, omawiany w ramach wykładu mechanizm niezawodnego rozgłaszania, mianowicie zgodnego rozgłaszania niezawodnego z przyczynowym uporządkowaniem wiadomości (ang. Causally order reliable broadcast ). Mechanizm ten posiada wszystkie własności zgodnego rozgłaszania niezawodnego i dodatkowo własność przyczynowego uporządkowania (ang. causal delivery ) wiadomości.

Własność przyczynowego uporządkowania oznacza, że przed dostarczeniem dowolnej wiadomości $M$, proces musi dostarczyć wszystkie wiadomości od których $M$ przyczynowo zależy.

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