matklad 谈对象池与内存安全：use-after-free 的物理效应如何被改变
jedisct1 · x · 2026-09-04
matklad（rust-analyzer 作者）在博客「Static Allocation, Constant Work」中回应读者来信，深入剖析对象池与 use-after-free 的关系：
- 读者分享了写限价单撮合引擎时踩到的 use-after-free：被取消的订单归还内存池后仍挂在价格档链表里，下次分配把这块内存给了新订单，旧链接继续解析到错误对象。
- matklad 指出：不使用对象池时，逻辑上的 use-after-free 会变成物理类型混淆（一个对象的整数可能成为另一个对象的函数指针），可导致任意代码执行；引入对象池后，逻辑错误仍存在，但物理效应退化为内存别名——没有类型混淆，可利用性大幅降低。
- 对象池可看作 tagged union，「tag」是当前占据槽位的对象代际，而类型系统并不追踪它；文末对比了对象池与 union 变体写入导致指针失效的「最难问题」，并讨论静态分配带来的「持续工作」权衡。
原文是对内存安全难题的高质量工程讨论，配图与来回邮件构成的讨论链本身就有学习价值。
「研究」频道最新
- 开源项目 Marin 启动 535B/A23B MoE 训练,一年内从 1 人扩到 10 人 — wandb · 2026-09-04
- 研究称让 AI 造 App 的环境成本可达快速提问的 1 万倍 — shiringhaffary · 2026-09-04
- SpeedrunBench：首个测 AI 智能体速通游戏能力的基准，最优模型距人类纪录差 4 倍 — mariyaivasileva · 2026-09-04
- Foresight 推出新 RFP:最高 10 万美元资助开源 AI 科学与安全项目 — niloofar_mire · 2026-09-04
- 研究者用 Lean4 机器验证解决 Chrisnata et al 开放问题 — _xjdr · 2026-09-04
- NeurIPS 悉尼几秒内门票售罄,距录用放榜还有三周 — alrojo · 2026-09-04