85 个 GPU kernel 抽查 32 个有隐患,SentryWard 主攻 AI 生成代码验证
JiaZhihao · x · 2026-10-17
CMU 等机构研究者(Mengdi Wu、Oded Padon、Zhihao Jia 等)发布 SentryWard,针对 AI 编码 agent 生成的 GPU kernel 的正确性问题。
- 团队分析了来自流行库的 85 个 GPU kernel,发现 32 个存在潜在数据竞争、同步 bug 或资源生命周期违规。
- 现代 GPU kernel 使用异步内存传输、tensor core 和复杂同步原语来压榨性能,一个缺失的 barrier 或错序的异步操作就可能导致静默数据损坏、死锁或崩溃。
- 最棘手的是这些 bug 常藏在罕见的执行调度里:kernel 可能通过 10 万次测试,仍在特定调度下产出错误结果或死锁。
- SentryWard 的思路是对 GPU kernel 做形式化验证(formal verification)。
所属事件:CMU 等机构推出 SentryWard 形式化验证 AI 生成 GPU 代码(2 条相关)→
「Infra」频道最新
- Credo 推 ALC 有源光缆，瞄准 2030 年约 650 亿美元短距光互连市场 — BenBajarin · 2026-10-17
- pplx-decider 新思路:同一状态的多问题共享序列一次前向 — antoine_chaffin · 2026-10-17
- SemiAnalysis：多家 Neocloud 因引入 AMD/TPU 被 NVIDIA 拒入 GTC Berlin — AccBalanced · 2026-10-17
- 100GB+ 内存能跑什么规划模型？Reddit 征集本地部署方案 — GodComplecs · 2026-10-17
- vLLM 首次由 AI Agent 自主完成模型优化,每步均有明确性能提升 — vllm_project · 2026-10-17
- 越狱 PS5 本地跑大模型超 100 tokens/s：PS5LM 分支吃上 GPU 和更多内存 — ControlCAD · 2026-10-17