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:

$\mathrm{\exists }{P}_j::P_j\in {𝒫}::vCloc{k}_i<vCloc{k}_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\ne j)$ z pewnością nie jest czasem odnoszącym się do przeszłości.

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