Pr-1st-1.1-m04-Slajd13

Relacja między zbiorem zdarzeń i zbiorem wartości zegara skalarnego

Możliwe relacje między częściowo uporządkowanym zbiorem zdarzeń a w pełni uporządkowanym zbiorem wartości funkcji ${\mathcal {T}}(E)$ przedstawione są na kolejnym slajdzie. Łatwo wykazać, że skalarne zegary logiczne zdefiniowane przez Lamporta spełniają podstawowy warunek poprawności zegarów, tzn. :

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

Jak widać jednak z przykładu, relacja odwrotna nie jest prawdziwa, a więc:

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

Tym samym zegary skalarne nie mogą być wykorzystywane do określania relacji poprzedzania między zdarzeniami. Są one natomiast wystarczające do jednoznacznego uporządkowania zbioru wszystkich zdarzeń. W tym celu tworzy się na ogół rozszerzoną etykietę czasową będącą konkatenacją skalarnego zegara logicznego oraz, przykładowo, statycznego identyfikatora procesu.

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