Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| statnice:bakalar:b4b36pdv [2025/06/04 22:48] – [Synchronizace hodin] zapleka3 | statnice:bakalar:b4b36pdv [2025/06/04 22:52] (current) – [Logické hodiny a kauzalita] zapleka3 | ||
|---|---|---|---|
| Line 801: | Line 801: | ||
| * Server odpoví, a klient si upraví svůj čas podle: | * Server odpoví, a klient si upraví svůj čas podle: | ||
| - | %% \mathcal{C}_i := t + \frac{\mathcal{T}_{RT} - l_{\text{min}} - l' | + | $\mathcal{C}_i := t + \frac{\mathcal{T}_{RT} - l_{\text{min}} - l' |
| + | * 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' | ||
| - | Očekávaná **chyba synchronizace** je: %% \leq \frac{\mathcal{T}_{RT} - l_{\text{min}} - l' | ||
| 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í. | 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 812: | Line 814: | ||
| * Latence se odhaduje pomocí offsetu: | * Latence se odhaduje pomocí offsetu: | ||
| - | %% o = \frac{(t_1^{r} - t_2^{r} + t_2^{s} - t_1^{s})}{2} | + | $o = \frac{(t_1^{r} - t_2^{r} + t_2^{s} - t_1^{s})}{2}$ |
| + | * vypočtený odhad ofsetu mezi hodinami klienta a serveru | ||
| ==== Logické hodiny a kauzalita ==== | ==== Logické hodiny a kauzalita ==== | ||
| Line 835: | Line 838: | ||
| Důležité: | 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: | + | * Ale: $\mathcal{C}(e_1) < \mathcal{C}(e_2)$ **neznamená**, |
| ⇒ Lamportovy hodiny **respektují kauzalitu**, | ⇒ Lamportovy hodiny **respektují kauzalitu**, | ||
