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 $FC_{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}=\emptyset$ . 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}\neq \emptyset$ , to $\prec _{i,j}:=\prec _{i,j}\cup \{\left\langle M_{i,j}^{b},M\right\rangle \}$ 2. Jeżeli jest typu BF i $M_{i,j}^{b}\neq \emptyset$ , to $\prec _{i,j}:=\prec _{i,j}\cup \{\left\langle M_{i,j}^{b},M\right\rangle \}$ , następnie, $M_{i,j}^{b}:=M$ .