O que é uma race condition? Dê um exemplo e seu sintoma.

Question

IT Interview Practice · Accepted Answer

**Uma race condition é um bug em que o resultado depende do timing imprevisível de operações concorrentes que acessam estado compartilhado.** O caso clássico é um read-modify-write que não é atômico.

## Como funciona

`counter += 1` parece atômico mas na verdade são três passos: ler, somar, escrever. Duas threads podem se intercalar de modo que uma atualização se perca.

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

## Exemplo

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

A correção é tornar a seção atômica com um 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
```

## Por que isso importa

O **sintoma** é o que torna as races perigosas: resultados errados intermitentes e não reproduzíveis que passam nos testes e falham sob carga. Elas se escondem até o timing mudar — uma máquina mais rápida, mais tráfego, um novo núcleo. Reconhecer estado mutável compartilhado como a causa raiz é o primeiro passo; entrevistadores querem ver você identificar o read-modify-write desprotegido.

Como funciona

Exemplo

Por que isso importa

Perguntas relacionadas