我为什么不再完全信任 ThreadSanitizer

线程安全是并发编程的永恒难题。我最近在排查一个诡异的线上故障——偶发的内存不一致，只在生产环境的特定负载下出现。ThreadSanitizer 本该是我的救星，但现实很骨感。它在 C 和 Go 中都存在明显盲区：只能检测已执行代码路径，未覆盖的分支里潜伏的竞争条件它一无所知。更糟的是，它带来的 5-10 倍性能开销和内存膨胀，往往让开发团队在调试之外选择关掉它。我判断，TSan 更像一道安全网而非保险箱——它能抓住低垂的果子，但并发系统的深层竞争，仍需靠人脑推理和架构设计兜底。

原文：Data races and the limits of ThreadSanitizer in C and Go · 来源：Hacker News