1. 1. 链接器的作用★★☆☆☆⏱ 5 min

开发大型程序时，源代码会被拆分到多个文件中以简化开发。每个文件被单独编译为目标文件，目标文件包含自身的代码和数据，以及对其他文件或外部库中定义的符号（函数、变量）的引用。

链接器主要完成三项核心任务：

1. 将输入目标文件的所有代码段和数据段合并为单个可执行镜像

2. 为每个已定义符号分配唯一的内存地址，解析符号引用

3. 重定位代码和数据，使其匹配可执行文件中的最终位置

Exam tip:

考试经常要求列出链接器的三项核心任务，请务必牢记

2. 2. 静态链接 vs 动态链接★★★☆☆⏱ 5 min

链接可以在编译阶段完成（静态链接），也可以在加载/运行阶段完成（动态链接）。下表对比了两种方式：

3. 3. 加载器的作用★★☆☆☆⏱ 4 min

链接器生成可执行文件后，它会被存储在辅助存储中。当程序启动时，加载器完成以下核心任务：

1. 读取可执行文件头，获取代码段、数据段和栈段的大小

2. 在主存中分配足够的空闲空间存储整个程序

3. 将可执行文件中的代码和数据复制到分配的内存中

4. 解析所有剩余的对共享库的动态链接引用

5. 设置程序的栈和堆

6. 跳转到程序的入口点开始执行

4. 4. 常见的加载类型★★★☆☆⏱ 3 min

CIE A-Level考试需要你掌握三种主要的程序加载类型：

• 绝对加载：链接器为程序分配固定的内存地址，因此加载器将程序加载到这些预先指定的地址。实现简单，但不支持多道程序设计。

• 可重定位加载：程序可以被加载到主存中任意空闲块，加载器会调整所有地址引用，使其匹配内存块的起始地址。支持多道程序设计。

• 动态加载：仅当程序模块在运行时被调用时才会将其加载到内存。未使用的模块永远不会被加载，因此可以节省内存。