Pr-1st-1.1-m10-Slajd44

Z Studia Informatyczne
Wersja z dnia 16:05, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

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

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ń:

- czas globalny wysłania odpowiedzi przez monitor w k-tym cyklu detekcji.

- czas globalny rozpoczęcia k-tego cyklu detekcji

- czas globalny zakończenia k-tego cyklu detekcji

Zachodzi:




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