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 $chanState_{i}$, zaś stan procesu w zmiennej $procState_{i}$. Tablica $recvMark_{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 ${\mathcal {C}}_{i}^{IN}$ oraz ${\mathcal {C}}_{i}^{OUT}$. Wreszcie wartość True zmiennej $involved_{i}$ oznacza, że proces zaangażował się już w konstrukcję obrazu stanu globalnego.

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