¿Qué es un deadlock?

El bloqueo mutuo (deadlock) es una situación en sistemas multihilo o distribuidos donde dos o más procesos (o hilos) están en espera de recursos que están siendo utilizados por otros, y ninguno puede continuar.

Ejemplo clásico de deadlock:

• El proceso A ha obtenido el recurso 1 y espera el recurso 2.
• El proceso B ha obtenido el recurso 2 y espera el recurso 1.

Ambos procesos bloquean mutuamente indefinidamente.

Para evitar deadlocks, se aplican:

• Una jerarquía de adquisición de recursos (todos los procesos adquieren recursos en un mismo orden).
• Tiempos de espera (timeouts).
• Algoritmos de detección y resolución de deadlocks.

En las pruebas, es importante verificar escenarios que puedan conducir a deadlocks para garantizar la estabilidad y la resistencia a fallos del sistema.