Co je race condition? Uveďte příklad a jeho příznak.

Question

IT Interview Practice · Accepted Answer

**Race condition je chyba, kdy výsledek závisí na nepředvídatelném časování souběžných operací přistupujících ke sdílenému stavu.** Klasickým případem je read-modify-write, který není atomický.

## Jak to funguje

`counter += 1` vypadá atomicky, ale ve skutečnosti jsou to tři kroky: čtení, přičtení, zápis. Dvě vlákna se mohou proložit tak, že se jedna aktualizace ztratí.

```text
counter = 0
Vlákno A: čte 0 ──────────── zapíše 1
Vlákno B:      čte 0 ─ zapíše 1
Výsledek: 1  (mělo být 2 — jeden increment ztracen)
```

## Příklad

```python
counter = 0
def inc():
    global counter
    for _ in range(100_000):
        counter += 1          # NENÍ atomické: čti, +1, zapiš

# Spusť dvě vlákna, očekávej 200_000...
# ...ale často dostaneš méně — ztracená aktualizace
```

Opravou je učinit sekci atomickou pomocí zámku:

```python
lock = threading.Lock()
def inc():
    global counter
    for _ in range(100_000):
        with lock:            # jen jedno vlákno zde v jeden okamžik
            counter += 1
```

## Proč je to důležité

**Příznak** je to, co dělá race conditions nebezpečnými: občasné, nereprodukovatelné chybné výsledky, které projdou v testech a selžou pod zátěží. Skrývají se, dokud se nezmění časování — rychlejší stroj, více provozu, nové jádro. Rozpoznání sdíleného měnitelného stavu jako hlavní příčiny je prvním krokem; tazatelé chtějí vidět, že odhalíte nechráněný read-modify-write.

Jak to funguje

Příklad

Proč je to důležité

Související otázky