Pr-1st-1.1-m02-Slajd20

Grupowe operacje komunikacyjne (1)

Operacja send($P_i,{{𝒫}}_i^R,M$) - w procesie nadawcy $P_i$, operacja ta jest sparametryzowana przez pojedynczą wiadomość $M$ i zbiór procesów ${{𝒫}}_i^R\subseteq {{𝒫}}_i^{OUT}$, będących odbiorcami (adresatami) wiadomości $M$. Efektem wykonania tej operacji jest umieszczenie wiadomości we wszystkich kanałach $C_{i,j}$, takich że $P_j\in {{𝒫}}_i^R$, a więc podstawienie dla wszystkich tych kanałów: ${\mathit{L}}_{i,j}:={\mathit{L}}_{i,j}\cup \{M\}$.

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