Pr-1st-1.1-m06-Slajd08

Z Studia Informatyczne
Wersja z dnia 15:55, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm Bacha, Touega dla środowiska asynchronicznego (3)

Algorytm Bacha, Touega dla środowiska asynchronicznego (3)

Podobnie jak w przypadku algorytmu tych autorów przedstawionym dla środowiska synchronicznego, 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.

Rozpoczęcie drugiej fazy jest możliwe dopiero po spełnieniu warunku mówiącego iż różnica liczby elementów w zbiorze warunkującym i sumarycznej liczby wyjściowych łuków o kolorze Gray lub White jest mniejsza lub równa 0 ().


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