Pr-1st-1.1-m08-Slajd30

Z Studia Informatyczne
Wersja z dnia 15:59, 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

Twierdzenie 8.4

Twierdzenie 8.4


Wykorzystywana jest tu następująca właściwość zegarów wektorowych:

Twierdzenie 8.4

W chwili, gdy uaktualniony został zegar wektorowy procesu ,zachodzi:


Powyższa właściwość oznacza w praktyce, że zmiana wektorowego zegara lokalnego w pewnym procesie określa czas wirtualny, który z perspektywy wszystkich pozostałych procesów z pewnością nie jest czasem odnoszącym się do przeszłości.


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