# 2023: Комп'ютерні системи і мережі. 3. Узгодження стану. Синхронізація часу
[TOC]
# Узгодження стану розподіленої системи
# [Проблеми синхронізації та узгодження станів]((https://en.wikipedia.org/wiki/Synchronization_(computer_science)))
Термін **синхронізація** визначає три різні, але близькі концепції:
* *синхронізація процесів*
* *синхронізація даних*
* *синхронізація часу*
*Синхронізація процесів* відноситься до ситуацій, коли процеси повинні дочекатися загальної точки в часі або виконати фазу "рукостискання", для досягнення угоди або здійснення деякої послідовності дій.
*Синхронізація даних* описує концепцію узгодження множини копій даних (станів) або підтримку цілісності даних.
*Синхронізація годинників* — це проблема координації незалежних годинників в розподілених комп'ютерних мережах. Навіть якщо початково налаштовано точно, реальні годинники відрізнятимуться через певний проміжок часу через дрейф годинника, викликаний тим, що годинники відраховують час з дещо іншою швидкістю.
[У локальних системах:](https://www.wikiwand.com/en/Synchronization_(computer_science))
* Узгодження стану пам'яті та кешу
* Узгодження стану файлової системи
* Погодження транзакцій
[У розподiлених системах:](https://www.wikiwand.com/en/Data_synchronization)
* Синхронізація часу
* Асинхронне та синхронне узгодження даних
* Погодження станів розподілених додатків
* Розпізнавання збоїв та помилок та забезпечення стійкості до них
[](https://www.wikiwand.com/en/Data_synchronization)
- [ ] *Питання. Надточний 64-розрядний таймер, синхронізований з атомним годинником, відраховує тики з частотою 1000 гігаГерц. Які мінімальні та максимальні інтервали часу можна відраховувати на цьому таймері?*
**Узгодження часу**
## [Синхронізація часу](https://en.wikipedia.org/wiki/Clock_synchronization)
### Проблема з годинниками
У розподіленій системі немає єдиного глобального годинника. Кожен комп'ютер
(будь-який обчислювальний пристрій) має власний годинник, і їхні матеріали, фізичні властивості, тактова частота різні. Крім того, залежно від фізичного стану навколишнього середовища, де розміщено комп'ютери, коливання температури можуть впливати на хід годинників. Таким чином, жодні годинники ніколи не будуть абсолютно однаковими з точки зору вимірювання часу. Між двома годинниками може бути різниця в кілька мілісекунд або навіть секунд.
#### Неузгодженість годинників $\theta$ (зміщення)
Різниця $\theta$ між часом на двох годинниках називається **неузгодженістю годинників**. І ця різниця змінюється з часом. Тому неузгодженість пари годин - це функція точного часу $t$ -- правильне її позначення $\theta(t)$. Ми будемо вважати, що точний час $t$ узгоджений з високоточними атомними годинниками і визначається щодо заданих реперних точок у часі та нульового меридіана. При цьому для конкретного комп'ютера, не підключеного до атомного годинника, цей точний час локально недоступний. Комп'ютер може наближатися до точного часу $t$ з більшими або меншими помилками, що визначаються інтернет-інфраструктурою та протолами [NTP](https://en.wikipedia.org/wiki/Network_Time_Protocol), [PTP](https://en.wikipedia.org/wiki/Precision_Time_Protocol) та іншими протолами синхронізації.
#### Дрейф годинника
Немає стабільної частоти годинника, тобто з часом тактова частота буде іншою. Різниця тактових частот одного годинника за певний інтервал часу називається **дрейфом тактової частоти**. Звичайні кварцові годинники відхиляються приблизно на 1 секунду за 11–12 днів. Швидкість дрейфу змінюється від годинника до годинника.
- [ ] *Який дрейф кварцового годинника за 1 хвилину?*
- [ ] *Який дрейф атомного годинника за 1 хвилину?*
- [ ] *Який дрейф кварцового годинника за 1 секунду?*
- [ ] *Який дрейф атомного годинника за 1 секунду?*
- [ ] *Яка вартість кварцового годинника?*
- [ ] *Яка вартість атомного годинника?*
### Афінна модель комп'ютерного годинника
Ми будемо припускати просту афінну модель компьютерного годинника.
Використовуючи позначення точного часу $t$, відображення $\tau(t)$ годинника в узлі мережі з достатньою для короткочасних мережевих завдань точністю задовольняє виразу
$$
\tau(t) = \theta + \sigma\cdot t = \theta + (1+\epsilon)\cdot t
$$
де
$\theta$ - розузгодження комп'ютерного годинника з ідеальним годинником у початковий момент,
$\sigma \approx 1$ - швидкість ходу комп'ютерного годинника щодо ідеального годинника, починаючи з початкового моменту,
$\epsilon \ll 1$- дрейф (відхилення швидкості) комп'ютерного годинника щодо ідеального годинника, починаючи з початкового моменту.
Якщо $\sigma$ -завжди позитивна величина, близька до 1, то $\epsilon$ - мала величина, яка може приймати як позитивні так і негативні значення.
Причина для вибору такої математичної моделі годинника полягає в тому, що це
найпростіша модель, яка відображає реальність, у якій годинник не є
синхронізований до високоточних атомних годинників через неномінальні швидкості та зміщення. Ця модель припускає не тільки розузгодження $\theta$ комп'ютерного годинника з ідеальним годинником у початковий момент, але і постійний та невідомий $\epsilon$-дрейф годинника. Модель була перевірена як достатно точна для багатьох типів годинників.
Якщо ми працюємо з мережею, де кожен вузел має свій номер, ми індексуватимемо зазначені величини. Наприклад, якщо в мережі два комп'ютери (комп'ютер 1 і комп'ютер 2), ми так запишемо моделі їх годинників:
$$
\begin{align}
\tau_1(t) = \theta_1 + \sigma_1\cdot t = \theta_1 + (1+\epsilon_1)\cdot t \\
\tau_2(t) = \theta_2 + \sigma_2\cdot t = \theta_2 + (1+\epsilon_2)\cdot t
\end{align}
$$
Оскільки в більшості додатків на 7 рівні OSI немає API доступу до високоточних атомних годинників, абсолютну синхронізацію годинників необхідно замінити на відносну - один (або іноді декілька) годинників виступають як опорний (майстер-годинник), а решта синхронізує свої годинники щодо опорного годинника.
Тоді неузгодженість двох годинників, де перший годинник - опорний, можна записати як
$$
\begin{align}
\theta(t) = \tau_1(t) - \tau_2(t)
= (\theta_1 - \theta_2) + (\sigma_1-\sigma_2)t =\\
=(\theta_1 - \theta_2) + (\epsilon_1-\epsilon_2)t
=\theta_0 + \varepsilon t
\end{align}
$$
де $\theta_0$ -початкова відносна неузгодженність, а $\varepsilon$ - дрейф другого годинника відносно до першого.
- [ ] *Якщо ми знаємо $\tau_1(t)$, $\tau_2(t)$, $\theta$, $\varepsilon$, як дізнатися час атомного годинника?*
- [ ] *Якщо ми знаємо $\theta_1$, $\epsilon_1$, $\theta_2$, $\epsilon_2$, за якою формулою можна обчислювати залежність показань часу другого годинника від першого: $\tau_2(\tau_1)$?*
- [ ] *Запропонуйте процедуру (метод) визначення $\varepsilon$-дрейфу другого годинника відносно до першого*
### [Простий алгоритм (протокол) синхронізації годинника](https://www.wikiwand.com/en/Network_Time_Protocol#:~:text=dim.%22%5B32%5D%5Bb%5D-,Clock%20synchronization%20algorithm,-Round%2Dtrip%20delay)
У досить простих сценаріях узгодження часу можна знехтувати дрейфом $\epsilon$ годинника і оцінювати тільки початкову відносну неузгодженність годинника $\theta_0$ .
- [ ] *Опишіть Ваші варіанти таких сценаріїв.*
Алгоритм (протокол) синхронізації годинникiв клієнта і сервера виконується в ході обміну короткими повідомленнями, що синхронізують і тестують стан каналу зв'язку.
**Мал.** Крок обміну повідомленнями між клієнтом та сервером в алгоритмі синхронізації
#### [Початкова оцінка поточної неузгодженості](#Початкова-оцінка-поточної-неузгодженості)
Початкова оцінка $\theta_0$ поточної неузгодженості $\theta = T_0 - t_0$ між часовими мітками клієнта та сервера:
$$
\theta_0= \frac{(T_1-t_0)+(T_2-t_3)}{2} \tag{1}
$$
де
$t_0$ — часова помітка клієнта про передачу пакета запиту,
$T_1$ — часова помітка сервера прийому пакета запиту,
$T_2$ — часова помітка сервера передачі пакету у відповідь,
$t_3$ — часова помітка клієнта про прийом пакету у відповідь.
Кругова затримка $rtt'=\Delta$, скоригована на затримку відповіді сервера:
$$
rtt'=\Delta = (t_3-t_0)-(T_2-T_1) \tag{2}
$$
Щоб отримати вираз $(1)$ для початкової синхрокорекції $\theta_0$ між годинниками клієнта та сервера, необхідно розв'язати систему $(3)$, *припускаючи, що затримка сигналу від клієнта до сервера дорівнює затримці від сервера до клієнта*:
$$
\left\{
\begin{array}
\, t_0 +\theta_0 + \frac{\Delta}{2}=T_1 \\
\, t_3 +\theta_0 - \frac{\Delta}{2}=T_2 \tag{3}
\end{array}
\right.
$$
- [ ] *Поясніть побудову системи лінійних рівнянь* $(3)$
#### Уточнення параметру неузгодженості
Часто припущення про симетричність затримок виявляється хибним. Тому для більш точної оцінки $\theta$ необхідно реалізувати схему уточнення на наступних кроках алгоритму синхронізації.
Для [каналів з асиметричними затримками](#огляд-асиметрії) можна переписати систему рівнянь (3) як системи з обмеженням:
$$
\begin{align}
t_0 +\theta+&p\cdot\Delta=T_1 \\
t_3 +\theta-&(1-p)\cdot\Delta=T_2 \\ \tag{4}
&0 < p < 1,
\end{align}
$$
де $p$ - параметр асиметрії (для симетричних затримок $p=1/2$)
- [ ] **Питання. Чому не можна розв'язати цю систему безпосередньо вiдносно до $\theta$ та $p$?**
### [Коефіцієнт асиметрії](#Коефіцієнт-асиметрії)
Якщо нам відомі пряма $\delta_f$ і зворотна $\delta_b$ затримки ($\Delta=\delta_f+\delta_b$), то коефіцієнт асиметрії $\xi_a$ визначається як
$$
\xi_a = { \delta_b \over \delta_f } \tag{5}
$$
Маючи параметр $p$, коефіцієнт асиметрії затримок $\xi_a$ можна визначити як $$
\xi_a = { 1-p \over p } \tag{6}
$$
*Уточнення величини асиметрії - це важке завдання, навіть із використанням односторонніх протоколів, таких, як [UDP](https://en.wikipedia.org/wiki/UserDatagramProtocol) і протоколів, заснованих на них, наприклад, [WebRTC](https://ru.wikipedia.org/wiki/WebRTC), якщо відсутні заздалегідь синхронізовані пари атомних годинників*
- [ ] **Завдання. Обґрунтувати цю тезу**
### [Огляд асиметрії затримок для різних каналів зв’язку](https://poe.com/s/c9bvviHmLAsltDghNKn2)
Ось [огляд асиметрії затримок](#огляд-асиметрії) для різних каналів зв’язку, які використовуються протоколами TCP/IP, HTTP/2 і HTTP/3:
#### Локальні мережі, побудовані на кабелях з витою парою
:::spoiler Оглядова інформація
Локальні мережі, побудовані на кабелях зi звитою парою, як і традиційний Ethernet, зазвичай демонструють дуже низьку асиметрію затримки. Деякі ключові причини цього:
Короткі кабелі: кабелі типу "звита пара", які використовуються для локальних мереж, зазвичай мають довжину лише десятки метрів. На цих коротких відстанях затримки прямого та зворотного поширення сигналу майже однакові, що призводить до мінімальної асиметрії. Оптоволоконні та бездротові мережі охоплюють набагато більші відстані, створюючи більше можливостей для накопичення асиметрії.
Проста інфраструктура: комутатори та маршрутизатори локальної мережі мають відносно просту конструкцію та створюють невелику затримку обробки. Вони не виконують таких складних функцій, як перекодування, шифрування або інкапсуляція, які можуть додати додаткову затримку в одному напрямку. Таким чином, асиметрія, спричинена обладнанням, низька.
Низька конкуренція: локальні мережі зазвичай мають надлишкову смугу пропускання та відчувають незначну конкуренцію чи перевантаження під час нормальної роботи. Таким чином, немає додаткових затримок у черзі або повторній передачі в одному напрямку проти іншого.
Відсутність накладних витрат на інкапсуляцію: протоколи локальної мережі, такі як Ethernet, не додають великих накладних витрат на інкапсуляцію з великою кількістю метаданих протоколу. Фреймування дуже мінімальне, тому немає додаткової затримки під час аналізу чи генерації заголовків протоколу в одному напрямку.
Деякі виміряні значення або оцінки асиметрії затримки в локальних локальних мережах, створених за допомогою Ethernet на звитій парі, включають:
• В межах однієї будівлі або поверху: по суті, відсутня вимірна асиметрія. Затримки прямого та зворотного ходу знаходяться в межах рівня шуму 1 мс або менше. Співвідношення 1х.
• На кількох поверхах будівлі: незначна додаткова асиметрія через трохи довші кабельні лінії та патч-панелі, можливо, до 5 мс. Співвідношення приблизно 1,1-1,2x максимум.
• У великому офісному містечку: додані незначні стрибки перемикання можуть додати додаткові 1-2 мс в одному напрямку для загальної затримки до 10 мс і коефіцієнта асиметрії 1,2-1,5x.
:::
#### Волоконно-оптичні канали
:::spoiler Оглядова інформація
Волоконно-оптичні канали зазвичай мають дуже низьку асиметрію затримки. Наприклад, трансконтинентальне оптоволоконне з’єднання в США може мати пряму затримку 10 мс і зворотну затримку 12 мс, що дає коефіцієнт асиметрії затримки 1,2. Основними причинами будь-якої асиметрії є оптимізація маршруту та затримки обробки обладнання. Загалом волокно має мінімальну асиметрію.
:::
#### Бездротові канали
##### WiFi
:::spoiler Оглядова інформація
Локальні мережі WiFi демонструють низьку асиметрію затримки, коли навантаження низькі, але вищу асиметрію під навантаженням через суперечки та повторні передачі. Виміряні коефіцієнти асиметрії затримки WiFi 1,5-2,5x є звичайними.
:::
##### Мобільні мережі
:::spoiler Оглядова інформація
Мережі стільникового зв’язку зазвичай демонструють вищу асиметрію затримки, часто в 2 рази або більше. Виміряні коефіцієнти асиметрії в 3-5 разів не є рідкістю. Основними причинами є надмірна кількість передплачених радіоінтерфейсів, перекодування медіа та накладні витрати на інкапсуляцію.
:::
##### Супутникові Інтернет-з’єднання
:::spoiler Оглядова інформація
Супутникові Інтернет-з’єднання сумно відомі дуже високою асиметрією затримки, часто в 10 разів або більше. Це пов’язано зі значно вищою затримкою висхідної лінії зв’язку для надсилання даних на супутник порівняно з низхідною лінією зв’язку. Повідомлялося про виміряні співвідношення 10-50x асиметрії. Велика затримка поширення 500 мс або більше домінує над будь-яким іншим фактором.
:::
#### Деякі приклади виміряних даних асиметрії затримки
* Локальні мережі, побудовані на кабелях зi звитою парою: в межах однієї будівлі або поверху затримки прямого та зворотного ходу знаходяться в межах рівня 1 мс або менше. Співвідношення 1х
* Трансконтинентальне волокно США: 10 мс вперед / 12 мс назад; співвідношення 1.2х
* Мережа WiFi при навантаженні 30%: 20 мс вперед / 32 мс назад; коефіцієнт 1.6x
* Мобільна мережа LTE: 60 мс вперед / 180 мс назад; співвідношення 3x
* Геостаціонарна супутникова лінія: 600 мс вперед / 3000 мс назад; співвідношення 5x
:::danger
Таким чином, існують значні відмінності в асиметрії затримки між типами мереж. У локальних мережах на звитій парі практично відсутня асиметрія. Оптоволокно та Wi-Fi демонструють помірну асиметрію, мобільні мережі – середню асиметрію, а супутникові – надзвичайну асиметрію. Протоколи можуть певною мірою адаптуватися, але висока асиметрія неминуче впливає на продуктивність, особливо для програм, чутливих до затримки.
:::
### [Спрощений варіант алгоритму синхронізації](https://ua.wikipedia.org/wiki/SNTP)
Для мережних розподілених додатків, наприклад, комп'ютерних ігор, часто потрібний простий метод синхронізації годинника. В ідеалі він повинен мати такі властивості: бути досить точним, швидко сходитися, бути простим у реалізації і здатним працювати на протоколах з підтвердженням доставки, таких як TCP або WebSockets.
Спрощений варіант алгоритму (схожий на [SNTP](https://ua.wikipedia.org/wiki/SNTP)) з цими властивостями виглядає так:
:::info
1) Клієнт відзначає свій місцевий час $t_0$ у пакеті «запит часу» та відправляє на сервер
2) Після отримання повідомлення від клієнта сервер відзначає свій локальний час $T_1$ і повертає його клієнту (вважається, що сервер настільки швидко працює, що $T_1-T_2=0$)
3) Після отримання клієнтом $T_1$ клієнт віднімає свій поточний час $t_3$ з відправленого часу $t_0$ і ділить на два, щоб обчислити коригувальний параметр $\Delta/2$ (знову ми вважаємо, що сервер настільки швидко працює, що ${rtt'} = \Delta=t_3-t_0$).
Далі клієнт віднімає поточний час $t_3$ вiд часу сервера $T_1$ (або $T_1$ вiд $t_0$), щоб визначити "сліпу дельту" часу клієнта та сервера, і додає до неї половинну затримку $\Delta/2$, щоб отримати оцінку $\theta$.
"Сліпу дельту" можна негайно використовувати для оновлення годинника, оскільки вона встановить локальний годинник, принаймні, у правильне приблизне положення (хоча б, у правильний часовий пояс, якщо між годинниками є великі розбіжності!)
Клієнт повторює кроки з 1-го по 3-й п'ять або більше разів, щоразу роблячи паузу в кілька секунд. Інший трафік може бути дозволений на якийсь час, але його слід звести до мінімуму для досягнення найкращих результатів.
Результати отримання пакетів накопичуються та сортуються за значеннями затримок. Середня затримка визначається шляхом вибору середньої точки (медіани) із цього впорядкованого списку.
Всі пакети вище приблизно 1 стандартного відхилення ($\sigma$) від медіани відкидаються, а пакети, що залишилися, усереднюються з використанням середнього арифметичного для отримання поточного усередненого параметра синхронізації $\theta$ .
:::
>Можна модифікувати описаний алгоритм, враховуючи ймовірнісний розподіл затримок, що сильно відрізняється від [Гаусiвського](https://en.wikipedia.org/wiki/Normal_distribution). Можна, наприклад, спробувати використати [розподіл Пуассона](https://poe.com/s/EwdNcFeYbIGy4npfaDXV) abo [eкспоненційний розподіл](https://uk.wikipedia.org/wiki/%D0%95%D0%BA%D1%81%D0%BF%D0%BE%D0%BD%D0%B5%D0%BD%D1%86%D1%96%D0%B9%D0%BD%D0%B8%D0%B9_%D1%80%D0%BE%D0%B7%D0%BF%D0%BE%D0%B4%D1%96%D0%BB). Зокрема, протягом десятків секунд з великою ймовірністю можна отримати строгий мінімум часу затримки. Замість середньоарифметичного як оцінку поточного усередненого параметра синхронізації $\theta$ можна використовувати оцінку мінімума, а також моду та інші.
Приклад гістограми розподілу rtt ($\Delta$) при зв'язку з віддаленим сервером.
Гістограма є реалізацією деякого випадкового процесу, який визначається поточною структурою каналу та роботою на ньому маршрутизаторів, повторювачів, буферів тощо, та її форма визначається щільністю розподілу цього випадкового процесу. Вісь $х$ - це час затримки в мілісекундах, вісь $y$ - відсоткове співвідношення відповідних затримок.
Ці ілюстративні дані допоможуть у виборі відповідного закону розподілу затримок $\Delta$ поширення сигналу каналом зв'язку та залежного від них розподілу параметра синхронізації $\theta$
- [ ] *Подумайте, чому замість середньоарифметичного як оцінку не можна використовувати оцінку максимума ?*
Можна також отримати оцінки $p$ та $\xi_a$ асиметрії затримок, якщо надсилати послідовність запитів із заздалегідь відомими відмітками часу, якщо якимсь чином вдалось синхронізувати годинники клиєнта та сервера.
[Приклад програми](https://replit.com/join/lgkmtvrxut-arthmax)
### [Библиотека timesync](https://npm.runkit.com/timesync)
Бібліотека timesync реалізує простий, але швидкий і досить точний (вважаючи канал симетричним) метод уточнення параметра синхронізації для розподілених клієнт-серверних програм реального часу.
Приклад серверного коду підключення бібліотеки та обробника запиту на синхронізацію:
* server.js
```js=
var express = require('express');
var timesyncServer = require('timesync/server');
// create an express app
var port = 8081;
var app = express();
app.listen(port);
console.log('Server listening at http://localhost:' + port);
// serve static index.html -------------------------
app.get('/', express.static(__dirname));
// handle timesync requests -------------------------
app.use('/timesync', timesyncServer.requestHandler);
```
Приклад клієнтського коду підключення бібліотеки та запитів на синхронізацію та час:
* client HTML
```htmlembedded=
<script src="/timesync/timesync.js"></script>
<div id=Info></div>
```
* client javascript
```json=
// create a timesync instance
var ts = timesync.create({
server: '/timesync',
interval: 10000
});
// get notified on changes in the offset ---------------
ts.on('change', function (offset) {
Info.innerHTML += 'offset: ' + offset + ' ms<br>');
});
// get synchronized time
setInterval(function () {
let now = new Date(ts.now());
Info.innerHTML +='now: ' + now.toISOString() + ' ms<br>');
}, 1000);
```
#### [Приклад використання tymesync](https://replit.com/join/wevfzaxnbz-arthmax)
# Завдання на лабораторну роботу 3
:::info
Протестувати та продемонструвати результати оцінки випадкових величин для браузерного додатку, що запускається:
а) на комп’ютері, пов’язаному провідним зв’язком з мережею інтернет;
б) на комп’ютері, пов’язаному WiFi зв’язком з мережею інтернет;
в) на мобільному пристрої, пов’язаному з мережею інтернет через мобільні (стільникові) канали;
Самостійно вибрати передбачуваний Вами закон розподілу випадкової величини з набору:
а) [Гаусовий розподіл](https://ru.wikipedia.org/wiki/%D0%9D%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B5_%D1%80%D0%B0%D1%81%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5)
б) [Розподіл Пуассона](https://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D1%81%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5_%D0%9F%D1%83%D0%B0%D1%81%D1%81%D0%BE%D0%BD%D0%B0)
в) [Eкспоненційний розподіл](https://uk.wikipedia.org/wiki/%D0%95%D0%BA%D1%81%D0%BF%D0%BE%D0%BD%D0%B5%D0%BD%D1%86%D1%96%D0%B9%D0%BD%D0%B8%D0%B9_%D1%80%D0%BE%D0%B7%D0%BF%D0%BE%D0%B4%D1%96%D0%BB)
Для обраного розподілу за даними роботи клієнт-серверної програми отримати оцінки випадкової величини :
* min *- мінімум*
* $q_{1/4}$ *- перший (або нижній) кварти́ль*
* $q_{2/4}=q_{1/2}=$ med *- медіана або другий кварти́ль*
* avg *- середнє арифметичне*
* mode *- мода*
* $q_{3/4}$ *- третій (або верхній) кварти́ль*
* max *- максимум*
* stddev *- стандартне відхилення*
* $I_q = q_{3/4} - q_{1/4}$ *- інтерквартильний розмах*
:::
## Варіант 1. Cинхронізація годинника клієнта та годинника сервера
Створити на хостингу replit.com клієнт-серверний додаток, що, використовуючи протокол HTTP, виконує синхронізацію годинника клієнта та годинника сервера ([обчислення поправки](#Початкова-оцінка-поточної-неузгодженості) $\theta_0$) та online порівняння її з роботою бібліотеки [tymesync](https://npm.runkit.com/timesync).
## Варіант 2. Оцінка коефіцієнта асиметрії каналу зв'язку двох клієнтів через сервер
Напишіть серверно-клієнтський додаток, що, використовуючи протокол HTTP, виконує синхронізацію годинника клієнта 2 з клієнтом 1 як майстер-годинником.
:::info
## 2.4 Таблиця результатів
Подати отримані результати в таблиці:
| Тип каналу та величини | min | $q_{1/4}$ | med | avg| mode|$q_{3/4}$ |max|stddev| $I_q$|
| -------- | ----| -------- | --- | ---| --- |----------|---| ---- | ---- |
| wired $\theta$ | | |
| wifi $\theta$ | | |
| mobile $\theta$ | | |
| wired $\xi_a$ | | |
| wifi $\xi_a$ | | |
| mobile $\xi_a$ | | |
:::
# Ресурси
1. [Synchronization](https://en.wikipedia.org/wiki/Synchronization_(computer_science))
3. [Clock synchronization](https://en.wikipedia.org/wiki/Clock_synchronization)
4. [Poincaré-Einstein synchronisation ](https://en.wikipedia.org/wiki/Einstein_synchronisation)
5. [Cristian's algorithm](https://en.wikipedia.org/wiki/Cristian%27s_algorithm)
6. [Berkeley_algorithm](https://en.wikipedia.org/wiki/Berkeley_algorithm)
7. [Network Time Protocol](https://www.wikiwand.com/en/Network_Time_Protocol)
8. [A Stream-based Time Synchronization Technique For Networked Computer Games](https://web.archive.org/web/20160310125700/http://mine-control.com/zack/timesync/timesync.html)
9. [SNTP](https://ru.wikipedia.org/wiki/SNTP)
10. [Building blocks of UDP](https://hpbn.co/building-blocks-of-udp/)
11. [WebRTC](https://hpbn.co/webrtc/)
12. [Probabilistic clock synchronization](https://www.cs.utexas.edu/users/lorenzo/corsi/cs380d/papers/Cristian.pdf)
13. [Tannenbaum. Distributed Systems Principles and Paradigms](https://vowi.fsinf.at/images/b/bc/TU_Wien-Verteilte_Systeme_VO_%28G%C3%B6schka%29_-_Tannenbaum-distributed_systems_principles_and_paradigms_2nd_edition.pdf)
14. [clock-synchronization-and-monotonic-clocks](https://inelpandzic.com/articles/clock-synchronization-and-monotonic-clocks/)
14. [Delay Asymmetry Correction Model](https://curve.carleton.ca/system/files/etd/74f0b075-d19e-4255-bcc3-b297e876783e/etd_pdf/561dc5d8c3aa529b23a94b5e40fa9845/rahman-delayasymmetrycorrectionmodelforieee1588synchronization.pdf)
15. [Network Simulator](https://www.nsnam.org/)
15. [timesync](https://github.com/enmasseio/timesync/tree/49b1131c47f4387518fe295b148906d88b99eb7d)
16. [Put An Atomic Clock in Your PC - Open Source Time Card](https://youtu.be/YKApDtJjXU4)
17. [Build a Stratum 1 Time Server Using a Raspberry Pi Pico](https://youtu.be/pyVCHX4H7bM)
18. [unichron API](https://www.clockwork.io/unichron/)
19. [ngrok.com](https://ngrok.com/)
20. [Exponential_smoothing](https://en.wikipedia.org/wiki/Exponential_smoothing)
# [Поради та застосування AI](https://poe.com/)
1) [chatGPT](https://poe.com/s/EwdNcFeYbIGy4npfaDXV)
2) [GPT4](https://poe.com/s/mFyy2U3fFlMGu3h6xYmN)
3) [Claud++](https://poe.com/s/c9bvviHmLAsltDghNKn2)
Sign in with Wallet
Connect another wallet