第四章程序的链接.ppt

可执行文件的链接生成 主要教学目标 使学生了解链接器是如何工作的，从而能够养成良好的程序设计习惯，并增加程序调试能力。 通过了解可执行文件的存储器映像来进一步深入理解进程的虚拟地址空间的概念。 包括以下内容 链接和静态链接概念 三种目标文件格式 符号及符号表、符号解析 使用静态库链接 重定位信息及重定位过程 可执行文件的存储器映像 可执行文件的加载 共享（动态）库链接 程序的链接 分以下三个部分介绍 第一讲：目标文件格式 程序的链接概述、链接的意义与过程 ELF目标文件、重定位目标文件格式、可执行目标文件格式 第二讲：符号解析与重定位 符号和符号表、符号解析 与静态库的链接 重定位信息、重定位过程 可执行文件的加载 第三讲：动态链接 动态链接的特性、程序加载时的动态链接、程序运行时的动态链接、动态链接举例 原始的链接概念早在高级编程语言出现之前就已存在 最早程序员用机器语言编写程序，并记录在纸带或卡片上 用符号表示跳转位置和变量位置，是否简化了问题？ 汇编语言出现 用助记符表示操作码 用符号表示位置 用助记符表示寄存器 ….. 更高级编程语言出现 程序越来越复杂，需多人开发不同的程序模块 子程序（函数）起始地址和变量起始地址是符号定义（definition） 调用子程序（函数或过程）和使用变量即是符号的引用（reference） 一个模块定义的符号可以被另一个模块引用 最终须链接