Pr-1st-1.1-m06-Slajd17

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

Niezależnie, gdy monitor $Q_{i}$ otrzyma pierwszą wiadomość typu FLOOD przez kanał reprezentowany w grafie WFG, zapamiętuje stan procesu $P_{i}$ związany z postrzeganym przez niego aktualnym obrazem grafu WFG (${\mathcal {OUT}}_{i},{\mathcal {IN}}_{i}$), $latestBlockClock_{i}$, oraz proces od którego otrzymał wiadomość typu FLOOD. Stan ten obejmuje aktualne wartości zbioru warunkującego ${\mathcal {OUT}}_{i}={\mathcal {D}}_{i}$, wymaganej do uaktywnienia liczby $k_{i}$ wiadomości GRANT, czasu logicznego inicjacji danego procesu detekcji. Stan zapamiętywany jest odpowiednio w zmiennych: $outState_{i}[\alpha ]$, $expectNoState_{i}[\alpha ]$ oraz $latestInitClock_{i}[\alpha ]$.

Jeśli w tym czasie proces $P_{i}$ jest pasywny, $Q_{i}$ wysyła wiadomość typu FLOOD do monitorów wszystkich procesów odpowiedniego zbioru warunkującego ${\mathcal {OUT}}_{i}$, 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 >>