Pr-1st-1.1-m04-Slajd05

Zegar logiczny - definicja

Ogólnie mówiąc, zegarem logicznym systemu rozproszonego nazywamy pewien abstrakcyjny mechanizm, który każdemu zdarzeniu $E\in \mathrm{\Lambda }$, przyporządkuje wartość ${𝒯}(E)$ (czas wirtualny) z przeciwdziedziny ${𝒴}$. Formalnie, zegar logiczny jest więc funkcją ${𝒯}:\mathrm{\Lambda }\to {𝒴}$, odwzorowującą zbiór zdarzeń $\mathrm{\Lambda }$ w zbiór uporządkowany ${𝒴}$, taką że:

$(E\mapsto E^{\prime })\Rightarrow ({𝒯}(E)<{𝒯}(E^{\prime }))$

gdzie $<$ jest relacją porządku na zbiorze ${𝒴}$. Należy zauważyć, że w ogólności relacja odwrotna nie musi być spełniona, tzn.

$({𝒯}(E)<{𝒯}(E^{\prime }))\Rightarrow ̸(E\mapsto E^{\prime })$

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