Pr-1st-1.1-m10-Slajd31

Wektorowy algorytm detekcji zakończenia (2)

Jak już wspomniano, w algorytmie wektorowym wykorzystywany jest wektor liczników $vSRN{o}_i$ będący tablicą $[1..n]$. Elementy $vSRN{o}_i[j]$, dla $i\ne j$, każdego procesu $P_i$ określają liczbę wiadomości wysłanych przez proces $P_i$ do $P_j$ od czasu ostatniej wizyty znacznika.

Wartość bezwzględna elementu $vSRN{o}_i[i]$ określa liczbę wiadomości odebranych przez $P_i$ od czasu ostatniej wizyty znacznika.

W dowolnej chwili $\tau$, suma k-tych elementów wszystkich liczników $vSRN{o}_i$, dla każdego $i\in \{1,2,\dots ,n\}$, oraz wartości pozycji k wektora cyrkulującego znacznika $tokenIn.vSRAccu[k]$, jest równa liczbie wiadomości będących w drodze do $P_k$. Zmienna $firstWav{e}_i$ przyjmuje wartość True , jeżeli monitor $Q_i$ pierwszy raz otrzymał znacznik. Wreszcie zmienna $terminationDetecte{d}_i$ posiada zwykłe znaczenie.

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