რა არის deadlock? რა არის ოთხი პირობა და როგორ ავიცილებთ მას თავიდან?

Question

IT Interview Practice · Accepted Answer

**Deadlock არის მდგომარეობა, სადაც ორი ან მეტი thread თითოეული სამუდამოდ ელოდება რესურსს, რომელსაც სხვები იჭერენ, ამიტომ ვერცერთი ვერ აგრძელებს.** ის საჭიროებს ოთხი პირობის ერთდროულ დაცვას (Coffman-ის პირობები).

## ოთხი პირობა

1. **Mutual exclusion** — რესურსი დაჭერილია ექსკლუზიურად.
2. **Hold and wait** — thread იჭერს ერთ რესურსს, ხოლო ელოდება მეორეს.
3. **No preemption** — რესურსების იძულებით წართმევა შეუძლებელია.
4. **Circular wait** — thread-ების ციკლი, თითოეული ელოდება მომდევნოს.

დაარღვიეთ ერთი მაინც და deadlock შეუძლებელია.

```text
Thread 1 holds A, wants B ─┐
                           ├─ circular wait → deadlock
Thread 2 holds B, wants A ─┘
```

## მაგალითი და გამოსწორება

```python
# DEADLOCK: thread-ები ბლოკავენ საპირისპირო რიგით
def t1():
    with lockA:
        with lockB: ...     # T1: A შემდეგ B
def t2():
    with lockB:
        with lockA: ...     # T2: B შემდეგ A  ← ციკლი!

# გამოსწორება: დააწესეთ გლობალური lock რიგი (ყოველთვის A B-მდე)
def safe():
    with lockA:
        with lockB: ...     # ყველა იღებს ერთი და იმავე რიგით
```

## აღკვეთა და აღმოჩენა

- **Lock ordering**: ყოველთვის აიღეთ lock-ები თანმიმდევრული გლობალური რიგით — არღვევს circular wait-ს.
- **Timeout / try-lock**: `tryAcquire(timeout)`, უკან დაიხიეთ და ხელახლა სცადეთ — არღვევს hold-and-wait-ს.
- **ერთი უხეში lock** ან lock-free სტრუქტურები საერთოდ აცილებენ პრობლემას.
- **აღმოჩენა**: watchdog აგებს wait-for graph-ს და ეძებს ციკლებს, შემდეგ კლავს/რესტარტავს მსხვერპლს.

## რატომ არის ეს მნიშვნელოვანი

Deadlock-ები ჩუმად აყინებენ სისტემებს — ავარიის გარეშე, უბრალოდ ჩამოკიდებული მოთხოვნები. ოთხი პირობის დასახელება აჩვენებს, რომ შეგიძლიათ იმსჯელოთ, *რატომ* ხდება ის და აირჩიოთ მიზნობრივი აღკვეთა (ჩვეულებრივ თანმიმდევრული lock ordering), ვიდრე lock-ების შემოფანტვა და იმედის ქონა.

ოთხი პირობა

მაგალითი და გამოსწორება

აღკვეთა და აღმოჩენა

რატომ არის ეს მნიშვნელოვანი

დაკავშირებული კითხვები