deadlock কী? চারটি শর্ত কী কী, এবং আপনি কীভাবে এটি প্রতিরোধ করেন?

Question

IT Interview Practice · Accepted Answer

**একটি deadlock হলো এমন একটি অবস্থা যেখানে দুই বা ততোধিক thread প্রত্যেকে অন্যদের ধরে রাখা একটি resource-এর জন্য চিরকাল অপেক্ষা করে, তাই কেউই এগোতে পারে না।** এটির জন্য একসাথে চারটি শর্ত পূরণ হওয়া দরকার (Coffman condition)।

## চারটি শর্ত

1. **Mutual exclusion** — একটি resource একচেটিয়াভাবে ধরে রাখা হয়।
2. **Hold and wait** — একটি thread একটি resource ধরে রাখে যখন আরেকটির জন্য অপেক্ষা করে।
3. **No preemption** — resource জোর করে কেড়ে নেওয়া যায় না।
4. **Circular wait** — thread-এর একটি cycle যেখানে প্রত্যেকে পরেরটির জন্য অপেক্ষা করে।

যেকোনো একটি ভাঙুন এবং deadlock অসম্ভব।

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

## উদাহরণ ও সমাধান

```python
# DEADLOCK: threads lock in opposite orders
def t1():
    with lockA:
        with lockB: ...     # T1: A then B
def t2():
    with lockB:
        with lockA: ...     # T2: B then A  ← cycle!

# FIX: impose a global lock ordering (always A before B)
def safe():
    with lockA:
        with lockB: ...     # everyone acquires in the same order
```

## প্রতিরোধ ও সনাক্তকরণ

- **Lock ordering**: সবসময় একটি সামঞ্জস্যপূর্ণ global ক্রমে lock acquire করুন — circular wait ভাঙে।
- **Timeout / try-lock**: `tryAcquire(timeout)`, back off এবং retry — hold-and-wait ভাঙে।
- **একটি coarse lock** বা lock-free structure সমস্যাটি সম্পূর্ণরূপে এড়ায়।
- **সনাক্তকরণ**: একটি watchdog একটি wait-for graph তৈরি করে এবং cycle খোঁজে, তারপর একটি victim-কে kill/restart করে।

## এটি কেন গুরুত্বপূর্ণ

Deadlock system-কে নীরবে জমাট করে দেয় — কোনো crash নেই, কেবল ঝুলে থাকা request। চারটি শর্তের নাম বলা দেখায় আপনি *কেন* এটি ঘটে সে সম্পর্কে যুক্তি দিতে পারেন এবং একটি লক্ষ্যভিত্তিক প্রতিরোধ (সাধারণত সামঞ্জস্যপূর্ণ lock ordering) বেছে নিতে পারেন, lock ছিটিয়ে আশা করার বদলে।

চারটি শর্ত

উদাহরণ ও সমাধান

প্রতিরোধ ও সনাক্তকরণ

এটি কেন গুরুত্বপূর্ণ

সম্পর্কিত প্রশ্ন