Pr-1st-1.1-m08-Slajd51

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm Chandy-Lamporta dla kanałów FC (5)

Algorytm Chandy-Lamporta dla kanałów FC (5)


Monitor po odebraniu znacznika z kanału sprawdza, czy stan lokalny został już wcześniej zapamiętany.


Jeśli okazuje się, że jest to pierwszy znacznik TMARKER odebrany w danym procesie konstrukcji obrazu spójnego, to stan lokalny jest zapamiętany przed dopuszczeniem do wysłania kolejnej wiadomości aplikacyjnej, znacznik typu TMARKER wysyłany jest poprzez wszystkie kanały wyjściowe. Stan kanału przyjmuje się przy tym jako zbiór pusty. Jeżeli odebrano już znaczniki TMARKER z wszystkich kanałów wejściowych, rozsyłany stan jest stan procesu i kanałów do wszystkich pozostałych monitorów.


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