Pr-1st-1.1-m10-Slajd28

Jednofazowy algorytm detekcji zakończenia (7)

Dla monitorów $Q_i\ne Q_{\alpha }$, pola znacznika są aktualizowane w następujący sposób: do pola znacznika $SRAccu$ dodawana jest aktualna wartość zmiennej $SRBalanc{e}_i$; fladze $invalid$ przypisywana jest suma logiczna bieżącej wartości tej flagi oraz wartości relacji $maxDetectN{o}_i\ge tokenIn.detectNo$. Ta ostatnia relacja jest prawdziwa, jeżeli do monitora dotarł już pewien pakiet $pckt$ z etykietą $pckt.detectNo$ o wartości większej lub równej niż numer sekwencyjny bieżącego cyklu detekcji $tokenOut.detectNo$. Oznacza to, że pakiet ten został wysłany po wizycie bieżącego znacznika. Zauważmy, że zdarzenie odbioru pakietu $pckt$ będzie uwzględnione w końcowej wartości licznika $SRAccu$, a nie będzie uwzględnione zdarzenie nadania tego pakietu. Tym samym, konkluzja dotycząca zakończenia przetwarzania byłaby formułowana na podstawie niespójnego obrazy przetwarzania, a więc w ogólności nie byłaby poprawna. W takim wypadku, wynik bieżącego cyklu detekcji należy zatem uznać za niepoprawny. W efekcie, wykrycie zakończenia wymaga wykonania kolejnego cyklu detekcji.

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