Qu'est-ce qu'une race condition ? Donnez un exemple et son symptôme.

Question

IT Interview Practice · Accepted Answer

**Une race condition est un bug où le résultat dépend du timing imprévisible d'opérations concurrentes accédant à un état partagé.** Le cas classique est un read-modify-write qui n'est pas atomique.

## Comment ça marche

`counter += 1` semble atomique mais représente en réalité trois étapes : lire, ajouter, écrire. Deux threads peuvent s'entrelacer de sorte qu'une mise à jour soit perdue.

```text
counter = 0
Thread A: lit 0 ───────────── écrit 1
Thread B:      lit 0 ─ écrit 1
Résultat : 1  (devrait être 2 — un incrément perdu)
```

## Exemple

```python
counter = 0
def inc():
    global counter
    for _ in range(100_000):
        counter += 1          # PAS atomique : lire, +1, écrire

# Lancez deux threads, on attend 200_000...
# ...mais on obtient souvent moins — une mise à jour perdue
```

Le correctif consiste à rendre la section atomique avec un verrou :

```python
lock = threading.Lock()
def inc():
    global counter
    for _ in range(100_000):
        with lock:            # un seul thread ici à la fois
            counter += 1
```

## Pourquoi c'est important

Le **symptôme** est ce qui rend les races dangereuses : des résultats erronés intermittents et non reproductibles qui passent les tests et échouent sous charge. Ils restent cachés jusqu'à ce que le timing change — une machine plus rapide, plus de trafic, un nouveau cœur. Reconnaître l'état mutable partagé comme cause racine est la première étape ; les recruteurs veulent vous voir repérer le read-modify-write non protégé.

Comment ça marche

Exemple

Pourquoi c'est important

Questions connexes