Pr-1st-1.1-m12-Slajd44

Probabilistyczne rozgłaszanie niezawodne: Operacje komunikacyjne

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