Pr-1st-1.1-m10-Slajd09

Przykłady wyznaczania liczników RC^{*} i SC^{*}

Dla ilustracji przedstawionej koncepcji rozważmy obecnie dwa przykłady przedstawione na slajdzie. Na przykładzie po lewej stronie slajdu, proces detekcji rozpoczynany jest w chwili ${\tau }_b={\tau }_4$ przez monitor $Q_{\alpha }=Q_4$ procesu $P_4$. W chwili tej $s{c}_4({\tau }_4)=0$ oraz $r{c}_4({\tau }_4)=0$. Znacznik jest przesyłany następnie do monitora $Q_3$ procesu $P_3$, który odczytuje wartości $s{c}_3({\tau }_3)=1$ oraz $r{c}_3({\tau }_3)=0$. Następnie, kolejno wyznaczane są wartości: $s{c}_2({\tau }_2)=2$, $r{c}_2({\tau }_2)=1$, $s{c}_1({\tau }_1)=1$, $r{c}_1({\tau }_1)=1$. W efekcie w chwili ${\tau }_e$ otrzymujemy $S{C}^{*}=4$ a $R{C}^{*}=2$.

Z kolei sytuacja na przykładzie po prawej stronie slajdu jest następująca: $s{c}_1({\tau }_1)=0,r{c}_1({\tau }_1)=1,s{c}_2({\tau }_2)=0,r{c}_2({\tau }_2)=0,s{c}_3({\tau }_3)=1,r{c}_3({\tau }_3)=0,s{c}_4({\tau }_4)=0,r{c}_4({\tau }_4)=0$. Tym samym $S{C}^{*}=1$ a $R{C}^{*}=1$.

Równość liczników wiadomości wysłanych i odebranych mogłoby sugerować, że wszystkie kanały są puste, i że tym samym wystąpiło zakończenie. Zauważmy jednak, że w żadnym momencie $\tau$ z przedziału obserwacji $⟨{\tau }_b,{\tau }_e⟩$ kanały nie są jednocześnie puste, a więc $SC(\tau )\ne RC(\tau )$ dla każdego $\tau ,\tau \in ⟨{\tau }_b,{\tau }_e⟩$. Powstaje zatem problem, czy i kiedy na podstawie faktu, że $S{C}^{*}=R{C}^{*}$ można wnioskować o wystąpieniu zakończenia.

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