¿Qué es una condición de carrera? Da un ejemplo y su síntoma.

Question

IT Interview Practice · Accepted Answer

**Una condición de carrera es un bug donde el resultado depende del temporizado impredecible de operaciones concurrentes que acceden a un estado compartido.** El caso clásico es una lectura-modificación-escritura que no es atómica.

## Cómo funciona

`counter += 1` parece atómico pero en realidad son tres pasos: leer, sumar, escribir. Dos hilos pueden entrelazarse de modo que se pierda una actualización.

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

## Ejemplo

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

La solución es hacer la sección atómica con un 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 qué es importante

El **síntoma** es lo que hace peligrosas a las carreras: resultados incorrectos intermitentes y no reproducibles que pasan en las pruebas y fallan bajo carga. Se esconden hasta que cambia el temporizado — una máquina más rápida, más tráfico, un nuevo núcleo. Reconocer el estado mutable compartido como la causa raíz es el primer paso; los entrevistadores quieren ver que detectas la lectura-modificación-escritura desprotegida.

Cómo funciona

Ejemplo

Por qué es importante

Preguntas relacionadas