Pr-1st-1.1-m08-Slajd30

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 $P_{i}$,zachodzi:

$\not \exists P_{j}::P_{j}\in {\mathcal {P}}::vClock_{i}<vClock_{j}$

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

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