Pr-1st-1.1-m04-Slajd35

Konstrukcja relacji ${\prec }_{i,j}$(2)

W mechanizmie tym, istotne znaczenie ma wiadomość typu TF lub BF ostatnio wysłana kanałem $F{C}_{i,j}$, oznaczona przez $M_{i,j}^b$. Zauważmy, że wszystkie wiadomości $M$ wysłane po $M_{i,j}^b$, powinny być również po niej odebrane. Początkowo $M_{i,j}^b=\mathrm{\varnothing }$. W tym kontekście, konstrukcja relacji ${\prec }_{i,j}$ realizowana jest stosownie do typu wysłanej wiadomości, w sposób następujący: 1. Jeżeli jest typu OF i $M_{i,j}^b\ne \mathrm{\varnothing }$, to ${\prec }_{i,j}:={\prec }_{i,j}\cup \{⟨M_{i,j}^b,M⟩\}$ 2. Jeżeli jest typu BF i $M_{i,j}^b\ne \mathrm{\varnothing }$, to ${\prec }_{i,j}:={\prec }_{i,j}\cup \{⟨M_{i,j}^b,M⟩\}$, następnie, $M_{i,j}^b:=M$.

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