Zakleszczenie (Deadlock)
Cykliczne oczekiwanie, gdzie procesy blokują się nawzajem.
Zakleszczenie (deadlock) to sytuacja, w której grupa procesów jest zablokowana na zawsze, ponieważ każdy z nich czeka na zasób trzymany przez inny proces.
4 warunki Coffmana: Wzajemne wykluczanie, Przetrzymywanie i oczekiwanie, Brak wywłaszczania, Oczekiwanie cykliczne.
graph LR
Center["Zakleszczenie (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;
🧒 Wyjaśnij jak 5-latkowi
Wyobraź sobie cztery samochody na skrzyżowaniu blokujące się nawzajem. Żaden nie może ruszyć, dopóki inny się nie ruszy. Utknęli na zawsze.
🤓 Expert Deep Dive
Algorytm Bankiera unika zakleszczeń poprzez analizę bezpiecznych stanów. Wykrywanie używa grafów oczekiwania (wait-for graphs).
📚 Źródła
1. Deadlock
6. medium.com