Deadlock (Impasse)
Espera circular onde processos se bloqueiam indefinidamente.
Um deadlock é uma situação em que um conjunto de processos fica permanentemente bloqueado porque cada um retém um recurso e espera por outro recurso retido por outro processo.
As 4 condições de Coffman: Exclusão mútua, Posse e espera, Não preempção, Espera circular.
graph LR
Center["Deadlock (Impasse)"]:::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;
🧒 Explique como se eu tivesse 5 anos
Imagine quatro carros em um cruzamento bloqueando uns aos outros. Ninguém pode avançar até que outro se mova. Eles ficam presos para sempre.
🤓 Expert Deep Dive
O Algoritmo do Banqueiro evita deadlocks verificando estados seguros. A detecção usa grafos de espera (wait-for graphs).
📚 Fontes
1. Deadlock
6. medium.com