计系第七章链接-2终稿.pptxVIP

第四章 程序的链接目标文件格式符号解析与重定位共享库与动态链接 可执行文件的链接生成 主要教学目标 使学生了解链接器是如何工作的，从而能够养成良好的程序设计习惯，并增加程序调试能力。 通过了解可执行文件的存储器映像来进一步深入理解进程的虚拟地址空间的概念。 包括以下内容 链接和静态链接概念 三种目标文件格式 符号及符号表、符号解析 使用静态库链接 重定位信息及重定位过程 可执行文件的存储器映像 可执行文件的加载 共享（动态）库链接 程序的链接 分以下三个部分介绍 第一讲：目标文件格式 程序的链接概述、链接的意义与过程 ELF目标文件、重定位目标文件格式、可执行目标文件格式 第二讲：符号解析与重定位 符号和符号表、符号解析 与静态库的链接 重定位信息、重定位过程 可执行文件的加载 第三讲：动态链接 动态链接的特性、程序加载时的动态链接、程序运行时的动态链接、动态链接举例 符号和符号解析 每个可重定位目标模块m都有一个符号表，它包含了在m中定义和引用的符号。有三种链接器符号： Global symbols（模块内部定义的全局符号） 由模块m定义并能被其他模块引用的符号。例如，非static C函数和非static的C全局变量（指不带static的全局变量） 如，main.c 中的全局变量名buf External symbols（外部定义的全局符号） 由其他模块定义并被模块m引用的全局符号 如，main.c 中的函数名swap Local symbols（本模块的局部符号） 仅由模块m定义和引用的本地符号。例如，在模块m中定义的带static的C函数和全局变量 如，swap.c 中的static变量名bufp1 链接器局部符号不是指程序中的局部变量（分配在栈中的临时性变量）,链接器不关心这种局部变量 符号和符号解析 int buf[2] = {1, 2}; void swap(); int main() { swap(); return 0; } main.c extern int buf[]; int *bufp0 = buf[0]; static int *bufp1; void swap() { int temp; bufp1 = buf[1]; temp = *bufp0; *bufp0 = *bufp1; *bufp1 = temp; } swap.c 你能说出哪些是全局符号？哪些是外部符号？哪些是局部符号？ 目标文件中的符号表 符号表（symtab）中每个条目的结构如下： typedef struct { int name; /*符号对应字符串在strtab节中的偏移量*/ int value; /*在对应节中的偏移量，可执行文件中是虚拟地址*/ int size; /*符号对应目标所占字节数*/ char type: 4, /*符号对应目标的类型：数据、函数、源文件、节*/ binding: 4; /*符号类别：全局符号、局部符号、弱符号*/ char reserved; char section; /*符号对应目标所在的节，或其他情况*/ } Elf_Symbol; 其他情况：ABS表示不该被重定位；UND表示未定义；COM表示未初始化数据（.bss），此时，value表示对齐要求，size给出最小大小 .symtab 节记录符号表信息，是一个结构数组 函数大小或变量长度 目标文件中的符号表 main.o中的符号表中最后三个条目（共10个） Num: value Size Type Bind Ot Ndx Name 8: 0 8 Data Global 0 3 buf 9: 0 33 Func Global 0 1 main 10: 0 0 Notype Global 0 UND swap swap.o中的符号表中最后4个条目（共11个） Num: value Size Type Bind Ot Ndx Name 8: 0 4 Data Global 0 3 bufp0 9: 0 0 Notype Global 0 UND buf 10: 0 36 Func Global 0 1 swap 11: 4 4 Data Local 0 COM bufp1 buf是main.o中第3节（.data）偏移为0的符号，是全局变量，占8B； main是第1节（.text）偏移为0的符号，是全局函数，占33B； swap