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 $chanState_{i}[j]$ na $\emptyset$, 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 >>