Pr-1st-1.1-m04-Slajd05: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| (Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
| Linia 12: | Linia 12: | ||
:<math>( E \mapsto E' ) \Rightarrow (\mathcal{T}(E) < \mathcal{T}(E'))</math> | :<math>( E \mapsto E' ) \Rightarrow (\mathcal{T}(E) < \mathcal{T}(E'))</math> | ||
gdzie <math> < </math> jest relacją porządku na zbiorze <math>\mathcal{Y}</math>. | gdzie <math><</math> jest relacją porządku na zbiorze <math>\mathcal{Y}</math>. | ||
Należy zauważyć, że w ogólności relacja odwrotna nie musi być spełniona, tzn. | Należy zauważyć, że w ogólności relacja odwrotna nie musi być spełniona, tzn. | ||
:<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> | ||
[[pr-1st-1.1-m04-Slajd04 | << Poprzedni slajd]] | [[pr-1st-1.1-m04-toc|Spis treści ]] | [[pr-1st-1.1-m04-Slajd06 | Następny slajd >>]] | [[pr-1st-1.1-m04-Slajd04 | << Poprzedni slajd]] | [[pr-1st-1.1-m04-toc|Spis treści ]] | [[pr-1st-1.1-m04-Slajd06 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:46, 5 wrz 2023
Zegar logiczny - definicja
Ogólnie mówiąc, zegarem logicznym systemu rozproszonego nazywamy pewien abstrakcyjny mechanizm, który każdemu zdarzeniu
, przyporządkuje wartość (czas wirtualny) z przeciwdziedziny .
Formalnie, zegar logiczny jest więc funkcją
,
odwzorowującą zbiór zdarzeń w zbiór uporządkowany
, taką że:
gdzie jest relacją porządku na zbiorze . Należy zauważyć, że w ogólności relacja odwrotna nie musi być spełniona, tzn.
