Pr-1st-1.1-m06-Slajd17

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dwufazowy algorytm detekcji zakleszczenia dla modelu k spośród r (4)

Dwufazowy algorytm detekcji zakleszczenia dla modelu k spośród r (4)

Niezależnie, gdy monitor otrzyma pierwszą wiadomość typu FLOOD przez kanał reprezentowany w grafie WFG, zapamiętuje stan procesu związany z postrzeganym przez niego aktualnym obrazem grafu WFG (), , oraz proces od którego otrzymał wiadomość typu FLOOD. Stan ten obejmuje aktualne wartości zbioru warunkującego , wymaganej do uaktywnienia liczby wiadomości GRANT, czasu logicznego inicjacji danego procesu detekcji. Stan zapamiętywany jest odpowiednio w zmiennych: , oraz .

Jeśli w tym czasie proces jest pasywny, wysyła wiadomość typu FLOOD do monitorów wszystkich procesów odpowiedniego zbioru warunkującego , w celu zagwarantowania, że wszystkie monitory osiągalne w WFG z węzła inicjatora, będą uczestniczyły w tworzeniu i zapamiętywaniu spójnego obrazu grafu WFG.

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