Spjega l-locks, mutexes, critical sections, u semaphores.

Question

IT Interview Practice · Accepted Answer

**Mutex huwa lock li jiggarantixxi mutual exclusion — thread wieħed biss jista' jżommu u jidħol fil-critical section protetta f'daqqa.** Semaphore jiġġeneralizza dan biex jippermetti sa N holders konkorrenti.

## Kif taħdem

- **Critical section**: ir-reġjun tal-kodiċi li jmiss shared state u m'għandux jaħdem b'mod konkorrenti.
- **Mutex (mutual exclusion)**: akkwista qabel is-sezzjoni, illiberah wara. It-tieni thread jimblokka sakemm ikun ħieles. Tipikament ikun proprjetà tat-thread li jakkwistah (huwa biss jista' jilliberah).
- **Semaphore**: iżomm counter ta' N permits. `acquire()` inaqqas (jimblokka fuq 0), `release()` iżid. Mutex huwa essenzjalment semaphore b'N=1 imma bis-semantika tal-pussess.

```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(...)
```

## Insidji

- **Li tinsa tilliberah** → imblukkar permanenti. Uża `with`/RAII/`defer` biex ir-rilaxx ikun awtomatiku anke fuq exceptions.
- **Li żżomm lock għal wisq żmien** joqtol it-throughput; żomm il-critical sections żgħar.
- **Lock granularity**: lock wieħed oħxon huwa sempliċi imma jissirjalizza kollox; ħafna locks fini jiskalaw aħjar imma jirriskjaw deadlock.

## Għaliex huwa importanti

Dawn huma l-għodod ta' kuljum biex tipproteġi shared state. Il-mutexes jissirjalizzaw l-aċċess biex jipprevjenu r-races; is-semaphores jrażżnu resource pool (connections, permits, rate limits). Li tagħżel il-primittiva t-tajba u żżomm il-critical sections qosra huwa d-differenza bejn korrett-u-mgħaġġel u korrett-imma-bilmod.

Kif taħdem

Insidji

Għaliex huwa importanti

Mistoqsijiet relatati