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:

$i n S t a t e_{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}$ .
$o u t S t a t e_{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}$ .
$e x p e c t N o S t a t e_{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}$
$l a t e s t I n i t C l o c k_{i}$ – czas logiczny rozpoczęcia ostatniej detekcji przez $Q_{i}$
$l a t e s t B l o c k C l o c k_{i}$ – moment w którym ostatnio zablokowany był proces $P_{i}$
$w e i g h t_{i}$ – waga będąca w dyspozycji inicjatora $Q_{i}$ procesu detekcji zakleszczenia