Pr-1st-1.1-m05-Slajd43
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwaniaAlgorytm 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
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.