Deadlock म्हणजे काय? चार अटी कोणत्या, आणि तुम्ही ते कसे रोखता?

Question

IT Interview Practice · Accepted Answer

**Deadlock ही अशी स्थिती आहे जिथे दोन किंवा अधिक threads प्रत्येकजण इतरांनी धरून ठेवलेल्या resource साठी कायमचे वाट पाहतात, त्यामुळे कोणीही पुढे जाऊ शकत नाही.** त्यासाठी चार अटी एकाच वेळी असणे आवश्यक असते (Coffman conditions).

## चार अटी

1. **Mutual exclusion** — एक resource exclusively धरून ठेवला जातो.
2. **Hold and wait** — एक thread एक resource धरून ठेवतो आणि दुसऱ्यासाठी वाट पाहतो.
3. **No preemption** — resources जबरदस्तीने काढून घेता येत नाहीत.
4. **Circular wait** — threads चे एक चक्र जिथे प्रत्येकजण पुढच्यासाठी वाट पाहतो.

यापैकी कोणतीही एक मोडा आणि 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**: नेहमी locks एका consistent global क्रमाने acquire करा — circular wait मोडते.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, मागे हटा आणि पुन्हा प्रयत्न करा — hold-and-wait मोडते.
- **Single coarse lock** किंवा lock-free structures ही समस्या पूर्णपणे टाळतात.
- **Detection**: एक watchdog wait-for graph तयार करतो आणि cycles शोधतो, मग एका बळीला kill/restart करतो.

## हे का महत्त्वाचे आहे

Deadlocks systems गुपचूप गोठवतात — crash नाही, फक्त अडकलेल्या requests. चार अटी नावाने सांगणे हे दाखवते की ते *का* घडते याबद्दल तुम्ही तर्क करू शकता आणि locks इथेतिथे टाकून आशा करण्याऐवजी एक नेमका प्रतिबंध (सहसा consistent lock ordering) निवडू शकता.

चार अटी

उदाहरण आणि उपाय

प्रतिबंध आणि शोध

हे का महत्त्वाचे आहे

संबंधित प्रश्न