Pr-1st-1.1-m06-Slajd27

Algorytm detekcji zakleszczenia dla modelu predykatowego (2)

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

• $firstWave_{i}$ – wartość True oznacza że dla $Q_{i}$ nie zakończył się pierwszy cykl detekcji.
• $contPassive_{i}$ – wartość True tej zmiennej oznacza, że proces $P_{i}$ był pasywny przez cały czas od ostatniego wysłania znacznika TOKEN.
• ${\mathcal {PD}}_{i}$ – zbiór procesów potencjalnie zakleszczonych
• $notAck_{i}$ – liczba niepotwierdzonych wiadomości wysłanych przez $P_{i}$.
• $passive_{i}$ – zmienna oznaczająca, czy proces $P_{i}$ jest pasywny.

<< Poprzedni slajd | Spis treści | Następny slajd >>