Racer 工具利用符号等价性检查在 GPU 内核中发现大量未知 Bug

研究团队 Tu an Truong Vu 和 Cheng Tan 实现了名为 Racer 的 PTX 级符号等价性检查引擎。该工具旨在通过执行内核与参考实现于符号输入，将输出转换为精确代数表达式，以识别生产级 GPU 内核中的逻辑错误。 在具体的测试验证中，Racer 在 2408 个生产级内核和 41 个收集目标中共计发现了 82 个真实 Bug。这些 Bug 涉及 23 个不同的库，其中 76 个为此前未知的 Bug，另有 41 个 Bug 已得到确认。

AI 根据报道生成 · 51 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。