UCSD Specula 并发缺陷检测工具累计揪出 700+ Bug

UCSD 田音教授团队开发的 Specula 是一套基于推测执行的并发 Bug 检测系统，其在并发与分布式系统中发现的缺陷数量已从 500 多个上升至 700 多个。Apache Ozone 与 Ratis 的贡献者 Ivan Andika 已将该工具实际应用于这两个分布式系统项目并引入相关成果，显示出该工具在真实开源基础设施中的实用价值。

2026-10-13 ~ 2026-10-13 · 2 条相关