Pr-1st-1.1-m02-Slajd31: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 7: | Linia 7: | ||
Analogicznie, | Analogicznie, | ||
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>. | 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() zachodzi natomiast w procesie , gdy wykonał operację receive() a odczytana do zmiennej lokalnej wiadomość pochodziła od procesu .
Analogicznie, zdarzenie e_receive() zachodzi natomiast w procesie , gdy wykonał operację receive() a odczytana do zmiennej lokalnej wiadomości pochodzą od procesów .
Zbiór jest tu zbiorem jednocześnie odbieranych wiadomości z kanałów wejściowych.
