Wat is een race condition? Geef een voorbeeld en het symptoom.

Question

IT Interview Practice · Accepted Answer

**Een race condition is een bug waarbij het resultaat afhangt van de onvoorspelbare timing van gelijktijdige operaties die gedeelde state benaderen.** Het klassieke geval is een read-modify-write die niet atomair is.

## Hoe het werkt

`counter += 1` lijkt atomair maar is eigenlijk drie stappen: read, add, write. Twee threads kunnen zo interleaven dat een update verloren gaat.

```text
counter = 0
Thread A: read 0 ─────────── write 1
Thread B:      read 0 ─ write 1
Result: 1  (should be 2 — one increment lost)
```

## Voorbeeld

```python
counter = 0
def inc():
    global counter
    for _ in range(100_000):
        counter += 1          # NOT atomic: read, +1, write

# Run two threads, expect 200_000...
# ...but you often get less — a lost update
```

De fix is de sectie atomair maken met een lock:

```python
lock = threading.Lock()
def inc():
    global counter
    for _ in range(100_000):
        with lock:            # only one thread in here at a time
            counter += 1
```

## Waarom het belangrijk is

Het **symptoom** is wat races gevaarlijk maakt: intermitterende, niet-reproduceerbare foute resultaten die slagen in tests en falen onder belasting. Ze blijven verborgen tot de timing verandert — een snellere machine, meer verkeer, een nieuwe core. Gedeelde muteerbare state herkennen als de grondoorzaak is de eerste stap; interviewers willen zien dat je de onbeschermde read-modify-write opspot.

Hoe het werkt

Voorbeeld

Waarom het belangrijk is

Gerelateerde vragen