Pr-1st-1.1-m08-Slajd06

Algorytm Chandy – Lamporta: Koncepcja (3)

• Jeżeli stan procesu $P_i$ został już wcześniej zapamiętany, to $Q_i$ uznaje za stan kanału $C_{j,i}$ zbiór tych wszystkich wiadomości aplikacyjnych, które dotarły tym kanałem po zapamiętaniu stanu a przed otrzymaniem znacznika.
• Po odebraniu znaczników ze wszystkich kanałów wejściowych, monitor $Q_i$ przesyła zapamiętany stan lokalny $procStat{e}_i$ procesu $P_i$

oraz stan $chanStat{e}_i$ wszystkich kanałów wejściowych do monitora $Q_{\beta }$, konstruującego obraz stanu globalnego.

• W szczególności możliwe jest oczywiście, że $Q_{\alpha }=Q_{\beta }$.

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