locks، mutexes، critical sections، اور semaphores کی وضاحت کریں۔

Question

IT Interview Practice · Accepted Answer

**ایک mutex ایک lock ہے جو mutual exclusion کی ضمانت دیتا ہے — ایک وقت میں صرف ایک thread اسے پکڑ سکتی ہے اور محفوظ critical section میں داخل ہو سکتی ہے۔** ایک semaphore اسے N بیک وقت holders کی اجازت دینے تک عام کر دیتا ہے۔

## یہ کیسے کام کرتا ہے

- **Critical section**: کوڈ کا وہ حصہ جو shared state کو چھوتا ہے اور concurrently نہیں چلنا چاہیے۔
- **Mutex (mutual exclusion)**: section سے پہلے acquire کریں، بعد میں release کریں۔ ایک دوسری thread اُس وقت تک block رہتی ہے جب تک یہ آزاد نہ ہو۔ عام طور پر acquire کرنے والی thread کی ملکیت (صرف وہی release کر سکتی ہے)۔
- **Semaphore**: N permits کا ایک counter رکھتا ہے۔ `acquire()` گھٹاتا ہے (0 پر block)، `release()` بڑھاتا ہے۔ ایک mutex بنیادی طور پر N=1 والا semaphore ہے لیکن ownership semantics کے ساتھ۔

```python
lock = threading.Lock()
def transfer(a, b, amt):
    with lock:                 # critical section — one thread at a time
        a.balance -= amt
        b.balance += amt

# Semaphore: cap concurrent DB connections at 10
sem = threading.Semaphore(10)
def query():
    with sem:                  # up to 10 threads run this concurrently
        db.execute(...)
```

## خامیاں

- **release کرنا بھول جانا** → مستقل block۔ `with`/RAII/`defer` استعمال کریں تاکہ exceptions پر بھی release خودکار ہو۔
- **lock کو بہت دیر تک پکڑنا** throughput ختم کر دیتا ہے؛ critical sections چھوٹی رکھیں۔
- **Lock granularity**: ایک coarse lock سادہ ہے لیکن ہر چیز کو serialize کر دیتا ہے؛ کئی fine locks بہتر scale کرتے ہیں لیکن deadlock کا خطرہ رکھتے ہیں۔

## یہ کیوں اہم ہے

یہ shared state کی حفاظت کے روزمرہ اوزار ہیں۔ Mutexes races روکنے کے لیے رسائی کو serialize کرتی ہیں؛ semaphores ایک resource pool (connections، permits، rate limits) کو throttle کرتی ہیں۔ درست primitive منتخب کرنا اور critical sections کو مختصر رکھنا correct-and-fast اور correct-but-slow کے درمیان کا فرق ہے۔

یہ کیسے کام کرتا ہے

خامیاں

یہ کیوں اہم ہے

متعلقہ سوالات