Pr-1st-1.1-m06-Slajd27

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm detekcji zakleszczenia dla modelu predykatowego (2)

Alg. detekcja zakleszczenia dla modelu predykatowego (2)

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

  • – wartość True oznacza że dla nie zakończył się pierwszy cykl detekcji.
  • – wartość True tej zmiennej oznacza, że proces był pasywny przez cały czas od ostatniego wysłania znacznika TOKEN.
  • – zbiór procesów potencjalnie zakleszczonych
  • – liczba niepotwierdzonych wiadomości wysłanych przez .
  • – zmienna oznaczająca, czy proces jest pasywny.

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