Pr-1st-1.1-m04-Slajd15

Realizacja zegarów wektorowych

Mattern i niezależnie Fidge (a także inni badacze) zaproponowali realizację zegarów wektorowych, w której funkcja ${{𝒯}}^V$, implementowana była przez zmienne tablicowe $vCloc{k}_i$, $1\le i\le n$, skojarzone z poszczególnymi procesami. Zmienna $vCloc{k}_i$ jest tablicą [1.. n] liczb naturalnych, odpowiadającą pewnej aproksymacji czasu globalnego z perspektywy procesu $P_i$. Zmienna $vCloc{k}_i[i]$ reprezentuje przy tym w każdej chwili 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$. W efekcie aktualna wartość tablicy $vCloc{k}_i$ odpowiada w każdej chwili wartości funkcji ${{𝒯}}^V(E_i^k)$, odnoszącej się do ostatniego zdarzenia, jakie zaszło w procesie $P_j$. Szczegółową implementację mechanizmu zegara wektorowego przedstawia algorytm zaprezentowany na kolejnych slajdach.

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