Pr-1st-1.1-m12-Slajd07

Algorytm podstawowego rozgłaszania niezawodnego: Operacje komunikacyjne

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