mold: A Massively Parallel Linker

Rui Ueyama · 独立开发者 / mold 项目 · 2026-08-24

🎯 核心问题
链接（linking）是大型 C++ 项目编译流程中的严重瓶颈。现有链接器（GNU ld、gold、lld）虽然经过数十年优化，但其架构中符号解析（symbol resolution）与归档处理（archive processing）高度耦合，导致并行度极低，多数 CPU 核心在链接阶段处于空闲状态。对于多 GB 的 debug binary，链接耗时可达数十秒乃至数分钟，严重拖慢 edit-compile-debug 循环。

🔧 关键方法
mold 采用完全重新设计（clean-slate design）的方式，将整个链接流水线系统性地应用数据并行（data parallelism）。关键设计决策包括：将符号解析与归档文件处理解耦，使其可以独立并行执行；对链接的所有 pass（包括节合并、重定位、输出写入等）全面并行化。论文强调并非依赖某个单一优化，而是通过所有环节的累积并行化获得整体加速。这一设计思路与传统链接器"逐步串行处理"形成鲜明对比。

📊 实验或论据
在大型真实项目上评估，mold 链接多 GB debug binary 最多只需几秒，通常不到一秒。相比当前最快的 lld 链接器，mold 快 2.4–16.1 倍；相比传统 GNU ld，最高快 112 倍。消融实验（ablation study）证实没有单一优化占主导地位，加速来自于全流水线并行化的叠加效果。

⚠️ 局限
论文聚焦于 Unix/Linux 平台，未涉及 Windows PE/COFF 格式支持。此外，clean-slate 设计意味着与 GNU ld 的链接脚本（linker script）兼容性可能存在边角差异——这在嵌入式和内核构建场景中尤其重要。📄 abstract 未提及具体兼容性测试情况，需读全文确认。

💼 对系统人的启示
Rui Ueyama 是 lld（LLVM linker）的原作者，mold 是他从零开始的下一代作品，已经在开源社区获得广泛采用。这篇论文是对 mold 设计的系统性学术总结——如果你还没用 mold 替换 ld/lld，现在是认真评估的时候了；如果你在做编译工具链优化，解耦+全流水线并行的思路值得借鉴。

SxSSD: A Secure and Extensible Software-defined Solid State Drive

Josh Dafoe, Bo Chen · 2026-08-24

🎯 核心问题
SSD 内部的闪存转换层（FTL）天然构成一个可信计算基（TCB），因为它物理隔离于操作系统。基于这种隔离，可以实现强安全属性（例如恶意软件攻击后的数据恢复）。但传统块设备接口不提供修改 FTL 内部逻辑的途径。新兴的开放通道 SSD（Open-Channel SSD）和 ZNS（Zoned Namespaces）将 FTL 功能上移至 OS，虽然提高了灵活性，却模糊了可信边界——OS 被攻破时 FTL 策略也不再安全。这形成了一个 "安全 vs. 可扩展" 的两难。

🔧 关键方法
SxSSD 的核心思路是将 FTL 的策略定义（policy）与底层原语机制（primitive mechanism）解耦。可信应用可以动态、安全地定义 FTL 策略和暴露的存储接口，同时保留传统 FTL 的执行隔离性。这意味着既获得了比 Open-Channel / ZNS 更高的灵活性（策略可编程），又不牺牲块设备 FTL 的安全隔离。论文还识别并解决了 OS 被攻破场景下引入的关键安全挑战。

📊 实验或论据
作者实现了 SxSSD 原型，并在不同的 FTL 策略和存储接口下评估了其性能开销。实验结果表明，SxSSD 相比原生 FTL 实现引入的额外开销较小。📄 abstract 未给出具体评估平台（如 FEMU/QEMU 还是真实硬件）和量化数字，需读全文确认。

⚠️ 局限
"策略与机制分离"的设计需要对 SSD 固件架构有较深的改动，落地依赖 SSD 厂商的配合或开源固件平台（如 OpenSSD）。此外，在 OS 已被攻破的威胁模型下，可信应用的定义和部署本身如何保证安全性，是一个需要仔细审视的攻击面。

💼 对系统人的启示
对关注存储安全（confidential computing、ransomware 防护）的工程师来说，SxSSD 提供了一个在不牺牲隔离性的前提下让 FTL 可编程的思路。如果你在做 ZNS 或 Open-Channel SSD 上层适配，这篇论文的安全性分析框架值得参考——它清晰地指出了 FTL 上移至 OS 后的可信边界问题。

Slasher: Power Flexibility for Cloud Datacenters

Liuzixuan Lin, Fiodar Kazhamiaka, Alok Gautam Kumbhare, et al. · Microsoft Azure · 2026-08-26

🎯 核心问题
云数据中心消耗兆瓦级电力，且经常面临需要快速调节功耗的场景：基础设施故障、电网故障、电网调度服务等。这些场景在功率幅度、调节范围、响应时间等维度上差异巨大——从单个机架到跨区域多数据中心的电网事件都有。现有方案往往针对单一场景设计，缺乏统一的功率调控框架。

🔧 关键方法
Slasher 是部署在 Azure 生产环境的通用数据中心功率调控系统。它协调数据中心内的各类资源（服务器、冷却、存储等），目标是在满足功率目标的同时最小化对托管工作负载的负面影响。系统架构涵盖从单机架到区域级多数据中心的调控能力。论文形式化了云数据中心功率调控的控制问题，并利用生产级数据刻画了各种功率削减手段（power reduction levers）的特性。此外，作者构建了高保真数据中心模拟器和工作负载影响模型，用于设计和评估控制算法。

📊 实验或论据
基于 Azure 生产云数据中心的真实数据进行分析和评估。使用自研的高保真模拟器验证控制算法效果。论文涵盖了多种实际功率调控场景的刻画和分析。具体的 baseline 对比和数字指标需读全文。

⚠️ 局限
该工作深度绑定 Azure 的基础设施和工作负载特征，其控制策略和模拟器参数可能不能直接迁移到其他云厂商或 on-premise 场景。此外，论文主要基于模拟器评估控制算法，生产环境中电网级事件的实际验证受限于事件本身的稀缺性。

💼 对系统人的启示
如果你在做数据中心级别的电力管理或参与 power capping / power-aware scheduling 相关工作，Slasher 是一个难得的产业级参考——来自 Azure 的真实生产经验，包含了对功率调控手段的系统性刻画。其"统一调控框架"的思路（而非逐场景定制）对私有云和混合云场景也有借鉴价值。

Analyzing and Reducing Search Quality Differences in Vector Similarity Search

Sara Mahdizadeh Shahri, Martin Prammer, Jignesh M. Patel, et al. · 2026-08-25

🎯 核心问题
近似最近邻搜索（ANN Search）是现代向量数据库的核心操作。实践中，运维人员会优化平均 recall 达标并最大化吞吐量。但论文发现：即使平均 recall 达标，不同查询之间的 recall 差异巨大——部分查询 recall 远低于目标（损害用户体验和收入），部分查询 recall 远高于目标（浪费计算资源）。这种"平均值掩盖个体差异"的问题在全局调优的 ANN 索引中普遍存在。

🔧 关键方法
RCheck 是一个轻量级运行时系统，核心设计原则是动态自适应搜索努力（search effort）：对低于目标 recall 的查询增加搜索深度，对高于目标的查询减少搜索深度。RCheck 调节现有 ANN 索引的搜索参数（如 HNSW 的 efSearch），不需要修改索引结构本身，因此可以直接部署在现有系统上。这本质上是一个运行时的 per-query 自适应控制策略。

📊 实验或论据
在广泛使用的生产级 pgvector 数据库上评估。在相同吞吐量下，RCheck 将平均 recall 提升 11–93%，使达到目标 recall 的查询比例增加 8–47%，对比的 baseline 是当前最优的全局调优配置。

⚠️ 局限
RCheck 的自适应判断依赖运行时对查询 recall 的估计，这个估计本身需要额外计算开销且可能不精确。此外，论文仅在 pgvector（基于 HNSW）上评估，对其他 ANN 索引结构（如 IVF、DiskANN）的适用性需进一步验证。

💼 对系统人的启示
如果你在运维向量数据库或做 RAG 系统的检索层优化，RCheck 的思路直接可用：不改索引结构，只在运行时 per-query 动态调参。"平均 recall 达标 ≠ 每个查询都好用"这一洞察本身也值得向量数据库使用者重视。

本周印象：工具链与系统软件的"学术化总结"

本周 cs.OS 仅 4 篇论文，数量处于低位，但质量不低。最引人注目的是 mold 的论文——这是一个已经在开源社区广泛使用的生产级工具链项目，由 LLVM lld 原作者 Rui Ueyama 以独立作者身份发表学术论文。这种"先有成熟开源实现，后有学术总结"的路径在系统领域越来越常见（类似 io_uring 先进 Linux 内核后发论文的模式），反映出系统研究与工程实践的融合加深。

另一个值得注意的方向是 SSD 安全与可编程性的交叉——SxSSD 试图在 FTL 可信隔离与 Open-Channel/ZNS 可扩展性之间找到平衡点。随着 confidential computing 和 ransomware 防护需求的增长，存储栈的可信边界问题将持续受到关注。

本周论文的 primary category 分布：cs.OS ×1、cs.DC ×1、cs.CR ×1、cs.DB ×1，反映出 OS 方向的跨领域属性——系统人需要关注的远不止内核本身。