Pr-1st-1.1-m12-Slajd63

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

Operację zgodnego rozgłaszania niezawodnego $M$ przez $P_i$ do zbioru procesów ${𝒫}$, z zachowaniem przyczynowego uporządkowania wiadomości oznaczać będziemy przez ${\mathbf{𝐬}\mathbf{𝐞}\mathbf{𝐧}\mathbf{𝐝}}^{RRB\mathrm{\_}CO}$($P_i$, ${𝒫}$, $M$ ). Odpowiadające tej operacji zdarzenie zapisywać będziemy jako $e\mathrm{\_}sen{d}^{RRB\mathrm{\_}CO}$($P_i$, ${𝒫}$, $M$ ). Analogicznie, przez ${\mathbf{𝐝}\mathbf{𝐞}\mathbf{𝐥}\mathbf{𝐢}\mathbf{𝐯}\mathbf{𝐞}\mathbf{𝐫}}^{RRB\mathrm{\_}CO}$($P_j$, $P_i$, $M$ ) oznaczać będziemy operację uaktywniającą zdarzenie $e\mathrm{\_}receiv{e}^{RRB\mathrm{\_}CO}$($P_j$, $P_i$, $M$ ) i przekazującą w efekcie wiadomość $M$ wysłaną przez proces $P_j$ do procesu aplikacyjnego $P_i$.

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