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 ${\mathcal {P}}$ oznaczać będziemy przez $\mathbf {send} ^{BRB}$($P_{i}$, ${\mathcal {P}}$, $M$ ). Odpowiadające tej operacji zdarzenie zapisywać będziemy jako $e\_send^{BRB}$($P_{i}$, ${\mathcal {P}}$, $M$ ). Analogicznie, przez $\mathbf {deliver} ^{BRB}$($P_{j}$, $P_{i}$, $M$ ) oznaczać będziemy operację uaktywniającą zdarzenie $e\_receive^{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 >>