deadlock என்றால் என்ன? நான்கு நிபந்தனைகள் என்ன, மேலும் அதை எவ்வாறு தடுப்பது?

Question

IT Interview Practice · Accepted Answer

**deadlock என்பது இரண்டு அல்லது அதற்கு மேற்பட்ட threads ஒவ்வொன்றும் மற்றவர்கள் வைத்திருக்கும் ஒரு resource-க்காக என்றென்றும் காத்திருக்கும் ஒரு நிலை, எனவே எதுவும் தொடர முடியாது.** இது ஒரே நேரத்தில் நான்கு நிபந்தனைகள் இருக்க வேண்டும் (Coffman conditions).

## நான்கு நிபந்தனைகள்

1. **Mutual exclusion** — ஒரு resource பிரத்யேகமாக வைத்திருக்கப்படுகிறது.
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-ஐ ஒரு நிலையான global வரிசையில் acquire செய்யுங்கள் — circular wait-ஐ உடைக்கிறது.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, பின்வாங்கி மீண்டும் முயற்சிக்கவும் — hold-and-wait-ஐ உடைக்கிறது.
- **ஒற்றை coarse lock** அல்லது lock-free structures சிக்கலை முழுவதுமாக தவிர்க்கின்றன.
- **Detection**: ஒரு watchdog ஒரு wait-for graph-ஐ கட்டமைத்து cycles-க்காகத் தேடுகிறது, பிறகு ஒரு பலியை kill/restart செய்கிறது.

## இது ஏன் முக்கியம்

Deadlocks systems-ஐ அமைதியாக முடக்குகின்றன — crash இல்லை, வெறும் தொங்கும் requests. நான்கு நிபந்தனைகளைப் பெயரிடுவது, locks-ஐ தூவி நம்பிக்கை வைப்பதற்குப் பதிலாக, அது *ஏன்* நடக்கிறது என்பதைப் பற்றி நீங்கள் நியாயப்படுத்தி ஒரு இலக்கு நிர்ணயிக்கப்பட்ட தடுப்பை (பொதுவாக நிலையான lock ordering) தேர்ந்தெடுக்க முடியும் என்பதைக் காட்டுகிறது.

நான்கு நிபந்தனைகள்

எடுத்துக்காட்டு மற்றும் சரிசெய்தல்

தடுப்பு & கண்டறிதல்

இது ஏன் முக்கியம்

தொடர்புடைய கேள்விகள்