Какие проблемы возникают при распределённых транзакциях?

Проблемы распределённых транзакций

Распределённые транзакции — это операции, которые затрагивают несколько независимых узлов (баз данных, сервисов). Они сложны из-за CAP-теоремы, которая утверждает, что в распределённой системе невозможно одновременно обеспечить согласованность (Consistency), доступность (Availability) и устойчивость к разделению (Partition tolerance). Приходится выбирать два из трёх свойств.

Основные проблемы

• Согласованность: Гарантия, что все узлы видят одни и те же данные. В распределённой среде это требует синхронизации, что замедляет работу.
• Доступность: Система должна отвечать на запросы, даже если часть узлов недоступна. При строгой согласованности доступность может страдать.
• Устойчивость к разделению: Сеть может разорваться, и узлы не смогут общаться. Система должна продолжать работать.
• Двухфазный коммит (2PC): Протокол для атомарности, но он блокирует ресурсы и уязвим к отказу координатора.
• Производительность: Сетевые задержки и блокировки снижают пропускную способность.

Пример кода (упрощённая Saga на Node.js)

async function createOrderSaga(order) {
  try {
    await reserveStock(order); // Шаг 1
    await processPayment(order); // Шаг 2
    await confirmOrder(order); // Шаг 3
  } catch (error) {
    // Компенсационные действия
    await cancelPayment(order);
    await releaseStock(order);
    throw error;
  }
}

В этом примере каждый шаг — отдельная операция. Если что-то пошло не так, запускаются компенсации.

Вывод

Распределённые транзакции требуют компромиссов. Для критичных по согласованности систем (финансы) используют 2PC или Paxos/Raft. Для микросервисов чаще применяют Saga, жертвуя строгой согласованностью ради доступности и производительности.