Pr-1st-1.1-m11-Slajd17

Kanały niezawodne: Algorytm (1)

Podobnie jak poprzednio, pakiety $pcktOut$ typu PACKET wysyłane przez monitory zawierają wiadomości aplikacyjne typu MESSAGE wysyłane przez proces aplikacyjny. Wiadomości $msgIn$ z kolei to wiadomości aplikacyjne znajdujące się w odbieranych przez monitory pakietach. Wiadomości te są dalej przekazywane procesom aplikacyjnym z użyciem operacji ${\mathbf{𝐝}\mathbf{𝐞}\mathbf{𝐥}\mathbf{𝐢}\mathbf{𝐯}\mathbf{𝐞}\mathbf{𝐫}}^{PL}(P_i,P_j,M)$, uaktywniającej zdarzenie $e\mathrm{\_}receive(P_j,P_i,M)$ w procesie aplikacyjnym $P_i$.

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