Pr-1st-1.1-m02-Slajd31: Różnice pomiędzy wersjami

Wersja z 15:49, 7 wrz 2006

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 $s I n M$ 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}, s I n M$ ) a odczytana do zmiennej lokalnej $s I n M$ 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 >>

@@ Linia 1: / Linia 1: @@
-==Zdarzenie ''e\_receive''  ==
+==Zdarzenie ''e_receive''  ==
-[[Image:pr-1st-1.1-m02-Slajd31.png|Zdarzenie e\_receive  ]]
+[[Image:pr-1st-1.1-m02-Slajd31.png|Zdarzenie e_receive  ]]
-Zdarzenie ''e\_receive''(<math>P_i, P_j, M</math>) zachodzi natomiast w procesie <math>P_j</math>, gdy <math>P_j</math>  wykonał operację ''receive''(<math>P_i, P_j, i</math>) a odczytana do zmiennej lokalnej <math>sInM</math> wiadomość <math>M</math> pochodziła od procesu <math>P_i</math>.
+Zdarzenie ''e_receive''(<math>P_i, P_j, M</math>) zachodzi natomiast w procesie <math>P_j</math>, gdy <math>P_j</math>  wykonał operację ''receive''(<math>P_i, P_j, i</math>) a odczytana do zmiennej lokalnej <math>sInM</math> wiadomość <math>M</math> pochodziła od procesu <math>P_i</math>.
 Analogicznie,
-zdarzenie ''e\_receive''(\mathcal{P}_i^S, P_j, \mathcal{M}_j^S<math>) zachodzi natomiast w procesie <math>P_j</math>, gdy <math>P_j</math>  wykonał operację ''receive''(\mathcal{P}_i^S, P_j, sInM<math>) a odczytana do zmiennej lokalnej <math>sInM</math> wiadomości <math>M_i \in \mathcal{M}_j^S </math> pochodzą od procesów <math>P_i \in P_j^S</math>.
+zdarzenie ''e_receive''(<math>\mathcal{P}_i^S, P_j, \mathcal{M}_j^S</math>) zachodzi natomiast w procesie <math>P_j</math>, gdy <math>P_j</math>  wykonał operację ''receive''(<math>\mathcal{P}_i^S, P_j, sInM</math>) a odczytana do zmiennej lokalnej <math>sInM</math> wiadomości <math>M_i \in \mathcal{M}_j^S </math> pochodzą od procesów <math>P_i \in P_j^S</math>.
 Zbiór <math>\mathcal{M}_j^S </math>  jest tu zbiorem jednocześnie odbieranych wiadomości z kanałów wejściowych.
 [[pr-1st-1.1-m02-Slajd30 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd32 | Następny slajd >>]]

Pr-1st-1.1-m02-Slajd31: Różnice pomiędzy wersjami

Wersja z 15:49, 7 wrz 2006

Zdarzenie e_receive

Menu nawigacyjne

Działania na stronie

Opcje strony

Narzędzia osobiste

Nawigacja

Szukaj

Narzędzia