Pr-1st-1.1-m11-Slajd52
Z Studia Informatyczne
Detektor klasy P: Algorytm (1)
Algorytm używa wiadomości typu HEARTBEAT. Zbiór zawiera identyfikatory procesów, które są podejrzewane przez detektor działający w monitorze . Zbiór ten początkowo jest pusty. Zbiór zawiera identyfikatory procesów, które detektor uznaje za poprawne. Zbiór ten początkowo obejmuje wszystkie procesy. Zmienna określa długość maksymalnego oczekiwania na otrzymanie wiadomości typu HEARTBEAT (pulsu). Zmienna określa długość czasu pomiędzy wysłaniem dwóch kolejnych wiadomości HEARTBEAT (pulsu).