Pr-1st-1.1-m08-Slajd09

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm Chandy – Lamporta (2)

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 , lista komunikatów odebranych od momentu zapamiętania stanu przez monitor do momentu otrzymania znacznika od zapisywany będzie w zmiennej , zaś stan procesu w zmiennej . Tablica dostarcza informacji, czy proces otrzymał znacznik od j-tego procesu (wartość elementu n równa True ) i tym samym został wyznaczony stan kanału . Zbiór kanałów wejściowych i wyjściowych procesu opisywany jest odpowiednio przez oraz . Wreszcie wartość True zmiennej oznacza, że proces zaangażował się już w konstrukcję obrazu stanu globalnego.


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