Pr-1st-1.1-m04-Slajd13

Z Studia Informatyczne
Wersja z dnia 15:51, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

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

Relacja między zb. zdarzeń i zb. 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 przedstawione są na kolejnym slajdzie. Łatwo wykazać, że skalarne zegary logiczne zdefiniowane przez Lamporta spełniają podstawowy warunek poprawności zegarów, tzn. :

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

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