Pr-1st-1.1-m12-Slajd14

Zgodne rozgłaszanie niezawodne: Operacje komunikacyjne

Operację zgodnego rozgłaszania niezawodnego wiadomości $M$ przez $P_{i}$ do zbioru procesów ${\mathcal {P}}$ oznaczać będziemy przez $\mathbf {send} ^{RRB}$($P_{i}$, ${\mathcal {P}}$, $M$ ). Odpowiadające tej operacji zdarzenie zapisywać będziemy jako $e\_send^{RRB}$( $P_{i}$, Pj , M ). Analogicznie, przez $\mathbf {deliver} ^{RRB}$($P_{j}$, $P_{i}$, $M$ ) oznaczać będziemy operację uaktywniającą zdarzenie $e\_receive^{RRB}$($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 >>