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 {deliver} ^{PL}(P_{i},P_{j},M)$, uaktywniającej zdarzenie $e\_receive(P_{j},P_{i},M)$ w procesie aplikacyjnym $P_{i}$.

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