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 (${{𝒪}{𝒰}{𝒯}}_i,{{ℐ}{𝒩}}_i$), $latestBlockCloc{k}_i$, oraz proces od którego otrzymał wiadomość typu FLOOD. Stan ten obejmuje aktualne wartości zbioru warunkującego ${{𝒪}{𝒰}{𝒯}}_i={{𝒟}}_i$, wymaganej do uaktywnienia liczby $k_i$ wiadomości GRANT, czasu logicznego inicjacji danego procesu detekcji. Stan zapamiętywany jest odpowiednio w zmiennych: $outStat{e}_i[\alpha ]$, $expectNoStat{e}_i[\alpha ]$ oraz $latestInitCloc{k}_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 ${{𝒪}{𝒰}{𝒯}}_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 >>