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(${{𝒫}}_i^S,P_j,{{ℳ}}_j^S$) zachodzi natomiast w procesie $P_j$, gdy $P_j$ wykonał operację receive(${{𝒫}}_i^S,P_j,sInM$) a odczytana do zmiennej lokalnej $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 >>