Pr-1st-1.1-m02-Slajd20: 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 3: | Linia 3: | ||
[[Image:pr-1st-1.1-m02-Slajd20.png|Grupowe operacje komunikacyjne (1)]] | [[Image:pr-1st-1.1-m02-Slajd20.png|Grupowe operacje komunikacyjne (1)]] | ||
Operacja ''send''(<math>P_i, \mathcal{P}_i^R, M </math>) - w procesie nadawcy <math>P_i</math>, operacja ta jest sparametryzowana przez pojedynczą wiadomość <math>M</math> i zbiór procesów | Operacja ''send''(<math>P_i, \mathcal{P}_i^R, M</math>) - w procesie nadawcy <math>P_i</math>, operacja ta jest sparametryzowana przez pojedynczą wiadomość <math>M</math> i zbiór procesów | ||
<math>\mathcal{P}_i^R \subseteq \mathcal{P}_i^{OUT}</math>, będących odbiorcami (adresatami) wiadomości <math>M</math>. Efektem wykonania tej operacji jest umieszczenie wiadomości we wszystkich kanałach | <math>\mathcal{P}_i^R \subseteq \mathcal{P}_i^{OUT}</math>, będących odbiorcami (adresatami) wiadomości <math>M</math>. Efektem wykonania tej operacji jest umieszczenie wiadomości we wszystkich kanałach | ||
<math>C_{i,j}</math>, takich że <math>P_j \in \mathcal{P}_i^R </math>, a więc podstawienie dla wszystkich tych kanałów: | <math>C_{i,j}</math>, takich że <math>P_j \in \mathcal{P}_i^R</math>, a więc podstawienie dla wszystkich tych kanałów: | ||
<math>\boldsymbol{L}_{i,j} := \boldsymbol{L}_{i,j} \cup \{ M \} </math>. | <math>\boldsymbol{L}_{i,j} := \boldsymbol{L}_{i,j} \cup \{ M \}</math>. | ||
[[pr-1st-1.1-m02-Slajd19 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd21 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd19 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd21 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:45, 5 wrz 2023
Grupowe operacje komunikacyjne (1)
Operacja send() - w procesie nadawcy , operacja ta jest sparametryzowana przez pojedynczą wiadomość i zbiór procesów , będących odbiorcami (adresatami) wiadomości . Efektem wykonania tej operacji jest umieszczenie wiadomości we wszystkich kanałach , takich że , a więc podstawienie dla wszystkich tych kanałów: .
