Pr-1st-1.1-m08-Slajd13

Algorytm Chandy – Lamporta (6)

W przypadku otrzymania znacznika monitor zapisuje stan skojarzonego z nim procesu aplikacyjnego (o ile jeszcze tego wcześniej nie wykonał) i przesyła znacznik dalej (przy pomocy procedury RECORDSTATE), ustawia odpowiedni wpis w tablicy $recvMark$ na True . Jeżeli monitor otrzymał już znaczniki wszystkimi kanałami wejściowymi, rozsyła swój stan do incydentnych monitorów.

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