¿Código de prueba de unidad basado en el hilo? Forzar una condición de carrera

Question

Al usar mi aplicación, me encontré con una condición de carrera en algún código que usa un NSOperationQueue para ejecutar tareas de forma asíncrona después de eventos desencadenados por el usuario. Sé cómo arreglar la condición de carrera, ya que es un estúpido error de diseño que no voy a profundizar, pero me gustaría probar el error con un caso de prueba (para que no vuelva a aparecer durante la optimización/refactorización posterior). abajo de la línea). Esto me tiene perplejo. ¿Cómo se puede probar algo con múltiples subprocesos, especialmente cuando el objetivo de la prueba es generar una condición de carrera?

¿Alguien tiene algún enlace al material de referencia al que me refiero cuando se trata de trabajar con hilos y pruebas de unidades? Estoy particularmente interesado en la generación de condiciones de carrera.

Answer 1

Debe asegurarse de que la secuencia de eventos que causa la condición de carrera realmente surja durante la prueba. Para eso, debe afectar el entrelazado del hilo dentro del caso de prueba.

Puede lograr eso con sincronización adicional (condicional) o, (más simple y menos confiable) temporizadores adicionales. Coloque algunas llamadas sleep() en las secciones críticas para asegurarse de que se ejecuten el tiempo suficiente para que el otro subproceso llegue al estado no deseado. Cuando tenga eso funcionando, reemplace las llamadas de espera con sincronización explícita (es decir, bloquee un hilo hasta que el otro reconozca que ha llegado).

A continuación, establezca todo esto condicional en un indicador global establecido por el caso de prueba.