Pr-1st-1.1-m02-Slajd31

Zdarzenie e\_receive

Zdarzenie e\_receive($P_i,P_j,M$) zachodzi natomiast w procesie $P_j$, gdy $P_j$ wykonał operację receive($P_i,P_j,i$) a odczytana do zmiennej lokalnej $sInM$ wiadomość $M$ pochodziła od procesu $P_i$.

Analogicznie, zdarzenie e\_receive(\mathcal{P}_i^S, P_j, \mathcal{M}_j^S$)zachodzinatomiastwprocesie<math>P_j$, gdy $P_j$ wykonał operację receive(\mathcal{P}_i^S, P_j, sInM$)aodczytanadozmiennejlokalnej<math>sInM$ wiadomości $M_i\in {{ℳ}}_j^S$ pochodzą od procesów $P_i\in P_j^S$.

Zbiór ${{ℳ}}_j^S$ jest tu zbiorem jednocześnie odbieranych wiadomości z kanałów wejściowych.

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