Pr-1st-1.1-m10-Slajd22

Jednofazowy algorytm detekcji zakończenia (1)

W algorytmie detekcji zakończenia przetwarzania rozproszonego przesyłana jest jest wiadomość kontrolna (znacznik) typu TOKEN między kolejnymi monitorami. Wiadomość ta zawiera:

• identyfikator inicjatora $Q_{\alpha }$ - $initId$
• numer sekwencyjny $detectNo$ cyklu detekcji zainicjowanego przez $Q_{\alpha }$,
• Pole $SRAccu$, sumy liczników $SRBalance_{i}$ monitorów $Q_{i}$ odwiedzonych już przez znacznik
• pole flagi niepoprawności procesu detekcji $invalid$. Flaga ta przyjmuje ostatecznie wartość True , jeżeli którykolwiek proces aplikacyjny otrzymał między kolejnymi cyklami detekcji wiadomość, która narusza warunek konieczny poprawności detekcji: $maxDetectNo_{i}\geq tokenIn.detectNo$, gdzie liczba $maxDetectNo_{i}$ oznacza numer sekwencyjny cyklu detekcji skojarzony z wiadomością wysłaną najpóźniej, spośród wszystkich wiadomości odebranych przez $Q_{i}$.

Z kolei wiadomości aplikacyjne typu PACKET zawierają dodatkowo pole $detectNo$, zawierające numer sekwencyjny cyklu detekcji.

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