lock, mutex, critical section, এবং semaphore ব্যাখ্যা করুন।

Question

IT Interview Practice · Accepted Answer

**একটি mutex হলো একটি lock যা mutual exclusion নিশ্চিত করে — একবারে কেবল একটি thread এটি ধরে রাখতে এবং সুরক্ষিত critical section-এ প্রবেশ করতে পারে।** একটি semaphore এটিকে সাধারণীকরণ করে N জন concurrent holder-কে অনুমতি দিতে।

## এটি কীভাবে কাজ করে

- **Critical section**: যে code অঞ্চল shared state স্পর্শ করে এবং concurrently চলা উচিত নয়।
- **Mutex (mutual exclusion)**: section-এর আগে acquire করুন, পরে release করুন। এটি মুক্ত না হওয়া পর্যন্ত দ্বিতীয় একটি thread block করে। সাধারণত acquire করা thread-এর মালিকানাধীন (কেবল এটিই release করতে পারে)।
- **Semaphore**: N-টি permit-এর একটি counter ধরে রাখে। `acquire()` decrement করে (0-তে block করে), `release()` increment করে। একটি 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` ব্যবহার করুন যাতে exception হলেও release স্বয়ংক্রিয় হয়।
- **একটি lock খুব বেশিক্ষণ ধরে রাখা** throughput মেরে ফেলে; critical section ছোট রাখুন।
- **Lock granularity**: একটি coarse lock সহজ কিন্তু সবকিছু serialize করে; অনেক fine lock ভালো scale করে কিন্তু deadlock-এর ঝুঁকি নেয়।

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

এগুলো shared state রক্ষার প্রতিদিনের টুল। Mutex race প্রতিরোধ করতে access serialize করে; semaphore একটি resource pool (connection, permit, rate limit) throttle করে। সঠিক primitive বেছে নেওয়া এবং critical section ছোট রাখা হলো correct-and-fast এবং correct-but-slow-এর মধ্যে পার্থক্য।

এটি কীভাবে কাজ করে

সমস্যা

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

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