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 >>