Vad är en race condition? Ge ett exempel och dess symptom.

Question

IT Interview Practice · Accepted Answer

**En race condition är en bugg där resultatet beror på den oförutsägbara tidsordningen av samtidiga operationer som kommer åt delat tillstånd.** Det klassiska fallet är en read-modify-write som inte är atomär.

## Hur det fungerar

`counter += 1` ser atomärt ut men är egentligen tre steg: läs, addera, skriv. Två trådar kan varvas så att en uppdatering går förlorad.

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

## Exempel

```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
```

Lösningen är att göra sektionen atomär med ett lås:

```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
```

## Varför det är viktigt

**Symptomet** är vad som gör races farliga: sporadiska, icke-reproducerbara felaktiga resultat som passerar i tester och fallerar under belastning. De döljer sig tills tidsordningen ändras — en snabbare maskin, mer trafik, en ny kärna. Att känna igen delat föränderligt tillstånd som grundorsaken är det första steget; intervjuare vill se att du upptäcker den oskyddade read-modify-write.

Hur det fungerar

Exempel

Varför det är viktigt

Relaterade frågor