GNU-ld连接脚本浅析

0. Contents

1. 概论
2. 基本概念
3. 脚本格式
4. 简单例子
5. 简单脚本命令
6. 对符号的赋值
7. SECTIONS命令
8. MEMORY命令
9. PHDRS命令
10. VERSION命令
11. 脚本内的表达式
12. 暗含的链接脚本


1. 概论

每个连接过程都由连接脚本(linker script, 通常以lds做为文件的后缀名)控制. 连接脚本主要用于规定如何把输入文件内的section放入输出文件内, 并控制输出文件内各部分在程序地址空间内的布局. 但你也能够用链接命令作一些其余事情.

链接器有个默认的内置链接脚本, 可用ld --verbose查看. 链接选项-r和-N能够影响默认的链接脚本(如何影响?).

-T选项用以指定本身的连接脚本, 它将代替默认的链接脚本。你也可使用<暗含的链接脚本>以增长自定义的连接命令.

如下没有特殊说明，链接器指的是静态链接器.


2. 基本概念
连接器把一个或多个输入文件合成一个输出文件.

输入文件: 目标文件或连接脚本文件. 
输出文件: 目标文件或可执行文件.

目标文件(包括可执行文件)具备固定的格式, 在UNIX或GNU/Linux平台下, 通常为ELF格式. 若想了解更多, 可参考 UNIX/Linux平台可执行文件格式分析

有时把输入文件内的section称为输入section(input section), 把输出文件内的section称为输出section(output sectin).

目标文件的每一个section至少包含两个信息: 名字和大小. 大部分section还包含与它相关联的一块数据, 称为section contents(section内容). 一个section可被标记为“loadable(可加载的)”或“allocatable(可分配的)”. 

loadable section: 在输出文件运行时, 相应的section内容将被载入进程地址空间中.

allocatable section: 内容为空的section可被标记为“可分配的”. 在输出文件运行时, 在进程地址空间中空出大小同section指定大小的部分. 某些状况下, 这块内存必须被置零.

若是一个section不是“可加载的”或“可分配的”, 那么该section一般包含了调试信息. 可用objdump -h命令查看相关信息.

每一个“可加载的”或“可分配的”输出section一般包含两个地址: VMA(virtual memory address虚拟内存地址或程序地址空间地址)和LMA(load memory address加载内存地址或进程地址空间地址). 一般VMA和LMA是相同的.

在目标文件中, loadable或allocatable的输出section有两种地址: VMA(virtual Memory Address)和LMA(Load Memory Address). VMA是执行输出文件时section所在的地址, 而LMA是加载输出文件时section所在的地址. 通常而言, 某section的VMA == LMA. 但在嵌入式系统中, 常常存在加载地址和执行地址不一样的状况: 好比将输出文件加载到开发板的flash中(由LMA指定), 而在运行时将位于flash中的输出文件复制到SDRAM中(由VMA指定).

可这样来理解VMA和LMA, 假设:
(1) .data section对应的VMA地址是0x08050000, 该section内包含了3个32位全局变量, i、j和k, 分别为1,2,3.
(2) .text section内包含由"printf( "j=%d ", j );"程序片断产生的代码.

链接时指定.data section的VMA为0x08050000, 产生的printf指令是将地址为0x08050004处的4字节内容做为一个整数打印出来。

若是.data section的LMA为0x08050000，显然结果是j=2
若是.data section的LMA为0x08050004，显然结果是j=1

还可这样理解LMA:
.text section内容的开始处包含以下两条指令(intel i386指令是10字节，每行对应5字节):

jmp 0x08048285
movl $0x1,%eax

若是.text section的LMA为0x08048280, 那么在进程地址空间内0x08048280处为“jmp 0x08048285”指令, 0x08048285处为movl $0x1,%eax指令. 假设某指令跳转到地址0x08048280, 显然它的执行将致使%eax寄存器被赋值为1.

若是.text section的LMA为0x08048285, 那么在进程地址空间内0x08048285处为“jmp 0x08048285”指令, 0x0804828a处为movl $0x1,%eax指令. 假设某指令跳转到地址0x08048285, 显然它的执行又跳转到进程地址空间内0x08048285处, 形成死循环.

符号(symbol): 每一个目标文件都有符号表(SYMBOL TABLE), 包含已定义的符号(对应全局变量和static变量和定义的函数的名字)和未定义符号(未定义的函数的名字和引用但没定义的符号)信息.

符号值: 每一个符号对应一个地址, 即符号值(这与c程序内变量的值不同, 某种状况下能够把它当作变量的地址). 可用nm命令查看它们. (nm的使用方法可参考本blog的 GNU binutils笔记 )


3. 脚本格式
连接脚本由一系列命令组成, 每一个命令由一个关键字(通常在其后紧跟相关参数)或一条对符号的赋值语句组成. 命令由分号‘;’分隔开.

文件名或格式名内若是包含分号';'或其余分隔符, 则要用引号‘"’将名字全称引用起来. 没法处理含引号的文件名.
/* */之间的是注释。


4. 简单例子
在介绍连接描述文件的命令以前, 先看看下述的简单例子:

如下脚本将输出文件的text section定位在0x10000, data section定位在0x8000000:

SECTIONS
{
. = 0x10000;
.text : { *(.text) }
. = 0x8000000;
.data : { *(.data) }
.bss : { *(.bss) }
}

解释一下上述的例子: 
. = 0x10000 : 把定位器符号置为0x10000 (若不指定, 则该符号的初始值为0).

.text : { *(.text) } : 将全部(*符号表明任意输入文件)输入文件的.text section合并成一个.text section, 该section的地址由定位器符号的值指定, 即0x10000.

. = 0x8000000 ：把定位器符号置为0x8000000
.data : { *(.data) } : 将全部输入文件的.text section合并成一个.data section, 该section的地址被置为0x8000000.

.bss : { *(.bss) } : 将全部输入文件的.bss section合并成一个.bss section，该section的地址被置为0x8000000+.data section的大小.

链接器每读完一个section描述后, 将定位器符号的值*增长*该section的大小. 注意: 此处没有考虑对齐约束.


5. 简单脚本命令
- 1 -

ENTRY(SYMBOL) : 将符号SYMBOL的值设置成入口地址。

入口地址(entry point): 进程执行的第一条用户空间的指令在进程地址空间的地址)

ld有多种方法设置进程入口地址, 按一下顺序: (编号越前, 优先级越高)
1, ld命令行的-e选项
2, 链接脚本的ENTRY(SYMBOL)命令
3, 若是定义了start符号, 使用start符号值
4, 若是存在.text section, 使用.text section的第一字节的位置值
5, 使用值0

- 2 -

INCLUDE filename : 包含其余名为filename的连接脚本

至关于c程序内的的#include指令, 用以包含另外一个连接脚本. 

脚本搜索路径由-L选项指定. INCLUDE指令能够嵌套使用, 最大深度为10. 即: 文件1内INCLUDE文件2, 文件2内INCLUDE文件3... , 文件10内INCLUDE文件11. 那么文件11内不能再出现 INCLUDE指令了.

- 3 -

INPUT(files): 将括号内的文件作为连接过程的输入文件

ld首先在当前目录下寻找该文件, 若是没找到, 则在由-L指定的搜索路径下搜索. file能够为 -lfile形式，就象命令行的-l选项同样. 若是该命令出如今暗含的脚本内, 则该命令内的file在连接过程当中的顺序由该暗含的脚本在命令行内的顺序决定.

- 4 -

GROUP(files) : 指定须要重复搜索符号定义的多个输入文件

file必须是库文件, 且file文件做为一组被ld重复扫描，直到不在有新的未定义的引用出现。

- 5 -

OUTPUT(FILENAME) : 定义输出文件的名字

同ld的-o选项, 不过-o选项的优先级更高. 因此它能够用来定义默认的输出文件名. 如a.out

- 6 -

SEARCH_DIR(PATH) ：定义搜索路径，

同ld的-L选项, 不过由-L指定的路径要比它定义的优先被搜索。

- 7 -

STARTUP(filename) : 指定filename为第一个输入文件

在连接过程当中, 每一个输入文件是有顺序的. 此命令设置文件filename为第一个输入文件。

- 8 - 

OUTPUT_FORMAT(BFDNAME) : 设置输出文件使用的BFD格式

同ld选项-o format BFDNAME, 不过ld选项优先级更高.

- 9 -

OUTPUT_FORMAT(DEFAULT,BIG,LITTLE) : 定义三种输出文件的格式(大小端)

如有命令行选项-EB, 则使用第2个BFD格式; 如有命令行选项-EL，则使用第3个BFD格式.不然默认选第一个BFD格式.

TARGET(BFDNAME)：设置输入文件的BFD格式

同ld选项-b BFDNAME. 若使用了TARGET命令, 但未使用OUTPUT_FORMAT命令, 则最用一个TARGET命令设置的BFD格式将被做为输出文件的BFD格式.

另外还有一些: 
ASSERT(EXP, MESSAGE) ：若是EXP不为真，终止链接过程

EXTERN(SYMBOL SYMBOL ...) ：在输出文件中增长未定义的符号，如同链接器选项-u

FORCE_COMMON_ALLOCATION ：为common symbol(通用符号)分配空间，即便用了-r链接选项也为其分配

NOCROSSREFS(SECTION SECTION ...) ：检查列出的输出section，若是发现他们之间有相互引用，则报错。对于某些系统，特别是内存较紧张的嵌入式系统，某些section是不能同时存在内存中的，因此他们之间不能相互引用。

OUTPUT_ARCH(BFDARCH) ：设置输出文件的machine architecture(体系结构)，BFDARCH为被BFD库使用的名字之一。能够用命令objdump -f查看。

可经过 man -S 1 ld查看ld的联机帮助, 里面也包括了对这些命令的介绍.


6. 对符号的赋值
在目标文件内定义的符号能够在连接脚本内被赋值. (注意和C语言中赋值的不一样!) 此时该符号被定义为全局的. 每一个符号都对应了一个地址, 此处的赋值是更改这个符号对应的地址.

e.g.  经过下面的程序查看变量a的地址:
/* a.c */
#include <stdio.h>
int a = 100;
int main(void)
{
    printf( "&a=0x%p ", &a );
    return 0;
}

/* a.lds */
a = 3;

$  gcc -Wall -o a-without-lds a.c
&a = 0x8049598

$  gcc -Wall -o a-with-lds a.c a.lds
&a = 0x3

注意: 对符号的赋值只对全局变量起做用!

一些简单的赋值语句
能使用任何c语言内的赋值操做:

SYMBOL = EXPRESSION ;
SYMBOL += EXPRESSION ;
SYMBOL -= EXPRESSION ;
SYMBOL *= EXPRESSION ;
SYMBOL /= EXPRESSION ;
SYMBOL <<= EXPRESSION ;
SYMBOL >>= EXPRESSION ;
SYMBOL &= EXPRESSION ;
SYMBOL |= EXPRESSION ;

除了第一类表达式外, 使用其余表达式须要SYMBOL被定义于某目标文件。
. 是一个特殊的符号，它是定位器，一个位置指针，指向程序地址空间内的某位置(或某section内的偏移，若是它在SECTIONS命令内的某section描述内)，该符号只能在SECTIONS命令内使用。
注意：赋值语句包含4个语法元素：符号名、操做符、表达式、分号；一个也不能少。
被赋值后，符号所属的section被设值为表达式EXPRESSION所属的SECTION(参看11. 脚本内的表达式)
赋值语句能够出如今链接脚本的三处地方：SECTIONS命令内，SECTIONS命令内的section描述内和全局位置；以下，
floating_point = 0; /* 全局位置 */
SECTIONS
{
.text :
{
*(.text)
_etext = .; /* section描述内 */
}
_bdata = (. + 3) & ~ 4; /* SECTIONS命令内 */
.data : { *(.data) }
}

PROVIDE关键字
该关键字用于定义这类符号：在目标文件内被引用，但没有在任何目标文件内被定义的符号。
例子：
SECTIONS
{
.text :
{
*(.text)
_etext = .;
PROVIDE(etext = .);
}
}
当目标文件内引用了etext符号，确没有定义它时，etext符号对应的地址被定义为.text section以后的第一个字节的地址。


7. SECTIONS命令
SECTIONS命令告诉ld如何把输入文件的sections映射到输出文件的各个section: 如何将输入section合为输出section; 如何把输出section放入程序地址空间(VMA)和进程地址空间(LMA).该命令格式以下:

SECTIONS
{
SECTIONS-COMMAND
SECTIONS-COMMAND
...
}

SECTION-COMMAND有四种:
(1) ENTRY命令
(2) 符号赋值语句
(3) 一个输出section的描述(output section description)
(4) 一个section叠加描述(overlay description)

若是整个链接脚本内没有SECTIONS命令, 那么ld将全部同名输入section合成为一个输出section内, 各输入section的顺序为它们被链接器发现的顺序.

若是某输入section没有在SECTIONS命令中提到, 那么该section将被直接拷贝成输出section。

输出section描述
输出section描述具备以下格式:

SECTION [ADDRESS] [(TYPE)] : [AT(LMA)]
{
OUTPUT-SECTION-COMMAND
OUTPUT-SECTION-COMMAND
...
} [>REGION] [AT>LMA_REGION] [:PHDR :PHDR ...] [=FILLEXP]

[ ]内的内容为可选选项, 通常不须要.
SECTION：section名字
SECTION左右的空白、圆括号、冒号是必须的，换行符和其余空格是可选的。
每一个OUTPUT-SECTION-COMMAND为如下四种之一，
符号赋值语句
一个输入section描述
直接包含的数据值
一个特殊的输出section关键字

输出section名字(SECTION)：
输出section名字必须符合输出文件格式要求，好比：a.out格式的文件只容许存在.text、.data和.bss section名。而有的格式只容许存在数字名字，那么此时应该用引号将全部名字内的数字组合在一块儿；另外，还有一些格式容许任何序列的字符存在于 section名字内，此时若是名字内包含特殊字符(好比空格、逗号等)，那么须要用引号将其组合在一块儿。

输出section地址(ADDRESS)：
ADDRESS是一个表达式，它的值用于设置VMA。若是没有该选项且有REGION选项，那么链接器将根据REGION设置VMA；若是也没有 REGION选项，那么链接器将根据定位符号‘.’的值设置该section的VMA，将定位符号的值调整到知足输出section对齐要求后的值，输出 section的对齐要求为：该输出section描述内用到的全部输入section的对齐要求中最严格的。
例子：
.text . : { *(.text) }
和
.text : { *(.text) }
这两个描述是大相径庭的，第一个将.text section的VMA设置为定位符号的值，而第二个则是设置成定位符号的修调值，知足对齐要求后的。
ADDRESS能够是一个任意表达式，好比ALIGN(0x10)这将把该section的VMA设置成定位符号的修调值，知足16字节对齐后的。
注意：设置ADDRESS值，将更改定位符号的值。

输入section描述：
最多见的输出section描述命令是输入section描述。
输入section描述是最基本的链接脚本描述。
输入section描述基础：
基本语法：FILENAME([EXCLUDE_FILE (FILENAME1 FILENAME2 ...) SECTION1 SECTION2 ...)
FILENAME文件名，能够是一个特定的文件的名字，也能够是一个字符串模式。
SECTION名字，能够是一个特定的section名字，也能够是一个字符串模式
例子是最能说明问题的，
*(.text) ：表示全部输入文件的.text section
(*(EXCLUDE_FILE (*crtend.o *otherfile.o) .ctors)) ：表示除crtend.o、otherfile.o文件外的全部输入文件的.ctors section。
data.o(.data) ：表示data.o文件的.data section
data.o ：表示data.o文件的全部section
*(.text .data) ：表示全部文件的.text section和.data section，顺序是：第一个文件的.text section，第一个文件的.data section，第二个文件的.text section，第二个文件的.data section，...
*(.text) *(.data) ：表示全部文件的.text section和.data section，顺序是：第一个文件的.text section，第二个文件的.text section，...，最后一个文件的.text section，第一个文件的.data section，第二个文件的.data section，...，最后一个文件的.data section
下面看链接器是如何找到对应的文件的。
当FILENAME是一个特定的文件名时，链接器会查看它是否在链接命令行内出现或在INPUT命令中出现。
当FILENAME是一个字符串模式时，链接器仅仅只查看它是否在链接命令行内出现。
注意：若是链接器发现某文件在INPUT命令内出现，那么它会在-L指定的路径内搜寻该文件。

字符串模式内可存在如下通配符：
* ：表示任意多个字符
? ：表示任意一个字符
[CHARS] ：表示任意一个CHARS内的字符，可用-号表示范围，如：a-z
：表示引用下一个紧跟的字符

在文件名内，通配符不匹配文件夹分隔符/，但当字符串模式仅包含通配符*时除外。
任何一个文件的任意section只能在SECTIONS命令内出现一次。看以下例子，
SECTIONS {
.data : { *(.data) }
.data1 : { data.o(.data) }
}
data.o文件的.data section在第一个OUTPUT-SECTION-COMMAND命令内被使用了，那么在第二个OUTPUT-SECTION-COMMAND命令内将不会再被使用，也就是说即便链接器不报错，输出文件的.data1 section的内容也是空的。
再次强调：链接器依次扫描每一个OUTPUT-SECTION-COMMAND命令内的文件名，任何一个文件的任何一个section都只能使用一次。
读者能够用-M链接命令选项来产生一个map文件，它包含了全部输入section到输出section的组合信息。
再看个例子，
SECTIONS {
.text : { *(.text) }
.DATA : { [A-Z]*(.data) }
.data : { *(.data) }
.bss : { *(.bss) }
}
这个例子中说明，全部文件的输入.text section组成输出.text section；全部以大写字母开头的文件的.data section组成输出.DATA section，其余文件的.data section组成输出.data section；全部文件的输入.bss section组成输出.bss section。
能够用SORT()关键字对知足字符串模式的全部名字进行递增排序，如SORT(.text*)。
通用符号(common symbol)的输入section：
在许多目标文件格式中，通用符号并无占用一个section。链接器认为：输入文件的全部通用符号在名为COMMON的section内。
例子，
.bss { *(.bss) *(COMMON) }
这个例子中将全部输入文件的全部通用符号放入输出.bss section内。能够看到COMMOM section的使用方法跟其余section的使用方法是同样的。
有些目标文件格式把通用符号分红几类。例如，在MIPS elf目标文件格式中，把通用符号分红standard common symbols(标准通用符号)和small common symbols(微通用符号，不知道这么译对不对？)，此时链接器认为全部standard common symbols在COMMON section内，而small common symbols在.scommon section内。
在一些之前的链接脚本内能够看见[COMMON]，至关于*(COMMON)，不建议继续使用这种陈旧的方式。
输入section和垃圾回收：
在链接命令行内使用了选项--gc-sections后，链接器可能将某些它认为没用的section过滤掉，此时就有必要强制链接器保留一些特定的 section，可用KEEP()关键字达此目的。如KEEP(*(.text))或KEEP(SORT(*)(.text))
最后看个简单的输入section相关例子：
SECTIONS {
outputa 0x10000 :
{
all.o
foo.o (.input1)
}
outputb :
{
foo.o (.input2)
foo1.o (.input1)
}
outputc :
{
*(.input1)
*(.input2)
}
}
本例中，将all.o文件的全部section和foo.o文件的全部(一个文件内能够有多个同名section).input1 section依次放入输出outputa section内，该section的VMA是0x10000；将foo.o文件的全部.input2 section和foo1.o文件的全部.input1 section依次放入输出outputb section内，该section的VMA是当前定位器符号的修调值(对齐后)；将其余文件(非all.o、foo.o、foo1.o)文件的. input1 section和.input2 section放入输出outputc section内。

在输出section存放数据命令：
可以显示地在输出section内填入你想要填入的信息(这样是否是能够本身经过链接脚本写程序？固然是简单的程序)。
BYTE(EXPRESSION) 1 字节
SHORT(EXPRESSION) 2 字节
LOGN(EXPRESSION) 4 字节
QUAD(EXPRESSION) 8 字节
SQUAD(EXPRESSION) 64位处理器的代码时，8 字节
输出文件的字节顺序big endianness 或little endianness，能够由输出目标文件的格式决定；若是输出目标文件的格式不能决定字节顺序，那么字节顺序与第一个输入文件的字节顺序相同。
如：BYTE(1)、LANG(addr)。
注意，这些命令只能放在输出section描述内，其余地方不行。
错误：SECTIONS { .text : { *(.text) } LONG(1) .data : { *(.data) } }
正确：SECTIONS { .text : { *(.text) LONG(1) } .data : { *(.data) } }
在当前输出section内可能存在未描述的存储区域(好比因为对齐形成的空隙)，能够用FILL(EXPRESSION)命令决定这些存储区域的内容， EXPRESSION的前两字节有效，这两字节在必要时能够重复被使用以填充这类存储区域。如FILE(0x9090)。在输出section描述中能够有=FILEEXP属性，它的做用如同FILE()命令，可是FILE命令只做用于该FILE指令以后的section区域，而=FILEEXP属性做用于整个输出section区域，且FILE命令的优先级更高！！！

输出section内命令的关键字：
CREATE_OBJECT_SYMBOLS ：为每一个输入文件创建一个符号，符号名为输入文件的名字。每一个符号所在的section是出现该关键字的section。
CONSTRUCTORS ：与c++内的(全局对象的)构造函数和(全局对像的)析构函数相关，下面将它们简称为全局构造和全局析构。
对于a.out目标文件格式，链接器用一些不寻常的方法实现c++的全局构造和全局析构。当链接器生成的目标文件格式不支持任意section名字时，好比说ECOFF、XCOFF格式，链接器将经过名字来识别全局构造和全局析构，对于这些文件格式，链接器把与全局构造和全局析构的相关信息放入出现 CONSTRUCTORS关键字的输出section内。
符号__CTORS_LIST__表示全局构造信息的的开始处，__CTORS_END__表示全局构造信息的结束处。
符号__DTORS_LIST__表示全局构造信息的的开始处，__DTORS_END__表示全局构造信息的结束处。
这两块信息的开始处是一字长的信息，表示该块信息有多少项数据，而后以值为零的一字长数据结束。
通常来讲，GNU C++在函数__main内安排全局构造代码的运行，而__main函数被初始化代码(在main函数调用以前执行)调用。是否是对于某些目标文件格式才这样？？？
对于支持任意section名的目标文件格式，好比COFF、ELF格式，GNU C++将全局构造和全局析构信息分别放入.ctors section和.dtors section内，而后在链接脚本内加入以下，
__CTOR_LIST__ = .;
LONG((__CTOR_END__ - __CTOR_LIST__) / 4 - 2)
*(.ctors)
LONG(0)
__CTOR_END__ = .;
__DTOR_LIST__ = .;
LONG((__DTOR_END__ - __DTOR_LIST__) / 4 - 2)
*(.dtors)
LONG(0)
__DTOR_END__ = .;
若是使用GNU C++提供的初始化优先级支持(它能控制每一个全局构造函数调用的前后顺序)，那么请在链接脚本内把CONSTRUCTORS替换成SORT (CONSTRUCTS)，把*(.ctors)换成*(SORT(.ctors))，把*(.dtors)换成*(SORT(.dtors))。通常来讲，默认的链接脚本已做好的这些工做。

输出section的丢弃：
例子，.foo { *(.foo) }，若是没有任何一个输入文件包含.foo section，那么链接器将不会建立.foo输出section。可是若是在这些输出section描述内包含了非输入section描述命令(如符号赋值语句)，那么链接器将老是建立该输出section。
有一个特殊的输出section，名为/DISCARD/，被该section引用的任何输入section将不会出如今输出文件内，这就是DISCARD的意思吧。若是/DISCARD/ section被它本身引用呢？想一想看。

输出section属性：
终于讲到这里了，呵呵。
咱们再回顾如下输出section描述的文法：
SECTION [ADDRESS] [(TYPE)] : [AT(LMA)]
{
OUTPUT-SECTION-COMMAND
OUTPUT-SECTION-COMMAND
...
} [>REGION] [AT>LMA_REGION] [:PHDR :PHDR ...] [=FILLEXP]
前面咱们浏览了SECTION、ADDRESS、OUTPUT-SECTION-COMMAND相关信息，下面咱们将浏览其余属性。

TYPE ：每一个输出section都有一个类型，若是没有指定TYPE类型，那么链接器根据输出section引用的输入section的类型设置该输出section的类型。它能够为如下五种值，
NOLOAD ：该section在程序运行时，不被载入内存。
DSECT,COPY,INFO,OVERLAY ：这些类型不多被使用，为了向后兼容才被保留下来。这种类型的section必须被标记为“不可加载的”，以便在程序运行不为它们分配内存。

输出section的LMA ：默认状况下，LMA等于VMA，但能够经过关键字AT()指定LMA。
用关键字AT()指定，括号内包含表达式，表达式的值用于设置LMA。若是不用AT()关键字，那么可用AT>LMA_REGION表达式设置指定该section加载地址的范围。
这个属性主要用于构件ROM境象。
例子，
SECTIONS
{
.text 0x1000 : { *(.text) _etext = . ; }
.mdata 0x2000 :
AT ( ADDR (.text) + SIZEOF (.text) )
{ _data = . ; *(.data); _edata = . ; }
.bss 0x3000 :
{ _bstart = . ; *(.bss) *(COMMON) ; _bend = . ;}
}
程序以下，
extern char _etext, _data, _edata, _bstart, _bend;
char *src = &_etext;
char *dst = &_data;

/* ROM has data at end of text; copy it. */
while (dst < &_edata) {
*dst++ = *src++;
}

/* Zero bss */
for (dst = &_bstart; dst< &_bend; dst++)
*dst = 0;

此程序将处于ROM内的已初始化数据拷贝到该数据应在的位置(VMA地址)，并将为初始化数据置零。
读者应该认真的本身分析以上链接脚本和程序的做用。

输出section区域：能够将输出section放入预先定义的内存区域内，例子，
MEMORY { rom : ORIGIN = 0x1000, LENGTH = 0x1000 }
SECTIONS { ROM : { *(.text) } >rom }

输出section所在的程序段：能够将输出section放入预先定义的程序段(program segment)内。若是某个输出section设置了它所在的一个或多个程序段，那么接下来定义的输出section的默认程序段与该输出 section的相同。除非再次显示地指定。例子，
PHDRS { text PT_LOAD ; }
SECTIONS { .text : { *(.text) } :text }
能够经过:NONE指定链接器不把该section放入任何程序段内。详情请查看PHDRS命令

输出section的填充模版：这个在前面提到过，任何输出section描述内的未指定的内存区域，链接器用该模版填充该区域。用法：=FILEEXP，前两字节有效，当区域大于两字节时，重复使用这两字节以将其填满。例子，
SECTIONS { .text : { *(.text) } =0x9090 }

覆盖图(overlay)描述：
覆盖图描述使两个或多个不一样的section占用同一块程序地址空间。覆盖图管理代码负责将section的拷入和拷出。考虑这种状况，当某存储块的访问速度比其余存储块要快时，那么若是将section拷到该存储块来执行或访问，那么速度将会有所提升，覆盖图描述就很适合这种情形。文法以下，
SECTIONS {
...

OVERLAY [START] : [NOCROSSREFS] [AT ( LDADDR )]
{
SECNAME1
{
OUTPUT-SECTION-COMMAND
OUTPUT-SECTION-COMMAND
...
} [:PHDR...] [=FILL]
SECNAME2
{
OUTPUT-SECTION-COMMAND
OUTPUT-SECTION-COMMAND
...
} [:PHDR...] [=FILL]
...
} [>REGION] [:PHDR...] [=FILL]

...
}
由以上文法能够看出，同一覆盖图内的section具备相同的VMA。SECNAME2的LMA为SECTNAME1的LMA加上SECNAME1的大小，同理计算SECNAME2,3,4...的LMA。SECNAME1的LMA由LDADDR决定，若是它没有被指定，那么由START决定，若是它也没有被指定，那么由当前定位符号的值决定。
NOCROSSREFS关键字指定各section之间不能交叉引用，不然报错。
对于OVERLAY描述的每一个section，链接器将定义两个符号__load_start_SECNAME和__load_stop_SECNAME，这两个符号的值分别表明SECNAME section的LMA地址的开始和结束。
链接器处理完OVERLAY描述语句后，将定位符号的值加上全部覆盖图内section大小的最大值。
看个例子吧，
SECTIONS{
...

OVERLAY 0x1000 : AT (0x4000)
{
.text0 { o1/*.o(.text) }
.text1 { o2/*.o(.text) }
}
...
}
.text0 section和.text1 section的VMA地址是0x1000，.text0 section加载于地址0x4000，.text1 section紧跟在其后。
程序代码，拷贝.text1 section代码，
extern char __load_start_text1, __load_stop_text1;
memcpy ((char *) 0x1000, &__load_start_text1,
&__load_stop_text1 - &__load_start_text1);


8. 内存区域命令
---------------

注意：如下存储区域指的是在程序地址空间内的。
在默认情形下，链接器能够为section分配任意位置的存储区域。你也能够用MEMORY命令定义存储区域，并经过输出section描述的> REGION属性显示地将该输出section限定于某块存储区域，当存储区域大小不能知足要求时，链接器会报告该错误。
MEMORY命令的文法以下，
MEMORY {
NAME1 [(ATTR)] : ORIGIN = ORIGIN1, LENGTH = LEN2
NAME2 [(ATTR)] : ORIGIN = ORIGIN2, LENGTH = LEN2
...
}
NAME ：存储区域的名字，这个名字能够与符号名、文件名、section名重复，由于它处于一个独立的名字空间。
ATTR ：定义该存储区域的属性，在讲述SECTIONS命令时提到，当某输入section没有在SECTIONS命令内引用时，链接器会把该输入 section直接拷贝成输出section，而后将该输出section放入内存区域内。若是设置了内存区域设置了ATTR属性，那么该区域只接受知足该属性的section(怎么判断该section是否知足？输出section描述内好象没有记录该section的读写执行属性)。ATTR属性内能够出现如下7个字符，
R 只读section
W 读/写section
X 可执行section
A ‘可分配的’section
I 初始化了的section
L 同I
! 不知足该字符以后的任何一个属性的section
ORIGIN ：关键字，区域的开始地址，可简写成org或o
LENGTH ：关键字，区域的大小，可简写成len或l

例子，
MEMORY
{
rom (rx) : ORIGIN = 0, LENGTH = 256K
ram (!rx) : org = 0x40000000, l = 4M
}
此例中，把在SECTIONS命令内*未*引用的且具备读属性或写属性的输入section放入rom区域内，把其余未引用的输入section放入 ram。若是某输出section要被放入某内存区域内，而该输出section又没有指明ADDRESS属性，那么链接器将该输出section放在该区域内下一个能使用位置。


9. PHDRS命令
------------

该命令仅在产生ELF目标文件时有效。
ELF目标文件格式用program headers程序头(程序头内包含一个或多个segment程序段描述)来描述程序如何被载入内存。能够用objdump -p命令查看。
当在本地ELF系统运行ELF目标文件格式的程序时，系统加载器经过读取程序头信息以知道如何将程序加载到内存。要了解系统加载器如何解析程序头，请参考ELF ABI文档。
在链接脚本内不指定PHDRS命令时，链接器可以很好的建立程序头，可是有时须要更精确的描述程序头，那么PAHDRS命令就派上用场了。
注意：一旦在链接脚本内使用了PHDRS命令，那么链接器**仅会**建立PHDRS命令指定的信息，因此使用时须谨慎。
PHDRS命令文法以下，
PHDRS
{
NAME TYPE [ FILEHDR ] [ PHDRS ] [ AT ( ADDRESS ) ]
[ FLAGS ( FLAGS ) ] ;
}
其中FILEHDR、PHDRS、AT、FLAGS为关键字。
NAME ：为程序段名，此名字能够与符号名、section名、文件名重复，由于它在一个独立的名字空间内。此名字只能在SECTIONS命令内使用。
一个程序段能够由多个‘可加载’的section组成。经过输出section描述的属性:PHDRS能够将输出section加入一个程序段，: PHDRS中的PHDRS为程序段名。在一个输出section描述内能够屡次使用:PHDRS命令，也便可以将一个section加入多个程序段。
若是在一个输出section描述内指定了:PHDRS属性，那么其后的输出section描述将默认使用该属性，除非它也定义了:PHDRS属性。显然当多个输出section属于同一程序段时可简化书写。
在TYPE属性后存在FILEHDR关键字，表示该段包含ELF文件头信息；存在PHDRS关键字，表示该段包含ELF程序头信息。
TYPE能够是如下八种形式，
PT_NULL 0
表示未被使用的程序段
PT_LOAD 1
表示该程序段在程序运行时应该被加载
PT_DYNAMIC 2
表示该程序段包含动态链接信息
PT_INTERP 3
表示该程序段内包含程序加载器的名字，在linux下常见的程序加载器是ld-linux.so.2
PT_NOTE 4
表示该程序段内包含程序的说明信息
PT_SHLIB 5
一个保留的程序头类型，没有在ELF ABI文档内定义
PT_PHDR 6
表示该程序段包含程序头信息。
EXPRESSION 表达式值
以上每一个类型都对应一个数字，该表达式定义一个用户自定的程序头。
AT(ADDRESS)属性定义该程序段的加载位置(LMA)，该属性将**覆盖**该程序段内的section的AT()属性。
默认状况下，链接器会根据该程序段包含的section的属性(什么属性？好象在输出section描述内没有看到)设置FLAGS标志，该标志用于设置程序段描述的p_flags域。
下面看一个典型的PHDRS设置，
PHDRS
{
headers PT_PHDR PHDRS ;
interp PT_INTERP ;
text PT_LOAD FILEHDR PHDRS ;
data PT_LOAD ;
dynamic PT_DYNAMIC ;
}
SECTIONS
{
. = SIZEOF_HEADERS;
.interp : { *(.interp) } :text :interp
.text : { *(.text) } :text
.rodata : { *(.rodata) } /* defaults to :text */
...
. = . + 0x1000; /* move to a new page in memory */
.data : { *(.data) } :data
.dynamic : { *(.dynamic) } :data :dynamic
...
}


10. 版本号命令
--------------

当使用ELF目标文件格式时，链接器支持带版本号的符号。
读者能够发现仅仅在共享库中，符号的版本号属性才有意义。
动态加载器使用符号的版本号为应用程序选择共享库内的一个函数的特定实现版本。
能够在链接脚本内直接使用版本号命令，也能够将版本号命令实现于一个特定版本号描述文件(用链接选项--version-script指定该文件)。
该命令的文法以下，
VERSION { version-script-commands }
如下内容直接拷贝于之前的文档，
===================== 开始 ==================================
内容简介
---------
0 前提
1 带版本号的符号的定义
2 链接到带版本的符号
3 GNU扩充
4 个人疑问
5 英文搜索关键字
6 个人参考


0. 前提

-- 只限于ELF文件格式
-- 如下讨论用gcc

1. 带版本号的符号的定义(共享库内)

文件b.c内容以下，
int old_true()
{
return 1;
}

int new_true()
{
return 2;
}

写链接器的版本控制脚本，本例中为b.lds，内容以下
VER1.0{
new_true;
};
VER2.0{
};

$gcc -c b.c
$gcc -shared -Wl,--version-script=b.lds -o libb.so b.o

能够在{}内填入要绑定的符号，本例中new_true符号就与VER1.0绑定了。
那么若是有一个应用程序链接到该库的new_true符号，那么它链接的就是VER1.0版本的new_true符号

若是把b.lds更改成，
VER1.0{
};
VER2.0{
new_true;
};

而后在生成libb.so文件，在运行那个链接到VER1.0版本的new_true符号的应用程序，能够发现该应用程序不能运行了，
由于库内没有VER1.0版本的new_true，只有VER2.0版本的new_true。


2. 链接到带版本的符号
写一个简单的应用(名为app)链接到libb.so，应用符号new_true
假设libb.so的版本控制文件为，
VER1.0{
};
VER2.0{
new_true;
};

$ nm app | grep new_true
U new_true@@VER1.0
$ 
用nm命令发现app链接到VER1.0版本的new_true

3. GNU的扩充
它容许在程序文件内绑定 *符号* 到 *带版本号的别名符号*

文件b.c内容以下，
int old_true()
{
return 1;
}

int new_true()
{
return 2;
}
__asm__( ".symver old_true,true@VER1.0" );
__asm__( ".symver new_true,true@@VER2.0" );


其中，带版本号的别名符号是true，其默认的版本号为VER2.0

供链接器用的版本控制脚本b.lds内容以下，
VER1.0{
};
VER2.0{
};

版本控制文件内必须包含版本VER1.0和版本VER2.0的定义，由于在b.c文件内有对他们的引用

****** 假定libb.so与app.c在同一目录下 ********

如下应用程序app.c链接到该库，
int true();
int main()
{
printf( "%d ", true );
}

$ gcc app.c libb.so
$ LD_LIBRARY_PATH=. ./app
2
$ nm app | grep true
U true@@VER2.0
$ 

很明显，程序app使用的是VER2.0版本的别名符号true，若是在b.c内没有指明别名符号true的默认版本，
那么gcc app.c libb.so将出现链接错误，提示true没有定义。

也能够在程序内指定特定版本的别名符号true，程序以下，
__asm__( ".symver true,true@VER1.0" );
int true();
int main()
{
printf( "%d ", true );
}

$ gcc app.c libb.so
$ LD_LIBRARY_PATH=. ./app
1
$ nm app | grep true
U true@VER1.0
$

显然，链接到了版本号为VER1.0的别名符号true。其中只有一个@表示，该版本不是默认的版本




个人疑问：
版本控制脚本文件中，各版本号节点之间的依赖关系


英文搜索关键字：
.symver 
versioned symbol
version a shared library

参考：
info ld, Scripts node
===================== 结束 ==================================


11. 表达式
----------

表达式的文法与C语言的表达式文法一致，表达式的值都是整型，若是ld的运行主机和生成文件的目标机都是32位，则表达式是32位数据，不然是64位数据。 
可以在表达式内使用符号的值，设置符号的值。
下面看六项表达式相关内容，

常表达式：
_fourk_1 = 4K; /* K、M单位 */
_fourk_2 = 4096; /* 整数 */
_fourk_3 = 0x1000; /* 16 进位 */
_fourk_4 = 01000; /* 8 进位 */
1K=1024 1M=1024*1024
符号名：
没有被引号""包围的符号，以字母、下划线或'.'开头，可包含字母、下划线、'.'和'-'。当符号名被引号包围时，符号名能够与关键字相同。如，
"SECTION"=9
"with a space" = "also with a space" + 10;
定位符号'.'：
只在SECTIONS命令内有效，表明一个程序地址空间内的地址。
注意：当定位符用在SECTIONS命令的输出section描述内时，它表明的是该section的当前**偏移**，而不是程序地址空间的绝对地址。
先看个例子，
SECTIONS
{
output :
{
file1(.text)
. = . + 1000;
file2(.text)
. += 1000;
file3(.text)
} = 0x1234;
}
其中因为对定位符的赋值而产生的空隙由0x1234填充。其余的内容应该容易理解吧。
再看个例子，
SECTIONS
{
. = 0x100
.text: {
*(.text)
. = 0x200
}
. = 0x500
.data: {
*(.data)
. += 0x600
}
} .text section在程序地址空间的开始位置是0x
表达式的操做符：
与C语言一致。
优先级 结合顺序 操做符 
1 left ! - ~ (1)
2 left * / %
3 left + -
4 left >> <<
5 left == != > < <= >=
6 left &
7 left |
8 left &&
9 left ||
10 right ? :
11 right &= += -= *= /= (2)
(1)表示前缀符，(2)表示赋值符。
表达式的计算：
链接器延迟计算大部分表达式的值。
可是，对待与链接过程紧密相关的表达式，链接器会当即计算表达式，若是不能计算则报错。好比，对于section的VMA地址、内存区域块的开始地址和大小，与其相关的表达式应该当即被计算。
例子，
SECTIONS
{
.text 9+this_isnt_constant :
{ *(.text) }
}
这个例子中，9+this_isnt_constant表达式的值用于设置.text section的VMA地址，所以须要当即运算，可是因为this_isnt_constant变量的值不肯定，因此此时链接器没法确立表达式的值，此时链接器会报错。
相对值与绝对值：
在输出section描述内的表达式，链接器取其相对值，相对与该section的开始位置的偏移
在SECTIONS命令内且非输出section描述内的表达式，链接器取其绝对值
经过ABSOLUTE关键字能够将相对值转化成绝对值，即在原来值的基础上加上表达式所在section的VMA值。
例子，
SECTIONS
{
.data : { *(.data) _edata = ABSOLUTE(.); }
}
该例子中，_edata符号的值是.data section的末尾位置(绝对值，在程序地址空间内)。
内建函数：
ABSOLUTE(EXP) ：转换成绝对值
ADDR(SECTION) ：返回某section的VMA值。
ALIGN(EXP) ：返回定位符'.'的修调值，对齐后的值，(. + EXP - 1) & ~(EXP - 1)
BLOCK(EXP) ：如同ALIGN(EXP)，为了向前兼容。
DEFINED(SYMBOL) ：若是符号SYMBOL在全局符号表内，且被定义了，那么返回1，不然返回0。例子，
SECTIONS { ...
.text : {
begin = DEFINED(begin) ? begin : . ;
...
}
...
}
LOADADDR(SECTION) ：返回三SECTION的LMA
MAX(EXP1,EXP2) ：返回大者
MIN(EXP1,EXP2) ：返回小者
NEXT(EXP) ：返回下一个能被使用的地址，该地址是EXP的倍数，相似于ALIGN(EXP)。除非使用了MEMORY命令定义了一些非连续的内存块，不然NEXT(EXP)与ALIGH(EXP)必定相同。
SIZEOF(SECTION) ：返回SECTION的大小。当SECTION没有被分配时，即此时SECTION的大小还不能肯定时，链接器会报错。
SIZEOF_HEADERS ：
sizeof_headers ：返回输出文件的文件头大小(仍是程序头大小)，用以肯定第一个section的开始地址(在文件内)。？？？


12. 暗含的链接脚本
输入文件能够是目标文件，也能够是链接脚本，此时的链接脚本被称为 暗含的链接脚本
若是链接器不认识某个输入文件，那么该文件被看成链接脚本被解析。更进一步，若是发现它的格式又不是链接脚本的格式，那么链接器报错。
一个暗含的链接脚本不会替换默认的链接脚本，仅仅是增长新的链接而已。
通常来讲，暗含的链接脚本符号分配命令，或INPUT、GROUP、VERSION命令。
在链接命令行中，每一个输入文件的顺序都被固定好了，暗含的链接脚本在链接命令行内占住一个位置，这个位置决定了由该链接脚本指定的输入文件在链接过程当中的顺序。
典型的暗含的链接脚本是libc.so文件，在GNU/linux内通常存在/usr/lib目录下。