Pr-1st-1.1-m10-Slajd40

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm detekcji zakończenia statycznego (3)

Algorytm detekcji zakończenia statycznego (3)

W celu stwierdzenia zakończenia statycznego przetwarzania aplikacyjnego określonego przez predykat

inicjator rozpoczyna detekcję przez wysłanie do wszystkich monitorów, w tym do siebie, wiadomości kontrolnej typu QUERY.


Po otrzymaniu wszystkich odpowiedzi, inicjator wyznacza iloczyn logiczny otrzymanych zmiennych contPassive jako wartość zmiennej .

  • Jeżeli przyjmuje wartość True, to stwierdza zakończenie
  • W przeciwnym przypadku inicjator wysyła ponownie zapytanie QUERY


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