¿Qué causa un interbloqueo y cómo evitarías uno?

Un interbloqueo necesita cuatro condiciones a la vez: exclusión mutua, retener y esperar, sin expropiación y espera circular. Rompe cualquiera de ellas y no puede ocurrir. En la práctica rompes la espera circular adquiriendo siempre los locks en el mismo orden global, y añades timeouts de lock para que una transacción atascada falle rápido en vez de quedarse colgada. Mantener las transacciones cortas y tocar las filas en un orden consistente te lleva casi todo el camino.

El interbloqueo necesita cuatro cosas juntas, y la que puedo controlar de verdad es la espera circular. Así que la regla que pongo es que todos los caminos de código toman los locks en el mismo orden. Si una transferencia toca dos cuentas, ordeno por id de cuenta y bloqueo primero la menor, y entonces da igual en qué dirección va el dinero, no se puede formar un ciclo. La segunda palanca es el tiempo. Mantengo las transacciones cortas, así que nunca retengo un lock de fila mientras hago una llamada de red a una pasarela de pago, que es la forma clásica de convertir una transacción de cien milisegundos en una de cinco segundos. Después pongo un timeout de lock y reintento con jitter, porque antes o después la base de datos detectará un ciclo, elegirá una víctima y la abortará, y prefiero que ese camino esté gestionado a que salga como un 500. En Postgres las entradas de log de interbloqueo nombran las dos sentencias implicadas, y las dos veces que las he usado el arreglo fue el orden.