Pr-1st-1.1-m04-Slajd19

Zegary wektorowe (1)

W każdej chwili czasu rzeczywistego

$\forall i,j::vClock_{i}[i]\geq vClock_{j}[j]$

gdzie zmienna $vClock_{i}[i]$ reprezentuje skalarny czas lokalny procesu $P_{i}$, a zmienna $vClock_{i}[j]$, $j\neq i$, aktualne wyobrażenie procesu $P_{i}$ o bieżącym skalarnym czasie lokalnym procesu $P_{j}$.

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