Pr-1st-1.1-m08-Slajd05

Algorytm Chandy – Lamporta: Koncepcja (2)

• Każdy monitor $Q_i$ po odebraniu znacznika z kanału $C_{j,i}$, sprawdza czy jest to pierwszy znacznik odebrany w danym procesie detekcji (tzn. czy stan procesu został już w tym procesie detekcji zapamiętany).
• Jeżeli jest to pierwszy znacznik, to $Q_i$

zapamiętuje aktualny stan $S_i$ procesu $P_i$, uznaje stan kanału $C_{j,i}$ za pusty, i propaguje znacznik przez wszystkie swoje kanały wyjściowe (wysłanie znacznika musi poprzedzić zdarzenie wysłania danym kanałem kolejnej, po zapamiętaniu stanu, wiadomości aplikacyjnej).

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