了解 Go 编译器：链接器

了解 Go 编译器：链接器

Go 链接器是 Go 编译工具链的最后阶段，负责将编译后的目标文件组合成单个可执行二进制文件。它解析符号引用，分配内存地址，并生成操作系统可以加载和运行的独立程序，而无需外部依赖。

对于构建生产系统（包括 Mewayz 及其 207 个模块的业务操作系统等平台背后的基础设施）的工程团队来说，了解链接阶段发生的情况对于编写高性能、可部署的软件至关重要。

Go 链接器实际上是做什么的？

在 Go 工具链中，编译分为两个主要阶段。首先，编译器 (gc) 将 Go 源文件转换为特定于体系结构的目标文件。然后链接器（cmd/link）获取这些目标文件并将它们合并到完成的可执行文件中。编译器处理语法分析、类型检查和代码生成，而链接器则处理汇编程序的空间和关系工作。

链接器在此过程中执行几个关键操作。它解析跨包的所有符号引用，这意味着跨包边界的每个函数调用或变量引用都会连接到其实际实现。它将虚拟内存地址分配给每个函数和全局变量。它还以目标操作系统所需的格式写入最终的二进制文件 - ELF（适用于 Linux）、Mach-O（适用于 macOS）或 PE（适用于 Windows）。

与 C 或 C++ 链接器不同，Go 链接器完全用 Go 本身编写。这一决定是在 Go 1.5 引导工作期间完成的，使 Go 团队能够完全控制链接过程，并消除大多数构建对外部工具链的依赖。

Go 的链接器与传统链接器有何不同？

C/C++ 生态系统中的传统链接器（GNU ld、gold 或 LLVM 的 lld）在标准目标文件格式（如 ELF 可重定位）上运行。 Go 的链接器使用自己的内部对象格式，这赋予了它灵活性，但也意味着它存在于一个有些孤立的生态系统中。

默认静态链接：在大多数情况下，Go 会生成静态链接的二进制文件，将整个运行时和所有依赖项嵌入到单个文件中。这与通常依赖动态共享库的 C 程序形成鲜明对比。

无需单独的预处理步骤：Go 链接器不需要像传统两遍链接器那样进行单独的符号解析传递。它按照编译器已经确定的依赖顺序处理包。

死代码消除：链接器积极删除无法访问的函数和变量，这一点至关重要，因为 Go 的标准库很大。如果没有这个，每个二进制文件都会携带未使用的包的重量。

运行时集成：Go 链接器必须将 Go 运行时（包括垃圾收集器、goroutine 调度程序和堆栈管理代码）嵌入到每个二进制文件中。这是一个与 C 链接没有直接相似的责任。

CGo 桥接：当启用 CGo 时，Go 链接器必须与系统的 C 链接器协调才能处理混合的 Go/C 目标文件，这给过程增加了相当大的复杂性。

关键见解：Go 链接器的设计理念优先考虑部署简单性而不是构建速度。通过使用嵌入式运行时生成完全静态的二进制文件，Go 消除了整个类别的生产问题 - 缺少共享库、版本冲突和运行时依赖性解析 - 但代价是链接时间更长和二进制文件更大。

为什么链接器性能一直是一个挑战？

多年来，Go 链接器是构建过程中最慢的部分之一。由于它同时对整个程序而不是单个包进行操作，因此它无法像编译那样进行并行化。 Go 团队在链接器改进方面投入了大量资金，特别是在 Go 1.15 和 1.16 中，引入了新的目标文件格式并减少了链接器内存使用

Related Posts

• 从搜索中删除露骨图片的更简单方法
• 显示 HN：VOOG – 使用 Python 和 tkinter GUI 的 Moog 风格复调合成器
• DJB的密码学奇旅：从代码英雄到标准批评者
• 长鑫存储一直以大约当前市场价格一半的价格提供 DDR4 芯片