Czym jest wyścig (race condition)? Podaj przykład i jego objaw.

Question

IT Interview Practice · Accepted Answer

**Wyścig to błąd, w którym wynik zależy od nieprzewidywalnego rozkładu w czasie współbieżnych operacji odwołujących się do współdzielonego stanu.** Klasycznym przypadkiem jest niatomowy odczyt-modyfikacja-zapis.

## Jak to działa

`counter += 1` wygląda na atomowe, ale w rzeczywistości to trzy kroki: odczyt, dodanie, zapis. Dwa wątki mogą się przepleść tak, że jedna aktualizacja zostanie zgubiona.

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

## Przykład

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

Rozwiązaniem jest uczynienie tej sekcji atomową za pomocą blokady:

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

## Dlaczego to ważne

**Objaw** jest tym, co czyni wyścigi niebezpiecznymi: sporadyczne, nieodtwarzalne błędne wyniki, które przechodzą w testach, a zawodzą pod obciążeniem. Kryją się, dopóki nie zmieni się rozkład czasu — szybsza maszyna, większy ruch, nowy rdzeń. Rozpoznanie współdzielonego, zmiennego stanu jako przyczyny źródłowej to pierwszy krok; rekruterzy chcą zobaczyć, że wypatrzysz niezabezpieczony odczyt-modyfikacja-zapis.

Jak to działa

Przykład

Dlaczego to ważne

Powiązane pytania