Hvad er en race condition? Giv et eksempel og dens symptom.

Question

IT Interview Practice · Accepted Answer

**En race condition er en bug, hvor resultatet afhænger af den uforudsigelige timing af samtidige operationer, der tilgår delt state.** Det klassiske tilfælde er en read-modify-write, der ikke er atomisk.

## Hvordan det fungerer

`counter += 1` ser atomisk ud, men er i virkeligheden tre trin: læs, læg til, skriv. To tråde kan flette sig ind mellem hinanden, så en opdatering går tabt.

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

## Eksempel

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

Rettelsen er at gøre sektionen atomisk med en 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
```

## Hvorfor det betyder noget

**Symptomet** er, hvad der gør races farlige: intermitterende, ikke-reproducerbare forkerte resultater, der består i tests og fejler under belastning. De skjuler sig, indtil timingen ændrer sig — en hurtigere maskine, mere trafik, en ny kerne. At genkende delt, foranderlig state som grundårsagen er det første skridt; interviewere vil se dig spotte den ubeskyttede read-modify-write.

Hvordan det fungerer

Eksempel

Hvorfor det betyder noget

Relaterede spørgsmål