armadilhas-sistemas-distribuidos

Armadilhas de Sistemas Distribuídos — Clock Skew, Fencing Tokens, GC Pause, Falhas Parciais, Modelos de Sistema

Quando usar

LLM carrega esta skill ao desenhar ou revisar código que depende de relógio (expiração, TTL, ordenação por timestamp) ou distributed lock em ambiente Supabase / Edge Function. Trigger phrases:

• "TTL expirado", "lease", "deadline", "timeout"
• "clock skew", "wall clock", "now() vs clock_timestamp()", "timestamp errado"
• "ordenação por timestamp", "ordering cross-node"
• "distributed lock", "leader election", "advisory lock", "fencing token"
• "split brain", "GC pause", "process pause", "stop-the-world"
• "nó morto vs lento", "detecção de falha", "phi accrual", "heartbeat"
• "byzantine fault", "crash-recovery model", "crash-stop"
• "Edge Function não responde", "lock que não libera"

Esta skill estende cascading-failures (v1.11) — herda noção de timeout vs falha real e adiciona armadilhas de relógio + fencing tokens + modelos de sistema (cap 8 DDIA).

Termos canônicos preservados em EN porque são padrão internacional do livro DDIA Ch 8 + literatura de sistemas distribuídos. Definições PT-BR ↔ EN no glossário _shared-dados-distribuidos/glossary.md seção (e).

Regras absolutas

REGRA #1 (NUNCA wall clock para lógica de expiração): clock_timestamp() retorna real-time wall clock que pode pular (forward ou backward) quando NTP corrige drift. NUNCA usar para expirar TTL, lease, invite token, ordenação cross-transaction. Use now() ou transaction_timestamp() (alias) — monotônico DENTRO da transação. Para timestamp absoluto persistido, escreva now() na transação que cria o token.

REGRA #2 (lock distribuído sem fencing token = split-brain garantido): Qualquer pattern de "adquire lease 30s + faz trabalho" é vulnerável a GC pause / network partition / VM suspend. Mitigação obrigatória: token de fencing monotônico crescente; o storage rejeita writes com last_token < $token. Sem fencing, dois processos podem se achar líder simultaneamente e gerar writes conflitantes. Pattern Postgres canônico: pg_advisory_xact_lock(hashtext('lock_name')) + nextval('fencing_tokens_seq').