Pr-1st-1.1-m06-Slajd27

Algorytm detekcji zakleszczenia dla modelu predykatowego (2)

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

$f i r s t W a v e_{i}$ – wartość True oznacza że dla $Q_{i}$ nie zakończył się pierwszy cykl detekcji.
$c o n t P a s s i v e_{i}$ – wartość True tej zmiennej oznacza, że proces $P_{i}$ był pasywny przez cały czas od ostatniego wysłania znacznika TOKEN.
${𝒫 𝒟}_{i}$ – zbiór procesów potencjalnie zakleszczonych
$n o t A c k_{i}$ – liczba niepotwierdzonych wiadomości wysłanych przez $P_{i}$ .
$p a s s i v e_{i}$ – zmienna oznaczająca, czy proces $P_{i}$ jest pasywny.