Pr-1st-1.1-m11-Slajd10

Kanały wytrwałe: Operacje komunikacyjne

Operację wysłania wiadomości $M$ przez $P_{i}$ do procesu $P_{j}$, gwarantującą własności kanału wytrwałego oznaczać będziemy przez $\mathbf {send} ^{SB}(P_{i},P_{j},M)$, a odpowiadające jej zdarzenie zapisywać będziemy jako $e\_send^{SB}(P_{i},P_{j},M)$. Analogicznie, przez $\mathbf {deliver} ^{SB}(P_{j},P_{i},M)$ oznaczać będziemy operację uaktywniającą zdarzenie $e\_receive^{SB}(P_{j},P_{i},M)$ i przekazującą wiadomość $M$ (wysłaną przez proces $P_{j}$ ) do procesu aplikacyjnego $P_{i}$.

<< Poprzedni slajd | Spis treści | Następny slajd >>