Pr-1st-1.1-m08-Slajd09

Algorytm Chandy – Lamporta (2)

Wiadomość msgIn jest typu MESSAGE i oznacza wiadomość wysyłaną przez proces aplikacyjny. Zostaje ona opakowana i przesłana dalej w postaci pcktOut typu PACKET przez monitor procesu. Znacznik jest oznaczony jako markerOut zaś wiadomość przesyłająca stan jako stateOut .

Stan kanałów wejściowych procesu $P_i$, lista komunikatów odebranych od momentu zapamiętania stanu przez monitor $Q_i$ do momentu otrzymania znacznika od $Q_j$ zapisywany będzie w zmiennej $chanStat{e}_i$, zaś stan procesu w zmiennej $procStat{e}_i$. Tablica $recvMar{k}_i$ dostarcza informacji, czy proces otrzymał znacznik od j-tego procesu (wartość elementu n równa True ) i tym samym został wyznaczony stan kanału $C_{i,j}$. Zbiór kanałów wejściowych i wyjściowych procesu $P_i$ opisywany jest odpowiednio przez ${{𝒞}}_i^{IN}$ oraz ${{𝒞}}_i^{OUT}$. Wreszcie wartość True zmiennej $involve{d}_i$ oznacza, że proces zaangażował się już w konstrukcję obrazu stanu globalnego.

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