全靠 LLM 写代码的 Rust 有序映射 bbtree:单线程快 5 倍、96 线程快 12 倍
lmoroney · x · 2026-10-27
Laurence Moroney 介绍了 Xiangpeng Hao(曾在微软生产环境运行 Bf-Tree)上周发布的 bbtree——一个由 LLM 完成全部实现、多家厂商模型交叉校验、作者本人只做设计决策并担责的 Rust 有序映射。
- 性能：作者基准显示单线程比 std 的 BTreeMap 快 5 倍，96 线程下比 crossbeam-skiplist 快 12 倍；一位独立测试者复测速度提升大体成立，但 30% 内存节省在原版 glibc malloc 上不成立。
- 正确性保障更值得关注：对 std BTreeMap 做差分 fuzzing、每次操作后检查不变量、用 Verus 形式化证明关键性质、用 Shuttle 做确定性仿真测试——即便如此，另一个测试工具 ffs 仍抓到 Shuttle 漏掉的一个竞态，现已修复。
- 作者建议：如果 AI 写了你大部分代码，本周挑一个模块，加一个与可信参考实现对比的 fuzz 测试。
所属事件:开发者发布号称最快的并发 btree 实现 bbtree(2 条相关)→
「编程与Agent」频道最新
- AXL 上线远程 MCP 服务器，向 Claude 等开放 1284 个营销 API — EdTech_Padre · 2026-10-27
- Every 揭秘「前沿团队」：专人盯新模型，用看板审计 AI 开销 — every · 2026-10-27
- Claude Code 团队如何做代码审查：90% 代码由 Claude 写 — inductionheads · 2026-10-27
- OmarchyTV 开源：把 Omarchy 风格搬上 Android TV 与 webOS — alexcovo_eth · 2026-10-27
- AWS 详解 Agent 提示缓存：显式+隐式双模式省下重复 token 账单 — AWS ML Blog · 2026-10-27
- Reddit 讨论：如何让 AI Agent 基于项目最新信息工作 — Few-Ad-1358 · 2026-10-27