Specula 已在分布式系统找出 700+ 并发 Bug
tianyin_xu · x · 2026-10-13
UCSD 田音教授更新其团队 Specula(基于不违规推测执行的并发 Bug 检测系统)的战绩:据新数据,累计发现的并发与分布式系统 Bug 已从 500+ 上升到 700+。Apache Ozone 和 Ratis 的开发者 Ivan Andika 展示了如何在 Ozone 与 Ratis 中实际使用 Specula,Siyao Meng 还整理了对应的 JIRA issue,该 issue 的讨论从 Marc Brooker 等人的 CACM 文章与博客出发,是很好的阅读材料。被检出的 Bug 横跨 Asterinas、SONiC 等操作系统内核及各类分布式系统。
所属事件:UCSD Specula 并发缺陷检测工具累计揪出 700+ Bug(2 条相关)→
「研究」频道最新
- Softcatalà 推出 GarbellaVeus,众包验证加泰语语音数据集 — jordiponsdotme · 2026-10-13
- 南大等高校论文:不确定性引导压缩训练数据,只用0.22%预算保住推理能力 — NJU · 2026-10-13
- UCSD 推出 SPLATIFY:多智能体把3DGS论文自动转成可训练代码 — UCSanDiego · 2026-10-13
- TERRA 用空间转录组学建模人体组织,癌症样本已入列或产 2 亿细胞 — mo_lotfollahi · 2026-10-13
- 把嵌入模型改成语音识别：M3 MacBook Air 13 秒转录一小时音频 — TheMoonMidas · 2026-10-13
- Latent Personality Alignment:不喂有害样本也能对齐出安全 LLM — burkov · 2026-10-13