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:

$maxQueryNo_{i}[j]$ - oznacza największy numer sekwencyjny $queryNo$ spośród wszystkich zapytań QUERY zainicjowanych przez $Q_{j}$ , a wysłanych lub odebranych przez $Q_{i}$ .
$engager_{i}[j]$ - indeks monitora $Q_{k}$ , $k\neq i$ , który spowodował zapisanie aktualnej wartości do $maxQueryNo_{i}[j]$ .
$QRBalance_{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ść $QRBalance_{i}[j]=0$ oznacza, że $Q_{i}$ otrzymał odpowiedzi na wszystkie zapytania związane z ostatnim procesem detekcji zainicjowanym przez $Q_{j}$ .
$contPassive_{i}[j]$ - jest True wtedy i tylko wtedy, gdy $P_{i}$ pozostawał pasywny przez cały czas od momentu ostatniego uaktualniania zmiennej $maxQueryNo_{i}[j]$ początkowo $contPassive_{i}[j]$ jest równe False.