Pr-1st-1.1-m12-Slajd30

Jednolite rozgłaszanie niezawodne: Operacje komunikacyjne

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