The wiki page is under active construction, expect bugs.

Differences

This shows you the differences between two versions of the page.

--- statnice:bakalar:b4b36pdv [2025/06/04 22:49] – [Praktické algoritmy pro synchronizaci] zapleka3
+++ statnice:bakalar:b4b36pdv [2025/06/04 22:52] (current) – [Logické hodiny a kauzalita] zapleka3
@@ Line 804: / Line 804: @@
   * RTT mínus odhadnutá minimální latence tam i zpět, děleno dvěma
-Očekávaná **chyba synchronizace** je:  %% \leq \frac{\mathcal{T}_{RT} - l_{\text{min}} - l'_{\text{min}}}{2} %%
+Očekávaná **chyba synchronizace** je: $\leq \frac{\mathcal{T}_{RT} - l_{\text{min}} - l'_{\text{min}}}{2}$
 Lokální čas lze zvyšovat okamžitě, ale **nelze ho vracet zpět** – místo toho se mění rychlost přibývání.
@@ Line 837: / Line 838: @@
 Důležité:
-  * Jestliže $e_1 \rightarrow e_2$, pak %% \mathcal{C}(e_1) < \mathcal{C}(e_2) %%
+  * Jestliže $e_1 \rightarrow e_2$, pak $\mathcal{C}(e_1) < \mathcal{C}(e_2)$
-  * Ale:  %% \mathcal{C}(e_1) < \mathcal{C}(e_2) %% **neznamená**, že $e_1 \rightarrow e_2$
+  * Ale: $\mathcal{C}(e_1) < \mathcal{C}(e_2)$ **neznamená**, že $e_1 \rightarrow e_2$
 ⇒ Lamportovy hodiny **respektují kauzalitu**, ale **neumí ji zpětně ověřit**.

Trace: • b0b36dbs