Pr-1st-1.1-m04-Slajd47

Środowisko zachowujące uporządkowanie przyczynowe

Formalnie, środowisko komunikacyjne zachowujące uporządkowanie przyczynowe wiadomości zapewnia dla wszystkich procesów i wiadomości, że:

$e\mathrm{\_}send(P_i,P_j,M)\mapsto e\mathrm{\_}send(P_k,P_j,M^{\prime }))\Rightarrow (e\mathrm{\_}receive(P_i,P_j,M){\mapsto }_{j}e\mathrm{\_}receive(P_k,P_j,M^{\prime }))$

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