Pr-1st-1.1-m05-Slajd34

Algorytm Chandy, Misra, Hass dla modelu OR (2)

Najistotniejsze zmienne wykorzystywane w przedstawionym algorytmie detekcji zakleszczenia dla modelu OR są następujące:

$m a x Q u e r y N o_{i} [j]$ - oznacza największy numer sekwencyjny $q u e r y N o$ spośród wszystkich zapytań QUERY zainicjowanych przez $Q_{j}$ , a wysłanych lub odebranych przez $Q_{i}$ .
$e n g a g e r_{i} [j]$ - indeks monitora $Q_{k}$ , $k \neq i$ , który spowodował zapisanie aktualnej wartości do $m a x Q u e r y N o_{i} [j]$ .
$Q R B a l a n c e_{i} [j]$ - jest różnicą liczby zapytań QUERY zainicjowanych przez $Q_{j}$ i wysłanych dalej przez $Q_{i}$ oraz liczby odpowiedzi REPLY na te zapytania; wartość $Q R B a l a n c e_{i} [j] = 0$ oznacza, że $Q_{i}$ otrzymał odpowiedzi na wszystkie zapytania związane z ostatnim procesem detekcji zainicjowanym przez $Q_{j}$ .
$c o n t P a s s i v e_{i} [j]$ - jest True wtedy i tylko wtedy, gdy $P_{i}$ pozostawał pasywny przez cały czas od momentu ostatniego uaktualniania zmiennej $m a x Q u e r y N o_{i} [j]$ początkowo $c o n t P a s s i v e_{i} [j]$ jest równe False.