Pr-1st-1.1-m05-Slajd43

Algorytm Bracha, Toueg’a (3)

Procedura NotifyProc polega na rozesłaniu do wszystkich procesów należących do zbioru procesów sąsiednich wyjściowych, czyli należących do zbioru warunkującego procesu $P_i$ wiadomości typu NOTIFY i zebraniu potwierdzeń typu DONE. Ilustruje ona pierwszą fazę algorytmu (fazę powiadamiania), w której wszystkie monitory są informowane o rozpoczęciu detekcji. Należy zauważyć że wywołanie procedury ConfirmProc, realizującej drugą fazę algorytmu jest zagnieżdżone w fazie powiadamiania, która tym samym kończy się dopiero po zakończeniu fazy drugiej.

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