Pr-1st-1.1-m10-Slajd23

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Jednofazowy algorytm detekcji zakończenia (2)

Jednofazowy algorytm detekcji zakończenia (2)


Algorytm wykorzystuje następujące zmienne:

  • - lokalne liczniki (ang. send-receive balance) o początkowej wartości 0. Wartość licznika w każdej chwili jest równa .
  • -numer sekwencyjny cyklu detekcji zakończenia, zainicjowanego przez monitor
  • -zmienna określającą numer sekwencyjny cyklu detekcji skojarzony zwiadomością wysłaną najpóźniej, spośród wszystkich wiadomości odebranych przez .

Wiadomość oznacza wiadomość aplikacyjną wysyłaną przez proces , która jest umieszczana w polu pakietu . Zmienna zostaje ustawiona na True jeżeli wykryte zostało zakończenie.


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