Pr-1st-1.1-m10-Slajd60

Algorytm detekcji zakończenia dynamicznego (5)

Po otrzymaniu zapytania typu QUERY, monitor $Q_{i}$ może wyznaczyć zbiór ${𝒜 ℐ 𝒯}_{i}$ będący aproksymacją zbioru tych procesów, których wiadomości wysłane do $P_{i}$ są potencjalnie jeszcze w kanałach (porównywany jest wektor $q u e r y I n . v S e n t N o$ odebrany przez $Q_{i}$ z $v R e c v N o_{i}$ - jeżeli $q u e r y I n . v S e n t N o [j] > v R e c v N o_{i}$ [ $j$ ], to w kanale $C_{j, i}$ znajdą się wiadomości wysłane przez $P_{j}$ do $P_{i}$ , a nie odebrane jeszcze przez $P_{i}$ )

Każdy z monitorów wyznacza wartość zmiennej $r e p l y O u t . c o n t P a s s i v e$ . Wartość $r e p l y O u t . c o n t P a s s i v e = T r u e$ wtedy i tylko wtedy, gdy $c o n t P a s s i v e_{i} = T r u e$ , a predykat $a c t i v a t e_{i} ({𝒜 𝒱}_{i} \cup {𝒜 ℐ 𝒯}_{i}) = F a l s e$ .

Po wyznaczeniu wartości $r e p l y O u t . c o n t P a s s i v e$ monitor wysyła odpowiedź typu REPLY zawierającą pole contPassive oraz aktualny wektor $v S e n t N o_{i}$ , który będzie użyty przez $Q_{α}$ do uaktualnienia tablicy $t S e n t N o_{α}$ .

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

Pr-1st-1.1-m10-Slajd60

Algorytm detekcji zakończenia dynamicznego (5)

Menu nawigacyjne

Działania na stronie

Opcje strony

Narzędzia osobiste

Nawigacja

Szukaj

Narzędzia