Объясните механизм двухфазного подтверждения транзакций и его роль в распределённых системах.

Двухфазное подтверждение (Two-Phase Commit, 2PC) — это протокол, обеспечивающий атомарность распределённых транзакций, то есть гарантирует, что все участники либо зафиксируют изменения, либо откатят их одновременно.

Механизм состоит из двух фаз:

1. Фаза подготовки (Prepare phase):

   • Координатор транзакции отправляет запрос всем участникам с просьбой подготовиться к фиксации (commit).
   • Каждый участник выполняет все необходимые проверки и операции, блокирует ресурсы и отвечает координатору "готов" или "не готов".

2. Фаза фиксации (Commit phase):

   • Если все участники ответили "готов", координатор посылает команду "commit" — участники фиксируют изменения.
   • Если хотя бы один участник ответил "не готов" или не ответил, координатор посылает команду "rollback" — все участники откатывают изменения.

Роль в распределённых системах:

• Обеспечивает согласованность данных при выполнении транзакций, затрагивающих несколько узлов.
• Предотвращает ситуацию, когда часть системы фиксирует изменения, а другая — нет, что могло бы привести к рассогласованию данных.

Недостатки:

• Может приводить к блокировкам ресурсов на длительное время.
• Уязвим к сбоям координатора, что требует дополнительных механизмов для восстановления.

Пример упрощённого псевдокода координатора:

// Фаза подготовки
for _, participant := range participants {
    if !participant.Prepare() {
        // Отправляем откат всем
        for _, p := range participants {
            p.Rollback()
        }
        return
    }
}
// Фаза фиксации
for _, participant := range participants {
    participant.Commit()
}