Что такое состояние гонки (race condition)? Приведите пример и его симптом.

Question

IT Interview Practice · Accepted Answer

**Состояние гонки — это баг, при котором результат зависит от непредсказуемого тайминга конкурентных операций, обращающихся к общему состоянию.** Классический случай — read-modify-write, который не атомарен.

## Как это работает

`counter += 1` выглядит атомарным, но на самом деле это три шага: чтение, сложение, запись. Два потока могут чередоваться так, что одно обновление теряется.

```text
counter = 0
Поток A: читает 0 ─────────── пишет 1
Поток B:         читает 0 ─ пишет 1
Результат: 1  (должно быть 2 — один инкремент потерян)
```

## Пример

```python
counter = 0
def inc():
    global counter
    for _ in range(100_000):
        counter += 1          # НЕ атомарно: чтение, +1, запись

# Запускаем два потока, ожидаем 200_000...
# ...но часто получаете меньше — потерянное обновление
```

Исправление — сделать участок атомарным с помощью блокировки:

```python
lock = threading.Lock()
def inc():
    global counter
    for _ in range(100_000):
        with lock:            # только один поток здесь в один момент
            counter += 1
```

## Почему это важно

**Симптом** — вот что делает гонки опасными: прерывистые, невоспроизводимые неверные результаты, которые проходят в тестах и падают под нагрузкой. Они прячутся, пока не изменится тайминг — более быстрая машина, больше трафика, новое ядро. Распознавание общего изменяемого состояния как первопричины — первый шаг; интервьюеры хотят увидеть, что вы замечаете незащищённый read-modify-write.

Как это работает

Пример

Почему это важно

Похожие вопросы