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 ${𝒯}(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^{\prime })\Rightarrow ({𝒯}(E)<{𝒯}(E^{\prime }))$

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

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

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 >>