Triaje de ThreadSanitizer: recuperar el contrato de sincronización que falta

Qué es

ThreadSanitizer detecta data races (condiciones de carrera sobre datos) mediante instrumentación del compilador y una biblioteca de runtime. La documentación de Clang indica usar -fsanitize=thread tanto al compilar como al enlazar, y añadir información de depuración para obtener ubicaciones útiles en el código fuente. El informe relaciona los accesos en conflicto con el contexto de creación de los hilos; es evidencia de una interacción concurrente que llegó a ejecutarse, no una especificación completa del algoritmo previsto. Clang ThreadSanitizer

Por qué importa

Un agente de programación puede silenciar un informe rodeando con un lock la línea señalada, mientras otros accesos quedan fuera de esa misma disciplina. En su lugar, conviene identificar quién es el propietario del estado, cuándo se transfiere la propiedad y qué sincronización establece el orden de los accesos. Una regla coherente debe explicar todas las rutas que tocan el objeto.

Cómo aplicarlo

• Lee las dos pilas de acceso y localiza el objeto compartido. Separa su construcción, sus actualizaciones habituales, su publicación y su destrucción; los errores de ciclo de vida pueden cruzar el mismo límite entre hilos que las actualizaciones.
• Formula el contrato previsto: propiedad exclusiva de un hilo, protección mediante un mutex concreto o comunicación a través de un mecanismo de sincronización especificado. Compara todos los accesos con ese contrato.
• Haz el cambio más pequeño que restablezca el contrato. Si sustituyes la mutación compartida por paso de mensajes, documenta quién es el propietario del objeto antes y después de la entrega.
• Propón una prueba (fixture) que coordine de forma deliberada las operaciones en competencia, sin recurrir a pausas arbitrarias (sleeps) como único medio para provocar el solapamiento. Incluye el apagado o la cancelación si la interacción reportada ocurre ahí.
• Vuelve a ejecutar la carga de trabajo instrumentada relevante y la suite habitual. Registra los componentes excluidos o sin instrumentar y cualquier supresión que limite la conclusión.

Trampas

Una implementación libre de data races aún puede tener errores de orden lógico o deadlocks. Además, una ejecución limpia no demuestra que se hayan ejercitado todos los entrelazados posibles de la planificación. La instrumentación y las ignorelists influyen en lo que la herramienta observa; la documentación advierte de que omitir instrumentación puede ocultar información de sincronización y de pilas. Trata una supresión como una limitación acotada que hay que explicar, no como prueba de que la regla de propiedad subyacente sea correcta.