链接基础：构建可执行程序的关键

本资源主要介绍了操作系统中的链接基础，由Michael L. Scott所著，版权属于2000年的Morgan Kaufmann Publishers, Inc.。该章节详细讲解了程序构建过程中的关键环节，包括后端编译器结构、中间代码形式、代码生成以及地址空间组织，这些都是理解可执行程序生成的基础。 9.1 **后端编译器结构**： 这部分内容深入探讨了编译器的后端工作流程，即如何将源代码转化为机器语言（object code）。后端编译器负责将高级语言抽象转换为特定架构的指令集，生成的代码通常包含符号引用，这些引用在编译时可能不明确，但会在链接阶段进行处理。 9.2 **中间代码形式**： 中间代码是编译过程中的一种过渡形式，它在对象代码生成之前出现，可能是汇编语言的近似或更抽象的表示。通过中间代码，编译器可以更好地管理和优化代码，以便适应不同的目标平台和实现。 9.3 **代码生成**： 代码生成阶段是将中间代码转换为最终的机器代码，包括处理如动态链接所需的链接信息。这部分涉及到为程序中的外部函数和数据创建入口点，确保程序在运行时能够正确找到所需资源。 9.4 **地址空间组织**： 地址空间组织讨论了如何在内存中布局可执行程序的各个部分，包括静态和动态链接的处理。静态链接是指编译时所有依赖项都被整合到单个可执行文件中，而动态链接则允许程序运行时查找并加载其他库。链接器在此阶段负责调整和修正地址，确保所有外部引用都能正确指向其实际位置。 在本章中，重点在于讲解链接器如何处理可重定位对象代码（relocatable object code），它是一种可以在链接阶段进行调整的文件格式，允许多个这样的文件组合成一个可执行程序。此外，还介绍了import table（导入表）和relocation table（重定位表），它们在存储和管理程序依赖性及地址信息方面发挥核心作用。 externalsymbols（外部符号）是链接过程的关键，它们标识出程序中需要链接的函数或变量，这些符号在链接阶段会与import table和export table（导出表）进行匹配，确保程序运行时能正确调用其他模块的功能。 本资源深入浅出地讲解了链接技术在软件开发中的作用，特别是对构建可执行程序时的细节处理，对于理解和实践编译器和链接器的工作原理至关重要。