1. 概述
链接器的作用主要是对符号的解析以及将符号与地址进行绑定。要实现这个功能需要依赖链接脚本，链接脚本大多数情况下用来链接输入文件，并生成目标文件。编译器的“-T”参数就是用来指定链接脚本的。
2. 链接脚本
需要解析的链接脚本代码如程序清单 2.1所示。
程序清单 2.1 链接脚本源码OUTPUT_FORMAT("elf32-tradlittlemips")OUTPUT_ARCH(mips)ENTRY(_start)SECTIONS{ /* Read-onlysections, merged into text segment: */ . = 0x80100000; .text : { _ftext = . ; *(.text) *(.rodata) *(.rodata1) *(.reginfo) *(.init) *(.stub) /* .gnu.warningsections are handled specially by elf32.em. */ *(.gnu.warning) } =0 _etext = .; PROVIDE (etext =.); .fini : { *(.fini) } =0 .data : { _fdata = . ; *(.data) CONSTRUCTORS } .data1 : { *(.data1) } .ctors : { __CTOR_LIST__ = .; LONG((__CTOR_END__ - __CTOR_LIST__) / 4 - 2) *(.ctors) LONG(0) __CTOR_END__ = .; } .dtors : { __DTOR_LIST__ = .; LONG((__DTOR_END__ - __DTOR_LIST__) / 4 - 2) *(.dtors) LONG(0) __DTOR_END__ = .; } _gp = ALIGN(16) +0x7ff0; .got : { *(.got.plt)*(.got) } /* We want thesmall data sections together, so single-instruction offsets can access them all, and initialized dataall before uninitialized, so we can shortenthe on-disk segment size. */ .sdata : { *(.sdata) } .lit8 : {*(.lit8) } .lit4 : {*(.lit4) } _edata = .; PROVIDE (edata =.); __bss_start = .; _fbss = .; .sbss : { *(.sbss) *(.scommon) } .bss : { *(.dynbss) *(.bss) *(COMMON) } . = ALIGN(16); __bss_end = .; _end = .;__end =.; end = .; PROVIDE (end =.); /* These areneeded for ELF backends which have not yet been converted tothe new style linker. */ .stab 0 : {*(.stab) } .stabstr 0 : {*(.stabstr) } /* DWARF debugsections. Symbols in the.debug DWARF section are relative to the beginning of the section so webegin .debug at 0. It's not clear yetwhat needs to happen for theothers. */ .debug 0 : { *(.debug) } .debug_srcinfo 0 : {*(.debug_srcinfo) } .debug_aranges 0 : {*(.debug_aranges) } .debug_pubnames 0: { *(.debug_pubnames) } .debug_sfnames 0 : {*(.debug_sfnames) }.line 0 :{ *(.line) } /* These mustappear regardless of . */ .gptab.sdata : {*(.gptab.data) *(.gptab.sdata) } .gptab.sbss : {*(.gptab.bss) *(.gptab.sbss) }} 3. 链接脚本逐句解析
OUTPUT_FORMAT("elf32-tradlittlemips")OUTPUT_ARCH(mips) OUTPUT_FORMAT 和 OUTPUT_ARCH 都是 ld 脚本的保留字命令。OUTPUT_FORMAT 说明输出二进制文件的格式，OUTPUT_ARCH 说明输出文件所在平台。
ENTRY(_start)1
ENTRY 命令的作用是，将后面括号中的符号值设置成入口地址。入口地址（entry point）的定义：进程执行的第一条用户空间的指令在进程地址空间中的地址。
ld 有多种方法设置进程入口地址，通常它按以下顺序设置：（编号越前, 优先级越高） 1. ld 命令行的“-e”选项； 2. 链接脚本的 ENTRY(SYMBOL) 命令； 3. 如果定义了 start 符号, 使用 start 符号值； 4. 如果存在 .text section, 使用 .text section 的第一字节的位置值； 5. 使用值 0。SECTIONS{ SECTIONS 命令告诉 ld 如何把输入文件的 sections 映射到输出文件的各个 section：即如何将输入 section 合为输出 section；如何把输出 section 放入程序地址空间 (VMA) 和进程地址空间 (LMA) 。其格式如下：
SECTIONS{….}/* Read-only sections, merged into text segment: */ . = 0x80100000; 这句把定位器符号置为 0x80100000 （若不指定，则该符号的初始值为 0）。
. 是一个特殊的符号，它是定位器，即一个位置指针，指向程序地址空间内的某个位置（或某section内的偏移，前提是它在SECTIONS命令内的某section描述内），该符号只能在SECTIONS命令内使用。.text : { _ftext = . ; *(.text) *(.rodata) *(.rodata1) *(.reginfo) *(.init) *(.stub) /* .gnu.warningsections are handled specially by elf32.em. */ *(.gnu.warning) } =0 .text : 表示text段开始。
(.text) 将所有(符号代表任意输入文件)输入文件的.text section合并成一个.text section, 该section的地址由定位器符号的值指定。 } =0 表示合并时留下的空隙用 0 填充。_etext = .; PROVIDE (etext = .);
_etext = .;很多变量都定义成等于这个 . 符，实际上这个符号所代表的值是在变化的，随着脚本越往后走，值越增加，根据前面填充的多少自动往后加。
PROVIDE关键字用于定义这类符号：在目标文件内被引用，但没有在任何目标文件内被定义的符号。 此时定义了一个 etext 符号，当目标文件内引用了 etext 符号，却没有定义它时，etext 符号对应的地址被定义为 .text section 之后的第一个字节的地址。.fini : { *(.fini) } =0 含义同前文。
.data : { _fdata = . ; *(.data) CONSTRUCTORS } .data1 : { *(.data1) } 此处代码就是用于描述数据段了。
CONSTRUCTORS 是一个保留字命令。与 c++ 内的（全局对象的）构造函数和（全局对像的）析构函数相关。.ctors : { __CTOR_LIST__ = .; LONG((__CTOR_END__ - __CTOR_LIST__) / 4 - 2) *(.ctors) LONG(0) __CTOR_END__ = .; } .dtors : { __DTOR_LIST__ = .; LONG((__DTOR_END__ - __DTOR_LIST__) / 4 - 2) *(.dtors) LONG(0) __DTOR_END__ = .; } 对于支持任意section名的目标文件格式，比如COFF、ELF格式，GNU C++将全局构造和全局析构信息分别放入 .ctors section 和 .dtors section 内。
当链接器生成的目标文件格式不支持任意section名字时，比如ECOFF、XCOFF格式，链接器将通过名字来识别全局构造和全局析构，对于这些文件格式，链接器把与全局构造和全局析构的相关信息放入出现 CONSTRUCTORS 关键字的输出section内。符号CTORS_LIST表示全局构造信息的的开始处，CTORS_END表示全局构造信息的结束处。
这两块信息的开始处是一字长的信息，表示该块信息有多少项数据，然后以值为零的一字长数据结束。 一般来说，GNU C++在函数__main内安排全局构造代码的运行，而__main函数被初始化代码（在main函数调用之前执行）调用。_gp = ALIGN(16) + 0x7ff0;1
_gp是一个重要的全局变量，用作全局引用的一个指针。
.got : { *(.got.plt)*(.got) } /* We want thesmall data sections together, so single-instruction offsets can accessthem all, and initialized data all before uninitialized, so we can shortenthe on-disk segment size. */ .sdata : { *(.sdata) } .lit8 : {*(.lit8) } .lit4 :{ *(.lit4) } 含义同前文。
_edata = .; PROVIDE (edata = .);
意义与前面的 etext 类似。edata 符号也较为重要。
__bss_start = .; _fbss = .; .sbss : { *(.sbss) *(.scommon) } .bss : { *(.dynbss) *(.bss) *(COMMON) } . = ALIGN(16); __bss_end = .; _end = .;__end =.; end = .; PROVIDE (end = .); 此处是描述BSS段。COMMON 这个保留字的意义：
通用符号(common symbol)的输入section：在许多目标文件格式中，通用符号并没有占用一个section。链接器认为，输入文件的所有通用符号在名为COMMON的section内。上例中将所有输入文件的所有通用符号放入输出.bss section内。 上述脚本，定义了几个重要的符号：__bss_start = .;__bss_end = .;_end = .;__end = .;end = .;
这些内容在代码中可能会用到的。
/* These are needed for ELF backends which have not yetbeen converted tothe new style linker. */ .stab 0 : {*(.stab) } .stabstr 0 : {*(.stabstr) } /* DWARF debugsections. Symbols in the.debug DWARF section are relative to the beginning of the section so webegin .debug at 0. It's not clear yetwhat needs to happen for theothers. */ .debug 0 : { *(.debug) } .debug_srcinfo 0 : {*(.debug_srcinfo) } .debug_aranges 0 : {*(.debug_aranges) } .debug_pubnames 0: { *(.debug_pubnames) } .debug_sfnames 0 : {*(.debug_sfnames) } .line 0 : { *(.line) } /* These mustappear regardless of . */ .gptab.sdata : {*(.gptab.data) *(.gptab.sdata) } .gptab.sbss : {*(.gptab.bss) *(.gptab.sbss) }} 最后这部分内容意义与上述类似，看英文注释可以明白，是新版本链接器所需要的一些内容。
4. 免责声明
内部交流文档，仅针对SylixOS平台，若发现相关错误或者建议，请及时联系文档创建者进行修订和更新。