Pr-1st-1.1-m10-Slajd23

Jednofazowy algorytm detekcji zakończenia (2)

Algorytm wykorzystuje następujące zmienne:

• $SRBalanc{e}_i$ - lokalne liczniki (ang. send-receive balance) o początkowej wartości 0. Wartość licznika $SRBalanc{e}_i$ w każdej chwili jest równa $s{c}_i-r{c}_i$.

• $detectN{o}_{\alpha }$ -numer sekwencyjny cyklu detekcji zakończenia, zainicjowanego przez monitor $Q_{\alpha }$

• $maxDetectN{o}_i$ -zmienna określającą numer sekwencyjny cyklu detekcji skojarzony zwiadomością wysłaną najpóźniej, spośród wszystkich wiadomości odebranych przez $Q_i$.

Wiadomość $msgIn$ oznacza wiadomość aplikacyjną wysyłaną przez proces $P_i$, która jest umieszczana w polu $data$ pakietu $pcktOut$. Zmienna $terminationDetecte{d}_i$ zostaje ustawiona na True jeżeli wykryte zostało zakończenie.

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