Race condition

// BUGADO: ler -> decidir -> gravar em três passos separados.
// Entre o SELECT e o UPDATE existe uma janela — e produção mora nela.
async function sacarBugado(db: Db, conta: string, valor: number) {
  const { saldo } = await db.one("SELECT saldo FROM contas WHERE id = $1", [conta]);
  if (saldo < valor) throw new Error("saldo insuficiente");   // os dois passam aqui
  await db.none("UPDATE contas SET saldo = saldo - $1 WHERE id = $2", [valor, conta]);
  // dois saques simultâneos de 100 numa conta com 100: ambos leem 100,
  // ambos passam na checagem, ambos gravam. Saldo final: -100.
}

// CORRETO: a decisão acontece DENTRO da escrita, onde o banco é atômico.
async function sacar(db: Db, conta: string, valor: number) {
  const alteradas = await db.result(
    `UPDATE contas
        SET saldo = saldo - $1
      WHERE id = $2
        AND saldo >= $1`,        // checagem e escrita na mesma operação
    [valor, conta]
  );
  if (alteradas.rowCount === 0) throw new Error("saldo insuficiente");
  // o segundo saque concorrente encontra saldo < valor e altera 0 linhas.
}

// Alternativa quando o conflito é raro: lock otimista por versão.
// UPDATE ... SET saldo = $novo, versao = versao + 1
//  WHERE id = $conta AND versao = $versaoLida
// -> 0 linhas alteradas = alguém mexeu antes; releia e tente de novo.
interface Db {
  one(sql: string, p: unknown[]): Promise<{ saldo: number }>;
  none(sql: string, p: unknown[]): Promise<void>;
  result(sql: string, p: unknown[]): Promise<{ rowCount: number }>;
}