关于链接

一、基本知识
1.什么是链接?
  将各种代码和数据部分收集起来并组合称一个单一文件的过程,这个文件可以被加载(或被拷贝)到存储器中执行.
2.什么时候会有链接这个动作?
  a.编译时:源代码被翻译成机器代码的时候
  b.加载时:程序被加载器加载到存储器并执行时
  c.执行时:由应用程序来执行
3.理解链接对我们的好处:
  a.帮助我们构建大型程序
  b.避免一些危险的编程错误
  c.理解语言的作用域规则是如何实现的
  d.理解其他重要的系统概念:加载和运行程序、虚拟存储器、分页和存储器映射
  e.利用共享库
4.一些命令总结：
  a.64位系统产生32位代码:在linux x86-64系统上用gcc -m32产生32位代码
  b.编译:gcc -O2 -g -o 可执行目标文件名 一个或多个文件名,空格分隔
  注:b这个编译动作分为几个步骤:
     (1)运行C预处理器cpp,将源文件翻译成中间文件
     (2)运行C编译器将中间文件翻译成ASCII汇编语言文件
     (3)将汇编语言文件翻译成可重定位目标文件(relocatable object file)
     (4)最后运行链接器程序ld,将一个或多个目标文件以及一些系统目标文件组合起来,创建一个可执行目标文件(executable object file)
  c.运行:./文件名
二、静态链接
1.什么是静态链接?
  以一组可重定位目标文件和参数(来自命令行)作为输入,生成一个完全链接的可以加载和运行的可执行目标文件作为输出.输入的可重定位目标文件由各种不同的代码和数据节(section)组成.指令在一个节中,初始化的全局变量在另一个节中,而未初始化的变量又在另一个节中
2.为构造可执行文件两个主要任务:
  a.符号解析(symbol resolution).目标文件定义和引用符号.符号解析的目的是将每个符号引用刚好和一个符号定义联系起来
  b.重定位(relocation).编译器和汇编器生成从地址0开始的代码和数据节,链接器通过把每个符号定义与一个存储器位置联系起来,然后修改所有对这些符号的引用,使得他们指向这个存储区位置,从而重定位这些节
3.一些注意点
  目标文件纯粹是字节块的集合,这些块中有些包含程序代码,有些包含程序数据,而其他则包含指导链接器和加载器的数据结构.链接器将这些块连接起来,确定被连接块的运行时位置,并修改代码和数据块中的各种位置.链接器对目标机器了解甚少.产生目标文件的编译器和汇编器已经完成大部分工作.
三、目标文件
1.目标文件的类型:
  a.可重定位目标文件:包含二进制代码和数据,其形式可以在编译时与其他可重定位目标文件合并起来,创建一个可执行目标文件.
  b.可执行目标文件:包含二进制代码和数据,其行驶可以直接拷贝到存储器并执行
  c.共享目标文件:一种特殊类型的可重定位目标文件,可以在加载或者运行时(在上面提到过链接动作发生的时间)被动态地加载到存储器并链接
2.编译器和汇编器生成可重定位目标文件(包括共享目标文件),链接器生成可执行目标文件.
3.各个系统之间,目标文件格式都不相同.
  a.第一个unix系统:a.out格式,直到今天,可执行文件仍然被称为a.out文件
  b.System V Unix的早期版本使用的一般目标文件格式(Common Object File Format,COFF)
  c.Windows NT使用的是COFF变种,叫做可移植性可执行(Portable Executable,PE)格式
  d.现代Unix(如Linux还有System V Unix后来的版本)使用的是可执行和可链接格式(Executable and Linkable Format,ELF)