Deep dive exposes ThreadSanitizer's blind spots in detecting data races
An in-depth technical analysis examines how ThreadSanitizer, the race detector underlying Clang, GCC, Go, and Swift, actually works internally by walking through data race fundamentals and building a Python-based FastTrack-style vector clock simulation. The piece then demonstrates concrete scenarios where TSan's architecture causes it to miss genuine data races, including a documented failure once a program crosses 255 total threads.