Kilitlenmeler neyi neden olur ve bunları nasıl önlersiniz?

Question

Accepted Answer

Bir **kilitlenme** (deadlock), iki (veya daha fazla) işlemin birbirinin ihtiyaç duyduğu bir kilit tutması durumunda meydana gelir — hiçbiri ilerleyemez, birbirini bekleyerek sonsuza dek sıkışıp kalırlar. Veritabanları kilitlenmeleri tespit eder ve bir işlemi **iptal ederek** ("kurban" seçerek) çözerler; bu işlem yeniden denenmelidir. Nedenleri ve önleme yollarını anlamak, eş zamanlı uygulamalar için önemlidir.

## Kilitlenme nasıl gerçekleşir

```text
Transaction A: locks row 1, then wants row 2
Transaction B: locks row 2, then wants row 1
→ A waits for B (to release row 2), B waits for A (to release row 1) → DEADLOCK
  Neither can proceed; they're waiting on each other in a cycle.
```

```sql
-- Transaction A                    -- Transaction B (concurrent)
BEGIN;                              BEGIN;
UPDATE accounts SET .. WHERE id=1;  UPDATE accounts SET .. WHERE id=2;  -- each locks a row
UPDATE accounts SET .. WHERE id=2;  UPDATE accounts SET .. WHERE id=1;  -- each wants the OTHER's
-- → DEADLOCK: the database aborts one transaction
```

## Veritabanları kilitlenmeleri nasıl yönetir

```text
Databases DETECT deadlocks (find the cycle of waiting transactions) and resolve them
by ABORTING one transaction (the victim) with a deadlock error → it must RETRY.
→ Your application must handle the deadlock error and retry the transaction.
```

## Önleme stratejileri

```text
✓ CONSISTENT LOCK ORDERING — always acquire locks in the SAME order (e.g. always
  lock the lower account id first). This breaks the cycle → the #1 prevention technique.
✓ Keep transactions SHORT — hold locks for less time (less chance to overlap)
✓ Access tables/rows in a consistent order across all transactions
✓ Use lower isolation levels where appropriate (less locking)
✓ Avoid user interaction / long operations inside a transaction (holds locks too long)
✓ Handle deadlock errors with RETRY logic (deadlocks can't be fully eliminated)
```

**#1 önleme** yöntemi **tutarlı kilit sıralaması** (consistent lock ordering) dır: tüm işlemler kilitleri aynı sırada alırsa (örneğin, her zaman daha düşük id'yi önce), dairesel bekleyiş oluşamaz.

## Yeniden deneme deseni

```text
Since deadlocks can still happen, applications should catch the deadlock error and
RETRY the transaction (often a few times with a small delay). This is standard
resilience for concurrent database code.
```

## Neden önemli

Kilitlenmeler, veritabanlarında önemli bir eş zamanlılık sorunudur — çakışan verileri değiştiren eş zamanlı işlemleri olan herhangi bir uygulamada ortaya çıkabilirler ve bunları anlamak, sağlam eş zamanlı sistemler oluşturmak için değerli üst düzey bilgidir.

**Nedeni** anlamak — iki işlemin birbirinin ihtiyaç duyduğu kilidi tutması, hiçbirinin ilerleyemediği dairesel bir bekleme yarması — temeldir.

Veritabanları kilitlenmeleri **nasıl yönettiğini** bilmek (döngüyü tespit etme ve bir işlemi kurban olarak iptal etme, işlem yeniden denmesi gerekir) önemlidir, çünkü bu **uygulamanız kilitlenme hatalarını yeniden deneme mantığı ile işlemek zorunda** olduğu anlamına gelir — kilitlenmeler tamamen ortadan kaldırılamaz, bu nedenle dayanıklı eş zamanlı kod kilitlenme hatası yakalar ve yeniden dener (standart, önemli bir desen).

**Önleme stratejileri**, özellikle #1 teknik olan **tutarlı kilit sıralaması** (tüm işlemler arasında her zaman aynı sırada kilitleri almak, dairesel-bekleme koşulunu kırmak) — işlemleri kısa tutmakla birlikte (kilitleri kısaca tutmak), kaynakları tutarlı sırada erişmek ve işlemler içinde uzun işlemlerden kaçınmak — pratik bilgidir.

Kilitlenmeler eş zamanlı veritabanı uygulamalarında gerçek sorunlar (başarısız işlemler, hatalar, düşük performans) yarattığından ve nedenleri (dairesel kilit bekleme), önleme yollarını (özellikle tutarlı kilit sıralaması ve kısa işlemler) ve yeniden deneme mantığının gerekliliğini anlamak sağlam eş zamanlı sistemler oluşturmanıza izin verdiğinden, önemli eş zamanlı veritabanı erişimi olan herhangi bir uygulama için kilitlenmeleri anlamak değerli üst düzey bilgidir — sık karşılaşılan bir operasyonel endişe ve veritabanı eş zamanlılığı ve dayanıklılığını anlamayı gösteren yaygın bir ileri konudur.