O que causa um deadlock, e como você evitaria um?

Um deadlock precisa de quatro condições ao mesmo tempo: exclusão mútua, segurar e esperar, ausência de preempção e espera circular. Quebre qualquer uma e ele não pode acontecer. Na prática você quebra a espera circular sempre adquirindo locks na mesma ordem global, e adiciona timeouts de lock para uma transação travada falhar rápido em vez de pendurar. Manter transações curtas e tocar linhas numa ordem consistente resolve a maior parte do caminho.

Deadlock precisa de quatro coisas juntas, e a que eu de fato consigo controlar é a espera circular. Então a regra que eu instauro é que todo caminho de código pega locks na mesma ordem. Se uma transferência toca duas contas, eu ordeno por id de conta e travo a menor primeiro, e aí não importa em que direção o dinheiro está indo, nenhum ciclo pode se formar. A segunda alavanca é tempo. Eu mantenho transações curtas, então nunca seguro um lock de linha durante uma chamada de rede para um provedor de pagamento, que é um jeito clássico de transformar uma transação de cem milissegundos numa de cinco segundos. Depois eu configuro um lock timeout e retry com jitter, porque mais cedo ou mais tarde o banco vai detectar um ciclo, escolher uma vítima e abortá-la, e eu prefiro que esse caminho seja tratado em vez de vazar como um 500. No Postgres as entradas de log de deadlock nomeiam os dois comandos envolvidos, e nas duas vezes em que usei isso a correção foi ordenação.