Quiz: Evaluación de conceptos de concurrencia en Go

Este diagnóstico separa tres problemas: coordinación, seguridad de memoria y capacidad. Supón que dos goroutines incrementan una variable compartida 1.000 veces cada una sin sincronización. El resultado esperado conceptualmente es 2.000, pero el programa puede observar menos y el detector de carreras señalar el acceso.

Ejemplo resuelto

Escrituras concurrentes sin protección: carrera de datos
Resultado observado: no determinista
Corrección posible: mutex o canal con un único propietario

Un channel no arregla automáticamente una variable que ambas goroutines siguen escribiendo. Debes elegir quién posee el estado.

La corrección mínima usa el mismo mutex para todos los incrementos y espera a los dos trabajadores:

var mu sync.Mutex
var wg sync.WaitGroup
counter := 0
for worker := 0; worker < 2; worker++ {
    wg.Add(1)
    go func() {
        defer wg.Done()
        for i := 0; i < 1000; i++ {
            mu.Lock()
            counter++
            mu.Unlock()
        }
    }()
}
wg.Wait()
if counter != 2000 { panic("contador incorrecto") }

Es un fragmento dentro de una función y requiere import sync. Inclúyelo en una prueba *_test.go antes de ejecutar go test -race; ejecutar ese comando sin test no comprueba un caso escrito solo en prosa.

Pruébalo

1. Ejecuta el caso varias veces con go test -race.

2. Registra el contador final y el diagnóstico.

3. Protege el incremento con un mutex.

4. Repite la prueba y compara.

Error frecuente: concluir que un resultado correcto en una ejecución demuestra seguridad. Corrígelo ejecutando el detector de carreras y revisando el modelo de propiedad.

Comprueba tu resultado

La versión sin protección debe considerarse incorrecta aunque ocasionalmente muestre 2000; la versión protegida debe alcanzar 2000 y no producir advertencias de carrera. Explica qué mecanismo impide la escritura simultánea.