Pr-1st-1.1-m06-Slajd16

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

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

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 staje się pasywny, jego monitor zapamiętuje stan lokalny procesu oraz skalarny czas logiczny odpowiadający momentowi przyjęcia po raz ostatni przez stanu pasywnego. Następnie może zainicjować detekcję zakleszczenia (wówczas oznaczymy przez ) wysyłając wiadomość typu FLOOD do monitorów wszystkich procesów należących do w chwili . Ponadto, inicjator ma zmienną , w której zapamiętuje zwrócone wagi.

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