计算机系统基础作者袁春风第四章程序的链接课件.pptVIP

可执行文件的链接生成 主要教学目标 使学生了解链接器是如何工作的，从而能够养成良好的程序设计习惯，并增加程序调试能力。 通过了解可执行文件的存储器映像来进一步深入理解进程的虚拟地址空间的概念。 包括以下内容 链接和静态链接概念 三种目标文件格式 符号及符号表、符号解析 使用静态库链接 重定位信息及重定位过程 可执行文件的存储器映像 可执行文件的加载 共享（动态）库链接 程序的链接 分以下三个部分介绍 第一讲：目标文件格式 程序的链接概述、链接的意义与过程 ELF目标文件、重定位目标文件格式、可执行目标文件格式 第二讲：符号解析与重定位 符号和符号表、符号解析 与静态库的链接 重定位信息、重定位过程 可执行文件的加载 第三讲：动态链接 动态链接的特性、程序加载时的动态链接、程序运行时的动态链接、动态链接举例 可执行目标文件格式 与.o文件稍有不同： ELF头中字段e_entry给出执行程序时第一条指令的地址，而在可重定位文件中，此字段为0 多一个.init节，用于定义_init函数，该函数用来进行可执行目标文件开始执行时的初始化工作 少两.rel节（无需重定位） 多一个程序头表，也称段头表（segment header table），是一个结构数组 可执行文件中的程序头表 可执行文件中的程序头表 程序的链接 分以下三个部分介绍 第一讲：目标文件格式 程序的链接概述、链接的意义与过程