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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
WizualnieWikikod
Szopen (dyskusja | edycje)
1922 edycje
Nie podano opisu zmian
 
m Zastępowanie tekstu – „ </math>” na „</math>”
 
(Nie pokazano 1 wersji utworzonej przez jednego użytkownika)
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,
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.
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-Slajd30 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd32 | Następny slajd >>]]

Aktualna wersja na dzień 10:49, 5 wrz 2023

Zdarzenie e_receive

Zdarzenie e_receive


Zdarzenie e_receive(Pi,Pj,M) zachodzi natomiast w procesie Pj, gdy Pj wykonał operację receive(Pi,Pj,i) a odczytana do zmiennej lokalnej sInM wiadomość M pochodziła od procesu Pi.

Analogicznie, zdarzenie e_receive(𝒫iS,Pj,ℳjS) zachodzi natomiast w procesie Pj, gdy Pj wykonał operację receive(𝒫iS,Pj,sInM) a odczytana do zmiennej lokalnej sInM wiadomości Mi∈ℳjS pochodzą od procesów Pi∈PjS.

Zbiór ℳjS jest tu zbiorem jednocześnie odbieranych wiadomości z kanałów wejściowych.

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

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Pr-1st-1.1-m02-Slajd31&oldid=81411”