Pr-1st-1.1-m10-Slajd31

Wektorowy algorytm detekcji zakończenia (2)

Jak już wspomniano, w algorytmie wektorowym wykorzystywany jest wektor liczników $vSRNo_{i}$ będący tablicą $[1..n]$. Elementy $vSRNo_{i}[j]$, dla $i\neq 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 $vSRNo_{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 $vSRNo_{i}$, dla każdego $i\in \{1,2,\ldots ,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 $firstWave_{i}$ przyjmuje wartość True , jeżeli monitor $Q_{i}$ pierwszy raz otrzymał znacznik. Wreszcie zmienna $terminationDetected_{i}$ posiada zwykłe znaczenie.

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