Two-Phase Commit

Garante que uma transação sobre vários bancos de dados commita em todos ou em nenhum. Na fase 1 cada banco executa sua parte e faz PREPARE TRANSACTION, votando SIM; na fase 2 o coordenador persiste a decisão e manda COMMIT PREPARED, ou ROLLBACK PREPARED se alguém votou NÃO. Use com 2 ou 3 participantes que suportam prepare, quando compensação de saga não serve.

passos: 6
arquivos: 7
teste: 1
tecnologias: 5

Infraestrutura realTypeScriptBunElysiaPostgreSQLDocker

Cenário Relações Comparar

Baixar cartão

Cenário

Uma transferência entre dois bancos, cada um com seu próprio banco de dados (bank_a e bank_b). R$ 500,00 para uma conta ativa: os dois votam SIM e commitam. R$ 200,00 para uma conta bloqueada: o banco B vota NÃO e o banco A desfaz o débito que já tinha preparado. R$ 300,00 com o coordenador parando logo depois de decidir: as duas transações ficam preparadas, segurando o lock da conta, até o recovery completar o commit.

Planta

Sequência

7/7

7 passos — reproduza para seguir o fluxo

chamada
resposta ou assíncrono
falha
passo
toque num participante para focar
Outras plantas de sequência

Como funciona

6 passos

Prepara todos, confirma por unanimidade.

Esconde cada passo: lembre antes de tocar para revelar.

Vocabulário compartilhado

BEGIN+3

ROLLBACK+2

PREPARE TRANSACTION+1

Two-Phase Commit (2PC)

ROLLBACK PREPARED+1

Two-Phase Commit (2PC)

committing+1

Two-Phase Commit (2PC)

COMMIT PREPARED+1

Two-Phase Commit (2PC)

pg_prepared_xacts+1

Two-Phase Commit (2PC)

01
Fase 1Cada participante roda BEGIN, sua escrita e PREPARE TRANSACTION; a transação sobrevive à sessão e segura os locks
02
VotoErro na escrita (saldo insuficiente, conta bloqueada) é voto NÃO, com ROLLBACK local
03
UnanimidadeUm NÃO basta para ROLLBACK PREPARED em quem preparou
04
Decisão persistidaCom todos SIM, tpc_decisions recebe committing antes de qualquer COMMIT PREPARED
05
RecoveryNo restart, cada gid em pg_prepared_xacts é commitado se tem decisão e desfeito se não tem (presumed abort)
06
Pré-requisitomax_prepared_transactions é 0 por padrão; o docker.sh sobe o PostgreSQL com 100

Trade-offs

O que se ganha, o que se paga

3 vantagenscada ganho tem um preço3 custos

Vantagens

Atomicidade imediata entre bancos
Sem janela de inconsistência
Recovery determinístico pela decisão

Custos

Locks seguros do prepare até a fase 2
Coordenador fora do ar bloqueia os participantes
Prático só com 2 ou 3 participantes

apps/patterns/two-phase-commit

7 arquivos

sql/

01_schema.sqlschemaBanco do coordenador com tpc_decisions e os bancos bank_a e bank_b

src/

coordinator_transfer.tsAs duas fases, a decisão persistida e o recovery por pg_prepared_xacts
participant_transfer.tsDébito no banco A e crédito no banco B
config_transfer.tsLê e valida o ambiente no boot
coordinator_transfer.test.tstesteIntegração contra PostgreSQL real: commit, voto NÃO, fronteira do saldo, lock após o prepare e recovery
demo.tsdemoTrês transferências e o recovery depois da queda do coordenador