Condición de carrera

Una condición de carrera ocurre cuando un programa de software depende del momento en que se ejecutan uno o más procesos para funcionar correctamente. Si un hilo se ejecuta o termina en un momento inesperado, puede causar un comportamiento impredecible, como resultados incorrectos o un interbloqueo del programa.

La mayoría de los programas de software son multihilo, lo que significa que pueden procesar varios hilos a la vez. Una aplicación bien programada se asegurará de que los resultados de cada hilo se procesen en el orden esperado. Si un programa depende de hilos que se ejecutan en una secuencia impredecible, puede producirse una condición de carrera.

Un ejemplo sencillo es una puerta lógica que gestiona valores booleanos. La puerta lógica AND tiene dos entradas y una salida. Si las entradas A y B son verdaderas, la puerta AND produce VERDADERO. Si una o ambas entradas son falsas, produce FALSO. Puede producirse una condición de carrera si un programa comprueba el resultado de la puerta lógica antes de que se carguen las variables A y B. El proceso correcto sería:

1. Cargar la variable A
2. Cargar la variable B
3. Comprobar el resultado de la puerta lógica AND

Una secuencia incorrecta sería:

1. Cargar la variable A
2. Comprobar el resultado de la puerta lógica AND
3. Cargar la variable B

El resultado del segundo ejemplo anterior puede ser igual o no al del primer ejemplo. Por ejemplo, la variable B puede ser FALSA antes y después de cargarse, lo que no cambiaría el resultado. Si A es FALSA, no importa si B es VERDADERA o FALSA. Sin embargo, si A y B son verdaderas, el resultado debería ser VERDADERO. Cargar la variable B después de comprobar el resultado de la puerta lógica produciría un resultado incorrecto de FALSO.

El resultado incoherente producido por las condiciones de carrera puede causar errores difíciles de detectar. Los programadores pueden evitar estos problemas asegurándose de que los hilos se procesen en una secuencia coherente.