Pr-1st-1.1-m08-Slajd11

Algorytm Chandy – Lamporta (4)

Proces inicjator konstrukcji zapamiętuje własny stan i rozsyła znaczniki do incydentnych monitorów za pomocą procedury RECORDSTATE, ustawia pozycję $\alpha$ w tablicy $recvMar{k}_i$ na True oraz wysyła swój stan za pomocą procedury SENDSTATE.

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