gcc编程环境基础4--ld命令和u-boot中的lds文件实例和简单实例分析 - 下载本文

{

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__( \__asm__( \其中,带版本号的别名符号是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( \}

$ gcc app.c libb.so