arXiv · cs.AI· Tuan Truong Vu·· 7 天前AI 评分41
Racer：用符号等价检查猎捕 GPU 内核 Bug
Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking
来源与原文
arXiv · cs.AI
作者：Tuan Truong Vu
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.28429v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
Racer 是一个 PTX 级符号等价检查引擎，在符号输入上执行内核与参考实现，将输出变为精确代数表达式以区分浮点误差与逻辑 Bug。它通过 Shape Reduction、lockstep CTA 调度器和带精确数值反驳的 idiom 模板三项技术实现生产级可用。在来自 41 个收集目标的 2,408 个生产内核上，Racer 发现 23 个库中的 82 个真实 Bug，其中 76 个为未知 Bug，41 个已获确认。
来源：arXiv · cs.AI · arxiv.org