Apa itu deadlock, dan bagaimana Anda mencegah, menghindari, atau mendeteksinya?

Question

IT Interview Practice · Accepted Answer

Sebuah **deadlock** adalah keadaan di mana dua atau lebih thread masing-masing **terblokir selamanya**, masing-masing menunggu sumber daya yang dipegang oleh yang lain. Tidak ada yang membuat kemajuan.

## Empat kondisi yang diperlukan (Coffman)

Keempatnya harus terpenuhi sekaligus — hilangkan salah satunya dan deadlock menjadi mustahil:

```text
1. Mutual exclusion   → a resource is held exclusively (only one holder at a time)
2. Hold and wait      → a thread holds one resource while waiting to acquire another
3. No preemption      → resources can't be forcibly taken; only released voluntarily
4. Circular wait      → a cycle: T1 waits for R2 (held by T2), T2 waits for R1 (held by T1)
```

```text
   T1 ──holds──▶ R1        T1 wants R2 ──▶ (held by T2)
   T2 ──holds──▶ R2        T2 wants R1 ──▶ (held by T1)   ← cycle = deadlock
```

## Menangani deadlock

- **Pencegahan (prevention)** — desain sehingga satu kondisi tidak pernah bisa terpenuhi. Yang paling praktis: bunuh **circular wait** dengan memberlakukan **urutan lock global** (selalu ambil A sebelum B). Atau serang **hold-and-wait** dengan mengambil semua lock yang dibutuhkan sekaligus.
- **Penghindaran (avoidance)** — kabulkan sebuah permintaan hanya jika sistem tetap berada dalam keadaan "aman" di mana setiap thread masih bisa selesai (**algoritma Banker**). Ia membutuhkan kebutuhan sumber daya maksimum setiap thread di muka, sehingga jarang dipakai dalam praktik.
- **Deteksi & pemulihan (detection & recovery)** — biarkan deadlock terjadi, secara berkala pindai **wait-for graph** untuk mencari siklus, lalu pulihkan dengan membunuh atau me-rollback sebuah korban. Database melakukan persis ini: mereka mendeteksi deadlock dan membatalkan satu transaksi dengan error "deadlock victim".
- **Abaikan ("algoritma burung unta")** — jika deadlock jarang terjadi, cukup restart; banyak OS menerima cara ini untuk sebagian sumber daya.

## Mengapa ini penting

Deadlock adalah topik interview klasik karena kerangka empat-kondisi adalah alat diagnostik yang presisi: diberi sebuah hang, Anda bisa bertanya "kondisi mana yang bisa saya patahkan?" Dalam sistem nyata jawaban andalannya adalah **urutan lock yang konsisten** (yang mencegah circular wait) — sebuah aturan yang Anda terapkan setiap kali mengambil lebih dari satu lock. Menyadari bahwa database Anda melempar error deadlock-victim, dan tahu untuk cukup me-retry transaksi itu, adalah penerapan praktis yang langsung.

Empat kondisi yang diperlukan (Coffman)

Menangani deadlock

Mengapa ini penting

Pertanyaan terkait