Pr-1st-1.1-m04-Slajd13: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 10: | Linia 10: | ||
Jak widać jednak z przykładu, relacja odwrotna nie jest prawdziwa, a więc: | Jak widać jednak z przykładu, relacja odwrotna nie jest prawdziwa, a więc: | ||
:<math> (\mathcal{T}(E) < \mathcal{T}(E')) \not\Rightarrow ( E \mapsto E' )</math> | :<math>(\mathcal{T}(E) < \mathcal{T}(E')) \not\Rightarrow ( E \mapsto E' )</math> | ||
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. | 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. | ||
Aktualna wersja na dzień 10:31, 5 wrz 2023
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 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.
