Pr-1st-1.1-m04-Slajd19

Zegary wektorowe (1)

W każdej chwili czasu rzeczywistego

$\mathrm{\forall }i,j::vCloc{k}_i[i]\ge vCloc{k}_j[j]$

gdzie zmienna $vCloc{k}_i[i]$ reprezentuje skalarny czas lokalny procesu $P_i$, a zmienna $vCloc{k}_i[j]$, $j\ne i$, aktualne wyobrażenie procesu $P_i$ o bieżącym skalarnym czasie lokalnym procesu $P_j$.

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