Cos'è una race condition? Fai un esempio e descrivi il suo sintomo.

Question

IT Interview Practice · Accepted Answer

**Una race condition è un bug in cui il risultato dipende dalla tempistica imprevedibile di operazioni concorrenti che accedono a uno stato condiviso.** Il caso classico è un read-modify-write che non è atomico.

## Come funziona

`counter += 1` sembra atomico ma in realtà sono tre passi: leggi, somma, scrivi. Due thread possono intrecciarsi in modo che un aggiornamento venga perso.

```text
counter = 0
Thread A: legge 0 ─────────── scrive 1
Thread B:      legge 0 ─ scrive 1
Risultato: 1  (dovrebbe essere 2 — un incremento perso)
```

## Esempio

```python
counter = 0
def inc():
    global counter
    for _ in range(100_000):
        counter += 1          # NON atomico: leggi, +1, scrivi

# Esegui due thread, aspettati 200_000...
# ...ma spesso ottieni meno — un aggiornamento perso
```

La soluzione è rendere la sezione atomica con un lock:

```python
lock = threading.Lock()
def inc():
    global counter
    for _ in range(100_000):
        with lock:            # un solo thread qui dentro alla volta
            counter += 1
```

## Perché è importante

Il **sintomo** è ciò che rende pericolose le race: risultati sbagliati intermittenti e non riproducibili, che passano nei test e falliscono sotto carico. Si nascondono finché la tempistica non cambia — una macchina più veloce, più traffico, un nuovo core. Riconoscere lo stato mutabile condiviso come causa radice è il primo passo; gli intervistatori vogliono vederti individuare il read-modify-write non protetto.

Come funziona

Esempio

Perché è importante

Domande correlate