Pr-1st-1.1-m11-Slajd08

Kanały rzetelne: Operacje komunikacyjne

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

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