ПОРІВНЯЛЬНИЙ АНАЛІЗ ПРОТОКОЛІВ УПРАВЛІННЯ ТРАНЗАКЦІЯМИ РІС ((ОГЛЯД)

Анотація

У дослідженні проведено порівняльний аналіз протоколів управління розподіленими транзакціями - двофазного коміту (2PC), трифазного коміту (3PC), патерну Saga та протоколу Try‑Confirm‑Cancel (TCC) - у контексті транспортних розподілених інформаційних систем (РІС), для яких критичними є надійність, низька латентність та масштабованість. Транспортні РІС характеризуються різноманітністю сервісів (планування, тарифікація, оплати, бронювання, телеметрія) й необхідністю використання міжсервісних транзакцій. На основі сучасних публікацій і практичного використання сформовано критерії порівняння (гарантії узгодженості та ізоляції, затримка, пропускна здатність, блокування при збої, складність реалізації) та представлено узагальнену таблицю порівняння характеристик основних протоколів. Показано, що 2PC забезпечує суворі ACID‑гарантії та звичну модель програмування, однак може призводити до блокування системи у випадку збоїв координатора. 3PC зменшує проблему блокування, вводячи додаткову фазу, проте це ускладнює реалізацію і збільшує комунікаційні витрати. Натомість шаблон Saga забезпечує узгодженість даних шляхом послідовності локальних транзакцій із компенсаціями, підвищуючи відмовостійкість і продуктивність системи за рахунок допущення часової неузгодженості даних. TCC вводить попереднє резервування ресурсів з підтвердженням/скасуванням, підвищуючи узгодженість порівняно з Saga, однак потребує ще складнішої реалізації та все ще працює в режимі остаточної узгодженості. Сформульовано рекомендації для інженерів щодо вибору оптимального механізму транзакцій з огляду на пріоритети системи: коли першим є миттєва узгодженість - доцільний локалізований 2PC або 3PC; коли важливі доступність і швидкодія - домінують Saga/TCC; гібридне поєднання забезпечує збалансований компроміс між продуктивністю, масштабованістю та вимогами до цілісності даних у РІС.