Pr-1st-1.1-m10-Slajd44

Algorytm detekcji zakończenia statycznego: Dowód poprawności – oznaczenia (1)

Twierdzenie o poprawności przedstawionego algorytmu używać będzie następujących oznaczeń:

$\tau _{i}^{k}$ - czas globalny wysłania odpowiedzi przez monitor $Q_{i}$ w k-tym cyklu detekcji.

$\tau _{b}^{k}$ - czas globalny rozpoczęcia k-tego cyklu detekcji

$\tau _{e}^{k}$ - czas globalny zakończenia k-tego cyklu detekcji

Zachodzi:

$\tau _{b}^{k}<\tau _{i}^{k}<\tau _{e}^{k}$

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