Pr-1st-1.1-m06-Slajd08

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 $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.

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 ($expectNo_{i}-outGreyWhiteNo_{i}\leq 0$).

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