[Paper] 通过编译消除竞争检测的开销

Source: arXiv - 2512.05555v1

概览

动态数据竞争检测器（如 ThreadSanitizer）对于捕获难以复现的并发错误至关重要，但它们通常会带来约 2–5 倍的运行时开销，影响实用性。论文《Compiling Away the Overhead of Race Detection》展示了通过编译器层面的静态分析自动剔除绝大多数不必要的插桩，可以在保持检测器完整性的前提下，将开销降低至最高 2.5 倍。

关键贡献

• 跨过程静态分析：证明大量内存访问是 可证明无竞争 的，从而无需运行时检查。
• 基于等价类的冗余消除：如果两个检查会报告相同的竞争（即使在不同的程序点），只保留一个代表检查。
• 基于支配关系的消除算法：高效识别冗余检查。
• LLVM 实现：与 ThreadSanitizer 的插桩 pass 集成，开发者无需修改代码。
• 实证评估：在一套真实应用上展示几何平均加速 1.34×（峰值 2.5×），编译时间影响可忽略不计。

方法论

1. 静态竞争自由分析 – 编译器遍历整个程序（包括函数边界），并推断：

   • 访问了哪些内存位置，
   • 保护这些访问的同步原语，
   • 线程创建模式。
     若能证明某次访问永不竞争，则移除对应的插桩。

2. 等价类检测 – 作者发现许多插入的检查是 语义重复 的：它们会因相同的底层数据竞争而触发，只是来源于不同指令。通过在访问上定义等价关系（相同内存位置、相同锁集合等），可以为每个类保留一个“代表”检查。

3. 基于支配关系的消除 – 利用经典的控制流支配信息，分析剔除任何被同类中已有检查支配的检查。此步骤开销低，天然适配 LLVM pass 流程。

4. 保持完整性 – 这些分析的设计保证：只要竞争是可能的，至少会保留一个插桩点，从而确保 ThreadSanitizer 的检测能力不受影响。

结果与发现

• 编译开销 平均增长 < 2 %，在开发者可接受范围内。
• 该方法 全自动：无需注解、配置标志或源码修改。
• 优化已被 ThreadSanitizer 维护者接受，计划上游合并，表明具备生产就绪度。

实际意义

• 更快的 CI 流水线 – 已在持续集成中使用 ThreadSanitizer 的团队可期待显著缩短测试时间，尤其是高度并行的工作负载。
• 降低采用门槛 – 减少的慢速使得在性能关键的构建（如发布候选版）中启用竞争检测成为可能，而不必像以前那样关闭。
• 更好地资源利用 – 更短的运行时意味着云测试平台的 CPU 成本下降，对大型组织而言是一笔可观的节约。
• 可推广至其他检测器 – 相同的静态分析思路可以迁移到其他动态检查（如内存错误检测、未定义行为检测），为编译器驱动的插桩削减打开更广阔的道路。

局限性与未来工作

• 这些分析是 保守的：仅在能够 证明 无竞争时才移除插桩，因此仍会保留一些冗余检查。
• 复杂的同步模式（如自定义锁实现、无锁数据结构）可能超出当前静态推理的能力，导致插桩保留。
• 当前工作聚焦于 ThreadSanitizer；将该技术扩展到其他语言或运行时（如 Java、Go）需要额外的语言特定建模。
• 未来研究方向包括 静态‑动态混合方法，在运行时细化分析，以及 机器学习引导的启发式，在不完整形式化证明的情况下预测哪些检查最可能是冗余的。

作者

• Alexey Paznikov
• Andrey Kogutenko
• Yaroslav Osipov
• Michael Schwarz
• Umang Mathur

论文信息

• arXiv ID: 2512.05555v1
• 分类: cs.PL, cs.OS, cs.SE
• 发表时间: 2025 年 12 月 5 日
• PDF: Download PDF