Pr-1st-1.1-m12-Slajd70

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

Operację zgodnego rozgłaszania niezawodnego wiadomości $M$ przez proces $P_i$ do zbioru procesów ${𝒫}$, zachowującą uporządkowanie globalne wiadomości, oznaczać będziemy przez ${\mathbf{𝐬}\mathbf{𝐞}\mathbf{𝐧}\mathbf{𝐝}}^{RRB\mathrm{\_}TO}$($P_i$, ${𝒫}$, $M$ ). Odpowiadające tej operacji zdarzenie zapisywać będziemy jako $e\mathrm{\_}sen{d}^{RRB\mathrm{\_}TO}$($P_i$, ${𝒫}$, $M$ ). Analogicznie, przez ${\mathbf{𝐝}\mathbf{𝐞}\mathbf{𝐥}\mathbf{𝐢}\mathbf{𝐯}\mathbf{𝐞}\mathbf{𝐫}}^{RRB\mathrm{\_}TO}$( $P_j$, $P_i$, $M$ ) oznaczać będziemy operację uaktywniającą zdarzenie $e\mathrm{\_}receiv{e}^{RRB\mathrm{\_}TO}$($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 >>