ThreadSanitizer (TSan), el detector de carreras de datos estándar en compiladores como Clang, GCC y Go, presenta limitaciones arquitectónicas significativas que pueden llevar a omitir errores críticos. Aunque TSan es la herramienta predominante para identificar condiciones de carrera en código concurrente, su algoritmo subyacente no está documentado formalmente para su tercera versión, publicada en 2021, lo que obliga a los desarrolladores a leer el código fuente para comprender su funcionamiento completo.
El artículo técnico analiza estas limitaciones mediante la implementación de un intérprete idealizado en Python y relores vectoriales estilo FastTrack. Se demuestra que TSan no puede informar fiablemente de carreras de datos cuando se cruza el límite de 255 hilos totales, una situación común en servicios web escritos en Go que utilizan un gorutina por solicitud. Esta restricción técnica implica que la existencia de un detector de carrera no garantiza la ausencia total de bugs latentes en sistemas altamente concurrentes. El texto contextualiza TSan dentro de la historia de algoritmos como Eraser y RaceTrack, destacando que cada enfoque tiene restricciones propias. Para los ingenieros de software, comprender estas limitaciones es esencial para diseñar pruebas robustas y no confiar ciegamente en las herramientas automáticas de detección de concurrencia.