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 $SRBalanc{e}_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: $maxDetectN{o}_i\ge tokenIn.detectNo$, gdzie liczba $maxDetectN{o}_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 >>