Pr-1st-1.1-m11-Slajd51

Algorytm implementujący detektor awarii P z użyciem mechanizmu pulsu: Zdarzenia cykliczne

W przedstawionym dalej algorytmie używane są dodatkowe dwa oznaczenia: $e\_clock(P_{i},period_{i}^{to})$ oraz $e\_clock(P_{i},period_{i}^{p})$. Są to zdarzenia, zachodzące niezależnie i regularnie, w procesie $P_{i}$, związane z upływem czasu, mierzonym przez lokalny zegar. Odstęp między zajściem dwóch kolejnych zdarzeń określany jest przez drugi parametr, odpowiednio $period_{i}^{to}$ lub $period_{i}^{p}$. Stąd,

$e\_clock(P_{i},period_{i}^{to})$ – cykliczne zdarzenie upływu czasu maksymalnego oczekiwania na otrzymanie pulsu.

$e\_clock(P_{i},period_{i}^{to})$ – cykliczne zdarzenie upływu czasu wysłania pulsu.

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