Pr-1st-1.1-m11-Slajd15

Kanały niezawodne: Operacje komunikacyjne

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

Dla uproszczenia, jeżeli nie będzie to prowadzić do niejednoznaczności, w operacjach kanałów niezawodnych pomijać będziemy indeks górny. Tym samym, przyjmować będziemy, że:

$\mathbf {send} (P_{i},P_{j},M)$ = $\mathbf {send} ^{PL}(P_{i},P_{j},M)$

$\mathbf {receive} (P_{j},P_{i},M)$ = $\mathbf {receive} ^{PL}(P_{j},P_{i},M)$

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