符号(symbol): 每个目标文件都有符号表(SYMBOL TABLE), 包含已定义的符号(对应全局变量和static变量和定义的函数的名字)和未定义符号(未定义的函数的名字和引用但没定义的符号)信息.
符号值: 每个符号对应一个地址, 即符号值(这与c程序内变量的值不一样, 某种情况下可以把它看成变量的地址). 可用nm命令查看它们. (nm的使用方法可参考本blog的GNU binutils笔记)
三、 脚本格式
链接脚本由一系列命令组成, 每个命令由一个关键字(一般在其后紧跟相关参数)或一条对符号的赋值语句组成. 命令由分号‘
;
’分隔开.
文件名或格式名内如果包含分号’
;
'或其他分隔符, 则要用引号‘
”
’将名字全称引用起来. 无法处理含引号的文件名.
/* */之间的是注释。
四、 简单例子
在介绍链接描述文件的命令之前, 先看看下述的简单例子:
以下脚本将输出文件的text section定位在0×10000, data section定位在0×8000000:
SECTIONS
{
. = 0×10000;
.text : {
*
(.text) }
. = 0×8000000;
.data : { *(.data) }
.bss : { *(.bss) }
}
解释一下上述的例子:
. = 0×10000 : 把定位器符号置为0×10000 (若不指定, 则该符号的初始值为0).
.text : { *(.text) } : 将所有(*符号代表任意输入文件)输入文件的.text section合并成一个.text section, 该section的地址由定位器符号的值指定, 即0×10000.
. = 0×8000000 :把定位器符号置为0×8000000
.data : { *(.data) } : 将所有输入文件的.data section合并成一个.data section, 该section的地址被置为0×8000000.
.bss : { *(.bss) } : 将所有输入文件的.bss section合并成一个.bss section,该section的地址被置为0×8000000+.data section的大小.
连接器每读完一个section描述后, 将定位器符号的值*增加*该section的大小. 注意: 此处没有考虑对齐约束.
五、 简单脚本命令
ENTRY(
SYMBOL
) :将符号
SYMBOL的值设置成入口地址。
入口地址(entry point)是指进程执行的第一条用户空间的指令在进程地址空间的地址
ld有多种方法设置进程入口地址, 按一下顺序: (编号越前, 优先级越高)
1, ld命令行的-e选项
2, 连接脚本的ENTRY(SYMBOL)命令
3, 如果定义了start符号, 使用start符号值
4, 如果存在.text section, 使用.text section的第一字节的位置值
5, 使用值0
INCLUDE
filename : 包含其他名为filename的链接脚本
相当于c程序内的的#include指令, 用以包含另一个链接脚本.
脚本搜索路径由
-L选项指定. INCLUDE指令可以嵌套使用, 最大深度为10. 即: 文件1内INCLUDE文件2, 文件2内INCLUDE文件3… , 文件10内INCLUDE文件11. 那么文件11内不能再出现 INCLUDE指令了.
INPUT(
files
): 将括号内的文件做为链接过程的输入文件
ld首先在当前目录下寻找该文件, 如果没找到, 则在由-L指定的搜索路径下搜索. file可以为 -lfile形式,就象命令行的-l选项一样. 如果该命令出现在暗含的脚本内, 则该命令内的file在链接过程中的顺序由该暗含的脚本在命令行内的顺序决定.
GROUP(
files
) : 指定需要重复搜索符号定义的多个输入文件
file必须是库文件, 且file文件作为一组被ld重复扫描,直到不在有新的未定义的引用出现。
OUTPUT(
FILENAME
) : 定义输出文件的名字
同ld的-o选项, 不过-o选项的优先级更高. 所以它可以用来定义默认的输出文件名. 如a.out
SEARCH_DIR
(PATH
) :定义搜索路径,
同ld的-L选项, 不过由-L指定的路径要比它定义的优先被搜索。
STARTUP(
filename
) : 指定filename为第一个输入文件
在链接过程中, 每个输入文件是有顺序的. 此命令设置文件filename为第一个输入文件。
OUTPUT_FORMAT(
BFDNAME
) : 设置输出文件使用的BFD格式
同ld选项-o format BFDNAME, 不过ld选项优先级更高.
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的联机帮助, 里面也包括了对这些命令的介绍.
六、 对符号的赋值
在目标文件内定义的符号可以在链接脚本内被赋值. (注意和C语言中赋值的不同!) 此时该符号被定义为全局的. 每个符号都对应了一个地址,
此处的赋值是更改这个符号对应的
地址
.
举例. 通过下面的程序查看变量a的地址:
a.c文件
/* a.c */
#include <stdio.h>
int
a = 100;
int
main()
{
printf( "&a=%p\n",
&a
);
return 0;
}
a.lds文件
/* a.lds */
a
= 3;
编译命令:
$ gcc -Wall
-o
a-without-lds.exe
a.c
运行结果:
&a = 0×601020
编译命令:
$ gcc -Wall
-o
a-with-lds.exe
a.c
a.lds
运行结果:
&a = 0×3
注意: 对符号的赋值只对全局变量起作用!
对于一些简单的赋值语句,我们可以使用任何c语言语法的赋值操作:
SYMBOL = EXPRESSION ;
SYMBOL += EXPRESSION ;
SYMBOL -= EXPRESSION ;
SYMBOL *= EXPRESSION ;
SYMBOL /= EXPRESSION ;
SYMBOL >= EXPRESSION ;
SYMBOL &= EXPRESSION ;
SYMBOL |= EXPRESSION ;
七、 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。
7.1、输出section描述(基本)
输出section描述具有如下格式:
SECTION-NAME
[
ADDRESS
] [(
TYPE
)]
:
[
AT
(
LMA
)]
{
OUTPUT-SECTION-COMMAND
OUTPUT-SECTION-COMMAND
…
} [
>REGION
] [AT>LMA_REGION] [:PHDR HDR ...] [=
FILLEXP
]
[ ]内的内容为可选选项, 一般不需要.
SECTION-NAME:section名字.
SECTION-NAME左右的空白、圆括号、冒号是必须的,换行符和其他空格是可选的。
7.1.1、输出section名字
输出section名字SECTION-NAME
必须符合输出文件格式要求,比如:
a.out格式的文件只允许存在.text、.data和.bss section名。
而有的格式只允许存在
数字名字
,那么此时应该用引号将所有名字内的数字组合在一起;另外,还有一些格式允许任何序列的字符存在于section名字内,此时如果名字内包含特殊字符(比如空格、逗号等),那么需要用引号将其组合在一起。
7.1.2、输出section地址
输出section地址
[
ADDRESS
]
是一个表达式,它的值用于设置
VMA
。如果没有该选项且有
REGION
选项,那么连接器将根据
REGION
设置
VMA
;如果也没有
REGION
选项,那么连接器将根据定位符号‘
.
’的值设置该section的
VMA
,将定位符号的值调整到满足输出section对齐要求后的值,这时输出 section的对齐要求为:
该输出section描述内用到的所有输入section的对齐要求中
最严格
的对齐要求
。
例子:
.text
.
:
{ *(.text) }和
.text
: { *(.text) }
这两个描述是截然不同的,第一个将.text section的VMA设置为定位符号的值,而第二个则是设置成定位符号的修调值,满足对齐要求后的。
ADDRESS
可以是一个任意表达式,比如,
ALIGN(0×10)
这将把该section的VMA设置成定位符号的修调值,满足
16
字节对齐后的
。
注意:设置ADDRESS值,将更改定位符号的值。
7.1.3、输出section描述
输出section描述OUTPUT-SECTION-COMMAND为以下四种之一:
(1).
符号赋值语句
(2).
输入section描述
(3).
直接包含的数据值
(4).
一些特殊的输出section关键字
7.1.3.1、符号赋值语
符号赋值语句
已经在《
Linux下的lds链接脚本基础(一)》前文介绍过,这里就不累述。
7.1.3.2、输入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
0×10000
:
{
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是
0×10000;将
foo.o文件的所有
.input2 section和
foo1.o文件的所有
.input1 section依次放入输出
outputb section内,该section的VMA是当前定位器符号的修调值(对齐后);将其他文件(非
all.o、
foo.o、
foo1.o)文件的
. input1 section和
.input2 section放入输出
outputc section内。
7.1.3.3、直接包含数据值
可以显示地在输出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(0×9090)。在输出section描述中可以有
=FILEEXP
属性,它的作用如同FILE()命令,但是FILE命令只作用于该FILE指令之后的section区域,而
=FILEEXP
属性作用于整个输出section区域,且FILE命令的优先级更高!!!
7.1.3.4、特殊的输出section关键字
在输出section描述OUTPUT-SECTION-COMMAND中还可以使用一些特殊的输出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))。一般来说,默认的连接脚本已作好的这些工作。
修改定位器
我们可以对定位器符合。进行赋值来修改定位器的值。
示例
SECTIONS
{
.
= SIZEOF_HEADERS;
.text : { *(.text) }
.
= 0×10000;
.data : { *(.data) }
.
= 0×8000000;
.bss : { *(.bss) }
}
输出section的丢弃
对于
.foo: { *(.foo) },如果没有任何一个输入文件包含.foo section,那么连接器将不会创建.foo输出section。但是如果在这些输出section描述内包含了非输入section描述命令(如符号赋值语句),那么连接器将总是创建该输出section。
另外,有一个特殊的输出section,名为
/DISCARD/
,
被该section引用的任何输入section将不会出现在输出文件内
,这就是DISCARD的意思吧。如果/DISCARD/ section被它自己引用呢?想想看。
7.2、输出section描述(进阶)
我们再回顾以下输出section描述的文法:
SECTION-NAME
[
ADDRESS
] [(
TYPE
)]
:
[
AT
(
LMA
)]
{
OUTPUT-SECTION-COMMAND
OUTPUT-SECTION-COMMAND
…
} [>REGION] [AT>LMA_REGION] [
:
PHDR HDR ...
] [=
FILLEXP
]
前面我们介绍了
SECTION、
ADDRESS、
OUTPUT-SECTION-COMMAND相关信息,下面我们将介绍其他属性。
7.2.1、输出section的类型
可以通过
[(
TYPE
)]
设置输出section的类型。
如果没有指定TYPE类型,那么连接器根据输出section引用的输入section的类型设置该输出section的类型。它可以为以下五种值,
NOLOAD :该section在程序运行时,不被载入内存。
DSECT,COPY,INFO,OVERLAY :这些类型很少被使用,为了向后兼容才被保留下来。这种类型的section必须被标记为“
不可加载的”,以便在程序运行不为它们分配内存。
默认值是多少呢?Puzzle!
7.2.2、输出section的LMA
默认情况下,LMA等于VMA,但可以通过
[
AT
(
LMA
)]
项,即关键字
AT()
指定LMA。
用关键字AT()指定,括号内包含表达式,表达式的值用于设置LMA。如果不用AT()关键字,那么可用
AT>
LMA_REGION表
达式设置指定该section加载地址的范围。这个属性主要用于构件ROM境象。
例子,
SECTIONS
{
.text 0×1000 : {
_etext
= . ;
*(.text)
;
}
.mdata
0×2000
:
AT
(
ADDR (.text) + SIZEOF (.text)
)
{
_data
= .
;
*(.data)
;
_edata
= .
; }
.bss
0×3000
:
{
_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 rom }
7.2.3、设置输出section所在的程序段
可以通过
[
:
PHDR HDR ...
]
项将输出section放入预先定义的程序段(program segment)内。如果某个输出section设置了它所在的一个或多个程序段,那么接下来定义的输出section的默认程序段与该输出 section的相同。除非再次显示地指定。例子,
PHDRS
{
text
PT_LOAD ; }
SECTIONS
{ .text : { *(.text) } :
text
}
可以通过
:NONE指定连接器不把该section放入任何程序段内。详情请查看PHDRS命令
7.2.4、设置输出section的填充模版
这个在前面提到过,任何输出section描述内的未指定的内存区域,连接器用该模版填充该区域。我们可以通过
[=
FILLEXP
]
项设置填充值。用法:
=FILEEXP
,前两字节有效,当区域大于两字节时,重复使用这两字节以将其填满。例子,
SECTIONS { .text : { *(.text) } =
0×9090
}
7.3、覆盖图(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。这里VMA由
[
START
] 决定。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
0×1000 :
AT (
0×4000)
{
.text0 {
o1/*.o(.
text) }
.text1 {
o2/*.o(
.text) }
}
…
}
.text0 section和.text1 section的VMA地址是
0×1000,
.text0 section加载于地址
0×4000,
.text1 section紧跟在其后。
程序代码,拷贝
.text1 section代码,
extern char
__load_start_text1
,
__load_stop_text1
;
memcpy ((char *)
0×1000
, &
__load_start_text1
,
&__load_stop_text1
–
&__load_start_text1)
;
八、 内存区域命令
在默认情形下,连接器可以为section在程序地址空间内分配任意位置的存储区域。
并通过输出
section描述的
>
REGION属性
显示地将该输出section限定于在程序地址空间内的某块存储区域,当存储区域大小不能满足要求时,连接器会报告该错误
。
你也可以用MEMORY命令让在SECTIONS命令内
*未*引用的
selection
分配在程序地址空间内的某个存储区域内。
注意:以下存储区域指的是在程序地址空间内的。
MEMORY命令的文法如下,
MEMORY
{
NAME1 [(ATTR)] : ORIGIN = ORIGIN1, LENGTH = LEN1
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 = 0×40000000, l = 4M
}
此例中
,把在SECTIONS命令内*未*引用的且具有读属性或写属性的输入section放入rom区域内,把其他未引用的输入section放入 ram。如果某输出section要被放入某内存区域内,而该输出section又没有指明ADDRESS属性,那么连接器将该输出section放在该区域内下一个能使用位置。
九、 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可以是以下八种形式,
PT_NULL 0
表示未被使用的程序段
PT_LOAD 1
表示该程序段在程序运行时应该被加载
PT_DYNAMIC
表示该程序段包含动态连接信息
PT_INTERP 3
表示该程序段内包含程序加载器的名字,在linux下常见的程序加载器是ld-linux.so.2
PT_NOTE 4
表示该程序段内包含程序的说明信息
PT_SHLIB 5
一个保留的程序头类型,没有在ELF ABI文档内定义
PT_PHDR 6
表示该程序段包含程序头信息。
EXPRESSION 表达式值
以上每个类型都对应一个数字,该表达式定义一个用户自定的程序头。
在TYPE属性后存在FILEHDR关键字,表示该段包含ELF文件头信息;存在PHDRS关键字,表示该段包含ELF程序头信息。
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 */
…
. = . + 0×1000;
/* move to a new page in memory */
.data
: { *(.data) }
:data
.dynamic
: { *(.dynamic) }
:data
:dynamic
…
}