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 {\mathit {\Lambda }}$, przyporządkuje wartość ${\mathcal {T}}(E)$ (czas wirtualny) z przeciwdziedziny ${\mathcal {Y}}$. Formalnie, zegar logiczny jest więc funkcją ${\mathcal {T}}:{\mathit {\Lambda }}\rightarrow {\mathcal {Y}}$, odwzorowującą zbiór zdarzeń ${\mathit {\Lambda }}$ w zbiór uporządkowany ${\mathcal {Y}}$, taką że:

$(E\mapsto E')\Rightarrow ({\mathcal {T}}(E)<{\mathcal {T}}(E'))$

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

$({\mathcal {T}}(E)<{\mathcal {T}}(E'))\not \Rightarrow (E\mapsto E')$

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