Pr-1st-1.1-m10-Slajd57: Różnice pomiędzy wersjami

Aktualna wersja na dzień 21:57, 15 wrz 2023

Algorytm detekcji zakończenia dynamicznego (2)

Swoje znaczenie identyczne do poprzednio omawianego algorytmu zachowują ${𝒜 𝒱}_{i}$ , $t e r m i n a t i o n D e t e c t e d_{i}$ , $m s g I n$ , $p c k t O u t$ , $q u e r y O u t$ oraz $r e p l y O u t$ i $r e p l y I n$ .

Zmienna $v S e n t N o_{i}$ jest tablicą $[1 . . n]$ liczników, w której element $v S e n t N o_{i}$ [ $j$ ] oznacza liczbę wiadomości wysłanych przez $P_{i}$ do $P_{j}$ ;

Analogicznie, zmienna $v R e c v N o_{i}$ jest tablicą $[1 . . n]$ liczników, w której element $v R e c v N o_{i}$ [ $j$ ] oznacza liczbę wiadomości odebranych przez $P_{i}$ od procesu $P_{j}$ .

Ponadto, inicjator $Q_{α}$ przechowuje zmienną $t S e n t N o_{α}$ będącą tablicą $[1 . . n, 1 . . n]$ . Wiersz i tej tablicy zawiera wektor $v S e n t N o_{i}$ przesłany ostatnio do inicjatora $Q_{α}$ przez monitor $Q_{i}$ , w wiadomości kontrolnej typu REPLY. W efekcie, każdy element tablicy $t S e n t N o_{α}$ reprezentuje wiedzę inicjatora, o liczbie wiadomości aplikacyjnych wysłanych z $P_{i}$ do $P_{j}$ . Zauważmy, że wiedza ta nie jest precyzyjna, gdyż nadesłane wektory $v S e n t N o_{i}$ , $i \in {1, 2, \dots, n}$ , odnoszą się w ogólności do różnych momentów czasu. ${𝒜 ℐ 𝒯}_{i}$ jest aproksymacją zbioru identyfikatorów procesów, które wysłały wiadomości niedostępne jeszcze dla $P_{i}$ . Zmienna logiczna $c o n t P a s s i v e_{i}$ posiada wartość True, gdy proces $P_{i}$ pozostawał pasywny od momentu wysłania ostatniej wiadomości typu REPLY. Jeżeli wartość zmiennej logicznej $d T e r m D e t e c t e d_{i}$ będzie równy True, inicjator podejmie decyzję o wykryciu zakończenia dynamicznego.

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

@@ Linia 11: / Linia 11: @@
 Analogicznie, zmienna <math>vRecvNo_i</math> jest tablicą <math>[1..n]</math> liczników, w której element  <math>vRecvNo_i</math>[<math>j</math>] oznacza liczbę wiadomości odebranych przez <math>P_i</math> od procesu <math>P_j</math>.
-Ponadto, inicjator <math>Q_{\alpha}</math> przechowuje zmienną <math>tSentNo_{\alpha}</math> będącą tablicą <math>[1..n, 1..n]</math>. Wiersz ''i'' tej tablicy zawiera wektor <math>vSentNo_i</math> przesłany ostatnio do inicjatora <math>Q_{\alpha}</math> przez monitor <math>Q_i</math>, w wiadomości kontrolnej typu REPLY. W efekcie, każdy element tablicy <math>tSentNo_{\alpha}</math> reprezentuje wiedzę inicjatora, o liczbie wiadomości aplikacyjnych wysłanych z <math>P_i</math> do <math>P_j</math>. Zauważmy, że wiedza ta nie jest precyzyjna, gdyż nadesłane wektory <math>vSentNo_i</math>, <math>i \in \{1,2,..., n \}</math>, odnoszą się w ogólności do różnych momentów czasu. <math>\mathcal{AIT}_i</math> jest aproksymacją zbioru identyfikatorów procesów, które wysłały wiadomości niedostępne jeszcze dla <math>P_i</math>. Zmienna logiczna <math>contPassive_i</math> posiada wartość ''True'', gdy proces <math>P_i</math> pozostawał pasywny od momentu wysłania ostatniej wiadomości typu REPLY. Jeżeli wartość zmiennej logicznej <math>dTermDetected_i</math> będzie równy ''True'', inicjator podejmie decyzję o wykryciu zakończenia dynamicznego.
+Ponadto, inicjator <math>Q_{\alpha}</math> przechowuje zmienną <math>tSentNo_{\alpha}</math> będącą tablicą <math>[1..n, 1..n]</math>. Wiersz ''i'' tej tablicy zawiera wektor <math>vSentNo_i</math> przesłany ostatnio do inicjatora <math>Q_{\alpha}</math> przez monitor <math>Q_i</math>, w wiadomości kontrolnej typu REPLY. W efekcie, każdy element tablicy <math>tSentNo_{\alpha}</math> reprezentuje wiedzę inicjatora, o liczbie wiadomości aplikacyjnych wysłanych z <math>P_i</math> do <math>P_j</math>. Zauważmy, że wiedza ta nie jest precyzyjna, gdyż nadesłane wektory <math>vSentNo_i</math>, <math>i \in \{1,2,\ldots, n \}</math>, odnoszą się w ogólności do różnych momentów czasu. <math>\mathcal{AIT}_i</math> jest aproksymacją zbioru identyfikatorów procesów, które wysłały wiadomości niedostępne jeszcze dla <math>P_i</math>. Zmienna logiczna <math>contPassive_i</math> posiada wartość ''True'', gdy proces <math>P_i</math> pozostawał pasywny od momentu wysłania ostatniej wiadomości typu REPLY. Jeżeli wartość zmiennej logicznej <math>dTermDetected_i</math> będzie równy ''True'', inicjator podejmie decyzję o wykryciu zakończenia dynamicznego.
 [[Pr-1st-1.1-m10-Slajd56 | << Poprzedni slajd]] | [[Pr-1st-1.1-m10-toc|Spis treści ]] | [[Pr-1st-1.1-m10-Slajd58 | Następny slajd >>]]

Pr-1st-1.1-m10-Slajd57: Różnice pomiędzy wersjami

Aktualna wersja na dzień 21:57, 15 wrz 2023

Algorytm detekcji zakończenia dynamicznego (2)

Menu nawigacyjne

Działania na stronie

Opcje strony

Narzędzia osobiste

Nawigacja

Szukaj

Narzędzia