Pr-1st-1.1-m06-Slajd16

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

Procedura Fill jest procedurą pomocniczą, której celem jest uproszczenie zapisu algorytmu. W efekcie wykonania tej procedury, wypełniony zostaje podany jako argument pakiet, Poszczególne pola tego pakietu są inicjowane wartościami przekazanymi jako kolejne argumenty.

Kiedy proces $P_i$ staje się pasywny, jego monitor $Q_i$ zapamiętuje stan lokalny procesu oraz skalarny czas logiczny $latestBlockCloc{k}_i$ odpowiadający momentowi przyjęcia po raz ostatni przez $P_i$ stanu pasywnego. Następnie $Q_i$ może zainicjować detekcję zakleszczenia (wówczas $Q_i$ oznaczymy przez $Q_{\alpha }$) wysyłając wiadomość typu FLOOD do monitorów wszystkich procesów należących do ${{𝒪}{𝒰}{𝒯}}_i={{𝒟}}_i$ w chwili $latestBlockCloc{k}_i$. Ponadto, inicjator $Q_{\alpha }$ ma zmienną $weigh{t}_{\alpha }$, w której zapamiętuje zwrócone wagi.

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