Pr-1st-1.1-m02-Slajd21

Grupowe operacje komunikacyjne (2)

Operacja receive(${{𝒫}}_i^S,P_j,sInM$) - w procesie odbiorcy $P_j$ operacja ta jest sparametryzowana przez zmienną $sInM$ typu zbiór wiadomości i zbiór procesów ${{𝒫}}_i^S\subseteq {{𝒫}}_j^{IN}$, będących oczekiwanymi nadawcami wiadomości. W ogólności, warunkiem wykonania tej operacji jest jednoczesna dostępność wiadomości od wszystkich procesów $P_i\in {{𝒫}}_i^S$. Jeżeli warunek ten jest spełniony, to efektem wykonania operacji receive(${{𝒫}}_i^S,P_j,sInM$) jest atomowe pobranie wiadomości $M_i$ od procesów $P_i\in {{𝒫}}_i^S$ i umieszczanie ich w $sInM$. Tym samym, dla każdego procesu $P_i\in {{𝒫}}_i^S$, wykonywane jest kolejno podstawienie ${\mathit{L}}_{i,j}:={\mathit{L}}_{i,j}\setminus \{M_i\}$ oraz $sInM:=sInM\cup \{M_i\}$..

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