Magyarázd el a lockokat, mutexeket, critical sectionöket és semaphore-okat.

Question

IT Interview Practice · Accepted Answer

**A mutex egy lock, amely garantálja a kölcsönös kizárást (mutual exclusion) — egyszerre csak egy thread tarthatja és léphet be a védett critical sectionbe.** A semaphore ezt általánosítja, hogy legfeljebb N egyidejű tartót engedjen.

## Hogyan működik

- **Critical section**: a kódrégió, amely a megosztott állapotot érinti és nem futhat egyidejűleg.
- **Mutex (mutual exclusion)**: acquire a szakasz előtt, release utána. Egy második thread blokkol, amíg fel nem szabadul. Tipikusan az acquire-oló thread birtokolja (csak az release-elheti).
- **Semaphore**: N permit számlálóját tartja. Az `acquire()` dekrementál (0-nál blokkol), a `release()` inkrementál. Egy mutex lényegében egy N=1 semaphore, de ownership szemantikával.

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

# Semaphore: az egyidejű DB kapcsolatok korlátozása 10-re
sem = threading.Semaphore(10)
def query():
    with sem:                  # legfeljebb 10 thread futtatja ezt egyidejűleg
        db.execute(...)
```

## Buktatók

- **A release elfelejtése** → állandó blokk. Használj `with`/RAII/`defer`-t, hogy a release automatikus legyen kivételek esetén is.
- **Egy lock túl hosszú tartása** megöli az áteresztőképességet; tartsd kicsin a critical sectionöket.
- **Lock granularitás**: egy durva lock egyszerű, de mindent sorbarendez; sok finom lock jobban skálázik, de deadlock kockázatával.

## Miért fontos

Ezek a mindennapi eszközök a megosztott állapot védelmére. A mutexek sorbarendezik a hozzáférést a race-ek megelőzésére; a semaphore-ok egy erőforrás-készletet fojtanak (kapcsolatok, permitek, rate limitek). A megfelelő primitív kiválasztása és a critical sectionök röviden tartása a különbség a helyes-és-gyors és a helyes-de-lassú között.

Hogyan működik

Buktatók

Miért fontos

Kapcsolódó kérdések