რა არის deadlock და როგორ აღკვეთ, აიცილებ თავიდან ან აღმოაჩენ მას?

Question

IT Interview Practice · Accepted Answer

**Deadlock** არის მდგომარეობა, სადაც ორი ან მეტი thread თითოეული **სამუდამოდ დაბლოკილია**, თითოეული ელოდება რესურსს, რომელსაც სხვა იჭერს. არაფერი მიდის წინ.

## ოთხი აუცილებელი (Coffman) პირობა

ოთხივე ერთდროულად უნდა სრულდებოდეს — მოხსენით ერთი და deadlock შეუძლებელია:

```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
```

## deadlock-ის მართვა

- **აღკვეთა (prevention)** — დააპროექტეთ ისე, რომ ერთი პირობა ვერასდროს სრულდებოდეს. ყველაზე პრაქტიკული: მოკალით **circular wait** **გლობალური lock რიგის** დაწესებით (ყოველთვის აიღეთ A-ს B-მდე). ან შეუტიეთ **hold-and-wait**-ს ყველა საჭირო lock-ის ერთდროულად აღებით.
- **აცილება (avoidance)** — მოთხოვნა დააკმაყოფილეთ მხოლოდ მაშინ, თუ სისტემა რჩება „უსაფრთხო" მდგომარეობაში, სადაც ყოველ thread-ს ჯერ კიდევ შეუძლია დასრულება (**Banker's algorithm**). მას წინასწარ სჭირდება თითოეული thread-ის რესურსების მაქსიმალური საჭიროება, ამიტომ პრაქტიკაში იშვიათად გამოიყენება.
- **აღმოჩენა და აღდგენა (detection & recovery)** — მიეცით deadlock-ებს ადგილი, პერიოდულად სკანირეთ **wait-for graph** ციკლისთვის, შემდეგ აღდგით მსხვერპლის მოკვლით ან rollback-ით. Database-ები ზუსტად ამას აკეთებენ: ისინი აღმოაჩენენ deadlock-ებს და წყვეტენ ერთ transaction-ს „deadlock victim" შეცდომით.
- **იგნორირება („ostrich algorithm")** — თუ deadlock-ები იშვიათია, უბრალოდ გადატვირთეთ; ბევრი OS ამას იღებს ზოგიერთი რესურსისთვის.

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

Deadlock კლასიკური ინტერვიუს თემაა, რადგან ოთხპირობიანი ჩარჩო ზუსტი დიაგნოსტიკური ხელსაწყოა: მიცემული hang-ისთვის შეგიძლიათ იკითხოთ „რომელი პირობა შემიძლია დავარღვიო?". რეალურ სისტემებში მთავარი პასუხია **თანმიმდევრული lock რიგი** (რომელიც აღკვეთს circular wait-ს) — წესი, რომელსაც ყოველ ჯერზე იყენებთ, როცა ერთზე მეტ lock-ს იღებთ. იმის ამოცნობა, რომ თქვენი database ისვრის deadlock-victim შეცდომებს, და იმის ცოდნა, რომ უბრალოდ უნდა გაიმეოროთ (retry) ის transaction, პირდაპირი პრაქტიკული გამოყენებაა.

ოთხი აუცილებელი (Coffman) პირობა

deadlock-ის მართვა

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

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