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 ${\mathit{L}}_{i,j}:={\mathit{L}}_{i,j}\setminus \{M\}$ oraz $inM:=M$.

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