Pr-1st-1.1-m11-Slajd56

Algorytm implementujący detektor awarii $\mathit{◊}$P z użyciem mechanizmu pulsu: Koncepcja

Wykorzystywany jest zegar lokalny procesu $P_i$. Proces ten co pewien stały okres czasu o długości $T_i^p$ inicjuje operację wysłania wiadomości do wszystkich procesów.

Procesy, od których w pewnym okresie czasu o długości $T_i^{to}$ nie otrzymano wiadomości (pulsu) dodawane są do zbioru procesów podejrzewanych o awarię ($suspecte{d}_i$) przez detektor $F{D}_i$ procesu $P_i$. W przypadku stwierdzenia pomyłki, długość okresu $T_i^{to}$ jest zwiększana.

Podstawowa różnica w stosunku do uprzednio omówionego algorytmu polega na zwiększaniu $T_i^{to}$ w przypadku wykrycia pomyłki. Z założeń dotyczących środowiska wynika, że ostatecznie stała ta będzie większa niż maksymalne możliwe opóźnienie transmisji.

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