Specula 已揪出 500+ 系统缺陷，Apache Ozone 团队实测引入
tianyin_xu · x · 2026-10-13
UCSD 系的 Tianyin Xu 介绍，Apache Ozone 与 Ratis 的贡献者 Ivan Andika 将其团队的 Specula 缺陷检测工具用于这两个分布式系统，相关经验被整理成 JIRA issue，起点是 Marc Brooker 等人的 CACM 文章与博客讨论。
Specula 目前已在各类并发与分布式系统中找到 500+ 个 bug，覆盖范围包括 Asterinas、SONiC 等 OS 内核、数据库、持久化执行引擎和联邦学习系统等。工具本身免费开源，仍在快速迭代中，团队公开了已发现 bug 的清单。
所属事件:UCSD Specula 并发缺陷检测工具累计揪出 700+ Bug(2 条相关)→
「Infra」频道最新
- 开发者自建推理库:让模型自己跑反向传播随意查梯度 — cephaloform · 2026-10-13
- IMF 预测假设 AI 零生产率增益:宏观数据暂无工资就业影响 — rohanpaul_ai · 2026-10-13
- IMF 最新预测：AI 尚未带来生产率提升，泡沫破裂损失是繁荣收益两倍 — rohanpaul_ai · 2026-10-13
- NVIDIA 发布基于 USD 的 NURBS B-rep 内核，开发者吐槽质量堪忧 — rms80 · 2026-10-13
- 链上推理 3 个月增 5 倍，15 家去中心化推理团队名单盘点 — 0xJeff · 2026-10-13
- CUDA 与 HIP 双卡并存:llama.cpp 需分别编译两个二进制 — espece-de-bon · 2026-10-13