Pr-1st-1.1-m06-Slajd15

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

Najistotniejsze zmienne wykorzystywane przez ten algorytm są następujące:

$inState_{i}$ – tablica, której j-ty element określa zbiór procesów $P_{k}$ , których monitory $Q_{k}$ przesłały wiadomości typu FLOOD odebrane już przez $Q_{i}$ w ramach ostatniego procesu detekcji zakleszczenia, zainicjowanego przez monitor $Q_{j}$ .
$outState_{i}$ – tablica, której j-ty element określa zbiór warunkujący procesu $P_{i}$ , w chwili otrzymania wiadomości typu FLOOD w ramach ostatniego procesu detekcji zakleszczenia, zainicjowanego przez monitor $Q_{j}$ .
$expectNoState_{i}$ – liczba k wymaganych przez aplikację wiadomości potwierdzeń, w chwili otrzymania wiadomości FLOOD w ramach ostatniego procesu detekcji, zainicjowanego przez monitor $Q_{j}$
$latestInitClock_{i}$ – czas logiczny rozpoczęcia ostatniej detekcji przez $Q_{i}$
$latestBlockClock_{i}$ – moment w którym ostatnio zablokowany był proces $P_{i}$
$weight_{i}$ – waga będąca w dyspozycji inicjatora $Q_{i}$ procesu detekcji zakleszczenia