ПРОБЛЕМИ СИНХРОНІЗАЦІЇ ГОДИННИКІВ ТА РОБОТИ РОЗПОДІЛЕНИХ ДОДАТКІВ РЕАЛЬНОГО ЧАСУ - Наукові конференції
Головна
UA RU EN

Вас вітає Інтернет конференція!

Вітаємо на нашому сайті

Рік заснування видання - 2011

ПРОБЛЕМИ СИНХРОНІЗАЦІЇ ГОДИННИКІВ ТА РОБОТИ РОЗПОДІЛЕНИХ ДОДАТКІВ РЕАЛЬНОГО ЧАСУ

16.05.2024 16:38

[1. Інформаційні системи і технології]

Автор: Максимова Юнна Артурівна, Одеський національний університет імені І. І. Мечнікова; Максимов Артур Леонідович, Одеський національний університет імені І. І. Мечнікова


Синхронізація годинників в розподілених системах вже довгий час залишається актуальним завданням, незважаючи на використання відомих протоколів синхронізації, таких як NTP, PTP та багатьох їх аналогів [1].

Хоча існують протоколи для точної синхронізації часу, їх використання у веб-додатках ускладнюється через обмеження браузера та відсутність підтримки в стандартних мережевих протоколах, які використовуються для веб-комунікацій. На відміну від NTP чи PTP, протоколи HTTP та WebSocket не мають вбудованих механізмів вимірювання та компенсації асиметрії каналів передачі даних. Вони покладаються на нижчі рівні моделі OSI (наприклад, TCP) для забезпечення надійної доставки даних.

Синхронізація годинників має обмеження в точності. Це пов'язано з фізичними обмеженнями, такими як швидкість світла та затримки в мережевих компонентах. Однак, критичну роль у досягненні максимально можливої точності синхронізації відіграє симетрія каналу зв'язку.

Базовий механізм синхронізації годинників, який описаний в IEEE 1588 [3], може бути узагальнений до наступної формули:




де

????0 - часова позначка клієнта про передачу пакета запиту,

????1 - часова позначка сервера прийому пакета запиту,

????2 - часова позначка сервера відповідного пакета,

????3 - часова позначка клієнта про прийом пакету у відповідь рис. 1.




Рис. 1 Базовий обмін повідомленнями для синхронізації годинників

У роботі [2] представлені фундаментальні обмеження на точність розв'язання цього завдання у разі детермінованої (афінної) моделі комп'ютерного годинника і каналів передачі даних без варіації часу передачі сигналів, проте з невідомою асиметрією та заздалегідь невідомим часом поширення. Ці обмеження не дають можливості забезпечувати хорошу якість синхронізації без наявності у вузлах мережі високоточних (атомних) годинників або обладнання з аналогічними функціями. Однак, за наявності апріорної інформації про тип стабільного каналу зв'язку та його мінімальної і максимальної довжини, або інформації про коефіцієнт асиметрії каналу ξ, отриманої шляхом досліджень реальних каналів передачі даних, можна значно збільшити точність синхронізації. Початкова оцінка помилки синхронізації:

Err = |Δ/2|

може бути покращена до




де

Δ - кругова затримка розповсюдження сигналу в каналі,

ξ - коефіцієнт асиметрії каналу, що розглядається як відношення часу прямого поширення сигналу, до часу зворотного. 

Доказ:

Припустимо, що ми маємо дві затримки: пряму δf  і зворотну δb . Якщо ми припускаємо, що вони симетричні, то ми припускаємо, що  δf=δb =Δ/2, де Δ - це загальна затримка.

Але в реальності ці затримки можуть бути асиметричними. Тоді ми можемо визначити коефіцієнт асиметрії ξa= δf/δb

Тепер розглянемо помилку |δθ|=|θ0-θ|. Якщо ми використовуємо формулу (1) для оцінки θ0 то ми отримуємо θ0=Δ/2=(δf+δb) / 2. Але якщо затримки асиметричні, то реальне значення θ буде відрізнятися. Ми можемо визначити δf=ξa. δb=ξa . (Δ/ξa+1)

Тоді максимальна помилка буде  . (4)

Наприклад, якщо для волоконно-оптичних каналів виміряний коефіцієнт асиметрії ξ=0.9 і ми синхронізуємо годинник у протилежних точках земної кулі з круговою затримкою розповсюдження сигналу Δ=200 мілісекунд, можна поліпшити песимістичну похибку синхронізації, рівну

 100 мілісекундам, до 5 мілісекунд. Таким чином, якщо існує можливість отримання явної інформації про асиметрію каналу або її неявного обчислення по геоданим вузлів, гістограм затримок, встановленого точного обладнання та можливими системами машинного навчання за цими даними, можна виконувати синхронізацію годинників в глобальних мережах з субмілісекундною точністю. Ще більш радикальним кроком у цьому напрямі є вдосконалення протоколів та обладнання маршрутизації в мережі інтернет, таке, що у кожному пакеті передачі даних має існувати поле часу передачі пакета, інформація у якому оновлюється від вузла до вузла. При цьому кожна лінія зв'язку повинна мати точну характеристику часу передачі його медіа, і ця інформація повинна бути доступна маршрутизаторам.

Однак, навіть точне розв'язання задачі синхронізації годинника у вузлах мережі не вирішує завдання синхронізації роботи розподілених додатків реального часу. Ось кілька прикладів типів програм у реальному часі, які потребують синхронізованої координації:

1) Розподілені системи управління: у промисловій автоматизації та системах управління. Приклади включають системи керування електростанціями, виробничі складальні лінії та системи керування рухом. Синхронізована координація забезпечує спільну дію різних компонентів системи в потрібний час, запобігаючи конфліктам і забезпечуючи безперебійну роботу.

2) Спільне редагування в режимі реального часу: програми, які дозволяють кільком користувачам спільно редагувати документ або працювати над проектом у режимі реального часу, вимагають синхронізованої координації. Приклади включають платформи для спільної розробки програмного забезпечення. Механізми синхронізації гарантують, що зміни, внесені різними користувачами, застосовуються в правильному порядку та є видимими для всіх учасників у режимі реального часу.

3) Розподілені мультимедійні системи, такі як відеоконференції та потокові послуги, потребують синхронізованої координації для доставки медіа-потоків в режимі реального часу та забезпечення безперебійної взаємодії з користувачем. Те ж саме стосується і розподіленої симуляції та віртуальних середовищ, які вимагають синхронізації для координації дій та взаємодії об'єктів на всіх вузлах.

4) Розподілені системи фінансової торгівлі: системи високочастотної торгівлі та фінансові ринки, які включають кількох розподілених учасників, вимагають синхронізованої координації. У цих системах точність часу має вирішальне значення для здійснення угод, узгодження замовлень і підтримки чесних та ефективних ринків.

Нами пропонується використання прикладних протоколів взаємодії компонентів розподілених додатків, подібних до базових протоколів синхронізації часу, для синхронізації майбутніх подій в мережевій системі.

Ми стверджуємо, що, незважаючи на неможливість точної синхронізації годинників, є можливість точної синхронізації майбутніх подій в частинах розподілених додатків для детермінованих каналів зв’язку. Для каналів зв’язку з недетерминованими затримками потрібна розробка ймовірнісних протоколів кратного узгодження у часі дій.

Список використаних джерел:

1. D. L. Mills Internet time synchronization: The network time protocol, IEEE Trans. Commun., vol. 39, no. 10, pp. 1482–1493, Oct.1991

2. Nikolaos M. Freris, Scott R. Graham, P. R. Kumar Fundamental Limits on Synchronizing Clocks Over Networks. IEEE Transactions On Automatic Control, Vol. 56, № 6, June 2011, P. 1352–1364.

3. IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems, 2008



Creative Commons Attribution Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License
допомога Знайшли помилку? Виділіть помилковий текст мишкою і натисніть Ctrl + Enter

Інші наукові праці даної секції

Конференції

Конференції 2024

Конференції 2023

Конференції 2022

Конференції 2021



Міжнародна інтернет-конференція з економіки, інформаційних систем і технологій, психології та педагогіки

Наукова спільнота - інтернет конференції

:: LEX-LINE :: Юридична лінія

Інформаційне суспільство: технологічні, економічні та технічні аспекти становлення