Interbloqueo (Deadlock)
Situación donde procesos se bloquean mutuamente esperando recursos.
Un deadlock (interbloqueo) es una situación donde un conjunto de procesos están bloqueados porque cada uno retiene un recurso y espera otro que posee un proceso diferente. Ninguno puede avanzar.
Las 4 condiciones de Coffman son necesarias: Exclusión mutua, Retención y espera, No expropiación y Espera circular.
graph LR
Center["Interbloqueo (Deadlock)"]:::main
Pre_process["process"]:::pre --> Center
click Pre_process "/terms/process"
Pre_mutex["mutex"]:::pre --> Center
click Pre_mutex "/terms/mutex"
classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
linkStyle default stroke:#4b5563,stroke-width:2px;
🧒 Explícalo como si tuviera 5 años
Imagina cuatro autos en un cruce, bloqueándose mutuamente. Ninguno puede avanzar hasta que otro se mueva, y ninguno puede retroceder. Están atascados para siempre.
🤓 Expert Deep Dive
El algoritmo del banquero (Dijkstra) evita deadlocks asegurando que el sistema siempre esté en un estado seguro. La detección usa grafos de esperar-por (wait-for graphs).
📚 Fuentes
1. Deadlock
6. medium.com