mold:重新定义链接器的并行极限

监管和法律更新

mold: A Parallel Linker 是近年来在编译领域引起广泛关注的创新工具,它通过在链接阶段引入大规模数据并行,显著缩短了大型 C++ 项目的编译时间。传统链接器在处理符号表、归档库和重定位时往往采用顺序或仅有限的并行策略,导致多核 CPU 在链接过程中大量闲置。 mold 的作者首先分析了现有链接器无法充分利用多核的根本原因,指出符号解析与归档处理高度耦合,导致后续步骤必须等待前序步骤完成才能开始。这种耦合不仅限制了并行度,还增加了锁竞争和内存访问冲突,使得即使在拥有数十个核心的机器上,链接时间也难以呈线性下降。 为了打破这种瓶颈,mold 采用了干净利落的重新设计,将符号解析、归档处理、段落布局和重定位等环节彻底解耦。每个环节都被抽象为独立的数据阶段,它们之间仅通过不可变的中间数据结构进行通信。

这样就可以为每个阶段分配专门的线程池,实现真正的数据并行。 在实际实现中,mold 首先并行读取所有目标文件,构建全局符号哈希表;随后使用并行排序算法对符号进行去重和归档库成员的提取;接着采用并行的段落分配算法确定每个段在最终镜像中的位置;最后进行并行的重定位应用和输出写入。整个流水线中的每一步都可以在多个核心上同时进行,几乎没有全局锁的开销。 消融实验表明,没有哪一个单独的优化能够解释全部的性能提升。仅仅并行化符号表构建大约可以带来 1.5 倍的加速;而将段落布局和重定位也并行化后,加速效果会进一步叠加,最终达到文中报道的 2.4‑16.1 倍(相对于 lld)以及最高 112 倍(相对于 GNU ld)的范围。这说明 mold 的速度来源于整体架构的并行化,而非某一点的局部改进。

从使用角度看,mold 能够直接替代传统的 ld 或 lld,只需在编译命令中指定 -fuse-ld=mold 或将其设置为默认链接器。它完全兼容 ELF 格式,支持 GNU ld 的大部分命令行选项,并且能够处理带有丰富调试信息的大型二进制文件。安装过程中仅需要克隆其源码仓库并进行简单的编译,无需额外的依赖库。 对于开发者来说,链接时间的缩短意味着编译调试循环的显著改善。在一个典型的大型 C++ 项目中,原本可能需要数分钟甚至十几分钟的链接步骤,现在只需几秒甚至不到一秒,这使得频繁的代码修改和即时反馈成为可能,极大地提升了工作效率和编程体验。 与其他现代链接器相比,mold 在并行度和延迟上都表现出优势。

Gold 链接器虽然在某些场景下比 GNU ld 快,但其并行化程度仍然受限于传统的阶段划分;LLVM 的 lld 已经引入了一定的并行支持,但仍未实现全流水线的数据并行。mold 通过彻底解耦和细粒度任务调度,成功地将链接器的性能推向了新的极限。 展望未来,mold 的设计为进一步的功能扩展提供了良好基础。研究团队正在探索对其他目标文件格式(如 Mach‑O 和 COFF)的支持,以及增量链接的实现,使得只有修改过的部分需要重新链接。此外,将链接时优化(LTO)与 mold 的并行框架结合,有望在保持链接速度的同时进一步提升生成代码的质量。 自发布以来,mold 已经获得了众多开源项目的关注和采纳。

一些大型的基础设施仓库已经将其作为默认链接器用于持续集成管道,以减少构建时间和能源消耗。社区活跃度也不断上升,贡献者们在问题追踪页上提供了大量的反馈和补丁,推动了工具的快速迭代和稳定性提升。 g综上所述,mold 通过一种彻底的并行化设计,成功地将链接这一传统上串行且资源密集的环节转变为高效的数据并行过程。其实际表现表明,对于现代大型软件开发而言,链接不再是瓶颈,而是可以被显著压缩的环节。随着硬件核心数的继续增长和软件规模的不断扩大,mold 所代表的链接器新范式有望成为未来编译工具链的标准配置。 。