Pr-1st-1.1-m04-Slajd35: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
m Zastępowanie tekstu – „<math> ” na „<math>” |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 7: | Linia 7: | ||
<math>M_{i,j}^b</math>. Zauważmy, że wszystkie wiadomości | <math>M_{i,j}^b</math>. Zauważmy, że wszystkie wiadomości | ||
<math>M</math> wysłane po | <math>M</math> wysłane po | ||
<math>M_{i,j}^b</math>, powinny być również po niej odebrane. Początkowo <math>M_{i,j}^b = \emptyset </math>. W tym kontekście, konstrukcja relacji | <math>M_{i,j}^b</math>, powinny być również po niej odebrane. Początkowo <math>M_{i,j}^b = \emptyset</math>. W tym kontekście, konstrukcja relacji | ||
<math>\prec _{i,j}</math> | <math>\prec _{i,j}</math> | ||
realizowana jest stosownie do typu wysłanej wiadomości, w sposób następujący: | realizowana jest stosownie do typu wysłanej wiadomości, w sposób następujący: | ||
1. Jeżeli jest typu OF i <math>M_{i,j}^b \ne \emptyset</math>, to <math>\prec _{i,j} := \prec _{i,j} \cup \{ \left \langle M_{i,j}^b, M \right \rangle \} </math> | 1. Jeżeli jest typu OF i <math>M_{i,j}^b \ne \emptyset</math>, to <math>\prec _{i,j} := \prec _{i,j} \cup \{ \left \langle M_{i,j}^b, M \right \rangle \}</math> | ||
2. Jeżeli jest typu BF i <math>M_{i,j}^b \ne \emptyset</math>, to <math>\prec _{i,j} := \prec _{i,j} \cup \{ \left \langle M_{i,j}^b, M \right \rangle \} </math>, następnie, <math>M_{i,j}^b:=M</math>. | 2. Jeżeli jest typu BF i <math>M_{i,j}^b \ne \emptyset</math>, to <math>\prec _{i,j} := \prec _{i,j} \cup \{ \left \langle M_{i,j}^b, M \right \rangle \}</math>, następnie, <math>M_{i,j}^b:=M</math>. | ||
[[pr-1st-1.1-m04-Slajd34 | << Poprzedni slajd]] | [[pr-1st-1.1-m04-toc|Spis treści ]] | [[pr-1st-1.1-m04-Slajd36 | Następny slajd >>]] | [[pr-1st-1.1-m04-Slajd34 | << Poprzedni slajd]] | [[pr-1st-1.1-m04-toc|Spis treści ]] | [[pr-1st-1.1-m04-Slajd36 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:48, 5 wrz 2023
Konstrukcja relacji (2)
W mechanizmie tym, istotne znaczenie ma wiadomość typu TF lub BF ostatnio wysłana kanałem , oznaczona przez . Zauważmy, że wszystkie wiadomości wysłane po , powinny być również po niej odebrane. Początkowo . W tym kontekście, konstrukcja relacji realizowana jest stosownie do typu wysłanej wiadomości, w sposób następujący: 1. Jeżeli jest typu OF i , to 2. Jeżeli jest typu BF i , to , następnie, .
