Pr-1st-1.1-m08-Slajd10

Algorytm Chandy – Lamporta (3)

W algorytmie używane będą dwie procedury. Pierwsza z nich, RECORDSTATE, zapisuje stan procesu, ustawia stan kanałów zapisany w tablicy $chanStat{e}_i[j]$ na $\mathrm{\varnothing }$, zaznacza, że proces wziął już udział w wyznaczaniu obrazu i wysyła znacznik do wszystkich monitorów połączonych z procesem $P_i$ za pomocą kanałów wejściowych.

Procedura SENDSTATE z kolei powoduje przesłanie stanu procesu $P_i$ do monitora $Q_{\beta }$.

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