Confined Arena 定槽回收与 Borrowck 稠密位集

本期检索说明

先读取 content/collections/deep-radar 截至 2026-09-08 的全部原文链接，并按 URL、标题与技术问题语义去重。最近 24 小时内只有两项新材料同时满足实测数据、源码证据、原理剖析和工程迁移价值：OpenJDK confined arena cache 的定槽归还，以及 rustc borrow checker liveness 集合表示的局部替换。两项修改截稿时都尚未合入；本文只报告公开 patch、评审讨论与 benchmark，不把评审中的实现写成稳定能力。

Kotlin、Zig 与 Linux 在最近 1 天、继而最近 7 天的窗口内，没有发现同时达到四项门槛且未被历史报告收录的新材料；Java/JVM 与 Rust 的其余候选也不以发布说明或缺数据的优化 PR 补位。

01 · OpenJDK：让 confined arena 直接归还到原池槽

原文与日期： Peter Minborg，2026-09-08 22:20（中原标准时间）；openjdk/jdk PR #32766、JBS JDK-8391909 与 Webrev 00。

为什么值得读： Foreign Function & Memory API 的 confined arena 已有小块内存池缓存，但关闭 arena 时仍要扫描 pool array 才能寻找空槽。一次生命周期明明从某个槽取出 pool，却在归还时丢掉了这个位置信息。这份 patch 把“借出位置”作为 arena 状态保存，使常规关闭路径从数组搜索变为一次下标访问，同时为重入清理导致槽位被占用的少见情况保留旧扫描路径。

核心技术结论： ConfinedSegmentPool 新增缓存数组引用和 @Stable 槽位索引。平台线程从 cache 取池后调用 rememberPoolCacheAndIndex；关闭时先检查同一槽是否仍为空，若为空就清零已用内存并直接写回，若不为空才调用原有 releaseToCacheOrFree。这不是取消兜底搜索，而是把高概率路径压缩为确定位置，把低概率冲突留给通用路径。

虚拟线程没有直接采用这条状态：其 arena 仍传入 null，沿用 carrier-thread cache 的通用归还逻辑。这样避免把 pin/unpin 与当前 carrier 的变化错误简化为“创建和关闭必然对应同一平台线程槽”。

关键结构是：

private long[] poolCache;
@Stable
private int poolCacheIndex;

void rememberPoolCacheAndIndex(long[] poolCache, int poolCacheIndex) {
    this.poolCache = poolCache;
    this.poolCacheIndex = poolCacheIndex;
}

if (entry == 0) {
    zeroOutMemory(pool, used);
    pools[poolIndex] = pool;
} else {
    releaseToCacheOrFree(pool);
}

最有价值的实验、源码与 benchmark 细节： 作者在 Apple M4 上对 size=5 的 confined allocation 做 30 次平均时间采样。平台线程基线为 1.072 ± 0.031 ns/op，patch 后为 0.817 ± 0.016 ns/op，名义改善 23.8%；这与“数组扫描变为直接槽位命中”的改动对象一致。虚拟线程从 3.261 ± 0.113 变为 3.106 ± 0.240 ns/op，名义改善约 4.8%，但误差区间明显重叠，不能据此宣称虚拟线程路径获得确定提升。

新增测试还刻意覆盖“记住的槽在关闭前已被其他清理动作占用”的异常归还路径，验证失败时仍能扫描其他槽或释放 pool。这一点比单独展示 24% 峰值更有工程价值：缓存捷径必须保持容量、清零与回收语义，而不能把偶发重入变成泄漏或覆盖。

适合的工程师背景： 熟悉 FFM API、arena 生命周期、线程本地缓存，或正在设计对象池/内存池快速归还路径的 JVM 与运行时工程师。

预计阅读收益： 约 35–50 分钟；可以迁移一套低风险优化方法：在获取阶段保存可验证的归还令牌，释放阶段先尝试 O(1) 快路径，令牌失效时回到原通用算法，并分别测量平台线程与虚拟线程语义。

02 · Rust：按真实写入模式选择 liveness 集合表示

原文与日期： Kobzol，2026-09-09 00:37（中原标准时间）；rust-lang/rust PR #162488 与 rustc-perf 对比。评审记录还保留了扩大改动后的回退实验。

为什么值得读： borrow checker 的 liveness tracing 用 IntervalSet<PointIndex> 保存 drop_live_at，但调用点只会插入离散 point，从不插入 range。区间集合为不存在的操作模式维护额外结构。作者先尝试把更大的 LiveRegions::AtPoints 从 SparseIntervalMatrix 全局替换为 SparseBitMatrix，rustc-perf 出现回退；最终收窄为只替换 drop_live_at，在下游 API 边界再重建 IntervalSet。

核心技术结论： 数据结构应由实际操作分布决定，而不只由数据的抽象名称决定。PointIndex 是有界稠密索引，写入只有单点，DenseBitSet 能用位寻址完成插入和遍历；但下游 add_drop_live_facts_for 擅长消费区间，所以 patch 没有强迫整个 pipeline 改表示，而是在单一边界做一次有序转换。

drop_live_at: DenseBitSet<PointIndex>,

let mut drop_live_at = IntervalSet::new(self.num_points);
for point in self.drop_live_at.iter() {
    drop_live_at.insert(point);
}
add_drop_live_facts_for(..., &drop_live_at, ...);

DenseBitSet::iter() 按索引递增输出，因此重建区间时仍能合并相邻 point；局部转换保住现有 fact 生成接口，也把表示变化的语义风险限制在 liveness trace 内。

最有价值的实验、源码与 benchmark 细节： rustc-perf 的 14 个主样本指令数平均改善 1.4%，范围从改善 2.2% 到回退 0.3%；其中 12 个主样本改善均值 1.7%，两个回退样本为 0.2%–0.3%。次样本有 9 个改善，均值 1.7%，同时存在 10 个回退，均值 0.3%。这说明收益集中在触发 borrowck liveness 热路径的 workload，而不是无条件加速所有 crate。

代价也被完整保留：主样本 Max RSS 总体回退约 0.4%，五个显著回退样本为 0.4%–0.8%；bootstrap 从 478.441 秒变为 476.440 秒（-0.42%），产物从 403.53 MiB 增至 403.61 MiB（+0.02%）。cycles 主样本总体改善约 0.6%，但次样本中仍有 2.9% 的回退。更重要的是，作者公开了扩大到 SparseBitMatrix 的失败实验，使“局部 DenseBitSet + 边界转换”成为由消融对比得出的范围选择，而不是凭感觉的容器替换。

适合的工程师背景： 熟悉 rustc MIR、borrow checker、位集合或编译器数据流分析，正在权衡 dense bitset、interval set 与 sparse matrix 的工程师。

预计阅读收益： 约 40–60 分钟；能学到如何先审计 API 的真实操作集合，再用窄范围替换和失败实验确定优化边界，并同时用 instructions、cycles、RSS、bootstrap 与 artifact size 防止单指标误判。

中国大陆 ToC 硬件价格观察

数据口径

窗口为 2026-08-11 至 2026-09-09，单位人民币。本期从六个固定 SKU 的公开比价页读取当前报价：CPU、GPU、DRAM、SSD 获得 9 月 9 日可复核点；主板与 HDD 详情页本次未返回可确认的当前价，因此保留截至 9 月 8 日的最后真实点，不用昨日值伪造今日采样。折线连接所有真实观测；密集区域只标注首点、有效变价点与末点，日期斜排，所有点和文字均限制在面板内部。

价格来源： 9800X3D、MSI RTX 5070 VENTUS 3X、ASUS TUF B850M-PLUS WIFI7、Kingston FURY DDR5-6000 32GB、IronWolf Pro 8TB、ZHITAI Ti600 2TB。

判断依据

本期购买建议只依据同一固定 SKU 的真实报价事件和同页渠道差，不把单一聚合低价外推为整个品类行情。9800X3D 的 ¥140 日降幅足以改变短期建议，但仍需在结算页验证商品形态；GPU 与 SSD 的聚合最低价长期明显低于自营渠道，风险权重高于折线的表面横盘。主板和 HDD 因当日页面读取失败，不新增点也不声称 9 月 9 日横盘。

其它你可能关心的

• Kotlin：直接生成 indy callable reference wrapper
• OpenJDK：RISC-V SHA-1 intrinsic

本期结论

两篇材料都指向同一类性能工程原则：已有生命周期信息应被保存并用于 O(1) 快路径；集合表示应匹配真实操作而不是抽象名称。两项优化也都保留了失败或回退边界——OpenJDK 的槽冲突与虚拟线程路径、rustc 的全局 sparse matrix 实验与 RSS 回退。硬件部分四类新增 9 月 9 日真实点，CPU 出现 -5.41% 的显著变化；两类数据源不可核验时明确留空，避免把复制旧值当作每日更新。