Pr-1st-1.1-m02-Slajd19

Indywidualne operacje komunikacyjne (2)

Operacja receive($P_{i},P_{j},inM$) - w procesie odbiorcy $P_{j}$, operacja ta jest sparametryzowana przez pojedynczą zmienną $inM$ i identyfikator procesu $P_{i}$ - oczekiwanego nadawcy wiadomości. Jeżeli kanał $C_{i,j}$ nie jest pusty i pewna wiadomość $M$ jest bezpośrednio dostępna (available($C_{i,j}$) ma wartość True), to efektem wykonania tej operacji jest pobranie wiadomości $M$ z kanału $C_{i,j}$, a więc wykonanie podstawienia ${\boldsymbol {L}}_{i,j}:={\boldsymbol {L}}_{i,j}\setminus \{M\}$ oraz $inM:=M$.

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