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{𝐬}\mathbf{𝐞}\mathbf{𝐧}\mathbf{𝐝}}^{PL}(P_i,P_j,M)$, a odpowiadające jej zdarzenie zapisywać będziemy jako $e\mathrm{\_}sen{d}^{PL}(P_i,P_j,M)$. Analogicznie, przez ${\mathbf{𝐝}\mathbf{𝐞}\mathbf{𝐥}\mathbf{𝐢}\mathbf{𝐯}\mathbf{𝐞}\mathbf{𝐫}}^{PL}(P_j,P_i,M)$ oznaczać będziemy operację uaktywniającą zdarzenie $e\mathrm{\_}receiv{e}^{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{𝐬}\mathbf{𝐞}\mathbf{𝐧}\mathbf{𝐝}(P_i,P_j,M)$ = ${\mathbf{𝐬}\mathbf{𝐞}\mathbf{𝐧}\mathbf{𝐝}}^{PL}(P_i,P_j,M)$

$\mathbf{𝐫}\mathbf{𝐞}\mathbf{𝐜}\mathbf{𝐞}\mathbf{𝐢}\mathbf{𝐯}\mathbf{𝐞}(P_j,P_i,M)$ = ${\mathbf{𝐫}\mathbf{𝐞}\mathbf{𝐜}\mathbf{𝐞}\mathbf{𝐢}\mathbf{𝐯}\mathbf{𝐞}}^{PL}(P_j,P_i,M)$

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