Pr-1st-1.1-m04-Slajd15

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Realizacja zegarów wektorowych

Realizacja zegarów wektorowych

Mattern i niezależnie Fidge (a także inni badacze) zaproponowali realizację zegarów wektorowych, w której funkcja , implementowana była przez zmienne tablicowe , , skojarzone z poszczególnymi procesami. Zmienna jest tablicą [1.. n] liczb naturalnych, odpowiadającą pewnej aproksymacji czasu globalnego z perspektywy procesu . Zmienna reprezentuje przy tym w każdej chwili skalarny czas lokalny procesu , a zmienna , aktualne wyobrażenie procesu o bieżącym skalarnym czasie lokalnym procesu . W efekcie aktualna wartość tablicy odpowiada w każdej chwili wartości funkcji , odnoszącej się do ostatniego zdarzenia, jakie zaszło w procesie . Szczegółową implementację mechanizmu zegara wektorowego przedstawia algorytm zaprezentowany na kolejnych slajdach.

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