X'inhuma r-race conditions, u kif il-mutexes u s-semaphores jipprevjenuhom?

Question

IT Interview Practice · Accepted Answer

Meta diversi threads jaqsmu d-data, l-operazzjonijiet tagħhom jistgħu jitħalltu (interleave) f'nofs aġġornament b'diversi passi, u jipproduċu race condition — bug fejn ir-riżultat jiddependi fuq timing imprevedibbli. Is-synchronization hija s-sett ta' għodda li jimponu ordni sikur.

Il-problema: race condition

tidher atomika imma fil-verità hija read-modify-write:

## Il-problema: race condition

`count++` tidher atomika imma fil-verità hija read-modify-write:

```c
// two threads, shared int count = 0, each does count++ once
// thread A: read count (0) ─┐           interleaving loses an update:
// thread B: read count (0) ─┤  both read 0, both write 1 → count == 1, not 2
// thread A: write 1         │
// thread B: write 1         ┘
```

It-tieqa bejn il-qari u l-kitba hija **critical section** — kodiċi li jmiss stat maqsum u m'għandux jaħdem b'mod konkorrenti.

## L-għodda

- **Mutex (lock)** — mutual exclusion: thread wieħed biss iżommha f'daqqa; l-oħrajn jimblukkaw sakemm tiġi rilaxxata. Geżwer il-critical section:

```c
pthread_mutex_lock(&m);
count++;                 // critical section — exclusive
pthread_mutex_unlock(&m);
```

- **Semaphore** — counter li jippermetti sa *N* detenturi konkorrenti. Semaphore binarju (N=1) jaġixxi bħal lock; semaphore li jgħodd jillimita, ngħidu aħna, connection pool għal N utenti. Jintuża wkoll għal **signaling** bejn threads (producer/consumer).
- **Condition variable** — tħalli thread jorqod sakemm predikat isir veru (eż. "queue mhux vojt"), u jqum mingħajr busy-waiting.
- **Atomic operations** — istruzzjonijiet tal-hardware bħal compare-and-swap (CAS) li jagħmlu read-modify-write b'mod indiviżibbli, u jippermettu counters lock-free.

## Nases

Il-locks isolvu r-races imma jintroduċu riskji ġodda: **deadlock** (threads jistennew il-locks ta' xulxin), **priority inversion**, u **contention** (threads jsiru serjali, u joqtlu l-parallelism). Ir-regola prattika: żomm il-critical sections **qosra**, u dejjem akkwista diversi locks f'**ordni globali konsistenti**.

## Għaliex huwa importanti

Il-bugs tal-konkorrenza huma fost l-aktar diffiċli biex issibhom — huma nondeterministiċi u spiss jgħibu taħt debugger. L-intervistaturi jridu jaraw li tista' *tinduna* b'critical section, tagħżel il-primitiva t-tajba (mutex vs semaphore vs atomic), u tirraġuna dwar il-modi tal-falliment (deadlock, contention). Dan japplika direttament għal kull server multithreaded, cache maqsum, jew counter.

Il-problema: race condition

L-għodda

Nases

Għaliex huwa importanti

Mistoqsijiet relatati