gld是什么意思在线翻译读音例句

标题:GLD中文手册--前言

前段时间从每天十多个小时的工作时间中挤出那么点时间完成了NASM手册的翻

译，之后得到了汇编版很多朋友的支持与关心，心中非常感激。

但是我们知道，NASM只是一个汇编器，只有它我们还无法完成我们的工作，NASM

功能很强大，能生成很多目标格式的文件，但是得不到我们最终想要的可执行文

件。对，我们还需要一个连接器。

可供选择的连接器有很多，它们当中也有很多是免费的，这在NASM的手册中也

有介绍，这里我选择的是GNU的连接器ld,为了能更好地使用这个工具，就有了

这篇翻译文档。

请不要误会，gld并不只能运行在unix/linux系统下面。GCC的windows版本

djgpp带有ld的windows版本，可以通过互联网免费下载。

希望这篇文档能对大家有所帮助，谢谢。

标题:GLD中文手册--(一)

使用ld

********

本文档介绍GNU连接器ld的2.14版本.

本文档在GNU自由文档许可证下发行.在\"GNU自由文档许可证\"一章中有关于本

许可证的一份拷贝.

概述

********

\'ld\'把一定量的目标文件跟档案文件连接起来,并重定位它们的数据,连接符号

引用.一般,在编译一个程序时,最后一步就是运行\'ld\'.

\'ld\'能接受连接命令语言文件,这是一种用AT&T的连接编辑命令语言的超集写

成的文件,用来在连接的整个过程中提供显式的,全局的控制.

本版本的\'ld\'使用通用BFD库来操作目标文件.这就允许\'ld\'读取,合并,写入目

标文件时,可以使用各种不同的格式,比如,COFF或\'\'.不同的格式可以被

连接到一起产生一个有效的目标文件.

除了它的灵活性,GNU连接器比其它连接器更有用的地方在于它提供了诊断信息.

许多连接器在碰到一个错误的时候立即放弃执行;但\'ld\'却能够继续执行,以让

你发现其他的错误(或者,在某些情况下,得到一个带有错误的输出文件)

引用

**********

GNU连接器\'ld\'能够处理大量的不同情况,并且跟其他的连接器保持尽可能的兼

容.这样,你就拥有更多的选择来控制它的行为.

命令行选项

====================

连接器提供大量的命令行选项,但是,在实际使用中,只有少数被经常使用.比

如,\'ld\'的一个经常的使用场合是在一个标准的Unix系统上连接标准的Unix目

标文件.在这样的一个系统上,连接文件\'hello.o\'如下:

ld-oOUTPUT/lib/.o-lc

这告诉\'ld\'产生一个叫OUTPUT的文件,作为连接文件\'/lib/crt0.o\'和

\'hello.o\'和库\'libc.a\'的结果.\'libc.a\'来自标准的搜索路径.(参阅下文的关

于\'-l\'选项的讨论).

有些命令行选项可以在命令行的任何位置出现.但是,那些带有文件名的选项,比

如\'-l\'或者\'-T\',会让文件在选项出现的位置上被读取.对于非文件选项,以带

不同的参数重复它,不会有进一步的效果,或者覆盖掉前面的相同项.那些多次出

现时具有特殊含义的选项会在下文的描述中指出.

无参数选项是那些被连接的目标文件和档案文件.它们可能紧随命令行选项,或

在它们前面,或者跟它们夹杂在一起,但是一个目标文件参数是不会出现在一个

选项跟它的参数之间的.

通常,连接器至少引用一个目标文件,但是你可指定其它形式的二进制输入文件,

这可以通过\'-l\',\'-R\'或者脚本命令语言来实现.如果没有任何二进制文件被指

定,连接器不会产生任何输出,并给出信息:\"缺少输入文件.\"

如果连接器不能识别目标文件的格式,它会假设这些只是连接脚本.以这种方式

指定的脚本增加了连接用的主连接脚本的内容(主连接脚本即缺省连接脚本或使

用\'-T\'指定的脚本).这个特性可以允许连接器连接一些文件,它们看上去既像

目标文件,又像档案文件,但实际上只是定义了一些符号值,或者使用\'INPUT\'或

\'GROUP\'来载入其它的目标文件.需要注意的是,用这种方式指定一个脚本只是增

加了主连接脚本的内容;要完全替换掉主连接脚本,需要使用\'-T\'.

对于名称是单个字符的选项,选项参数必须紧跟在选项字母后面,中间不留空,或

者也可留有一个空格.

对于名称是多个字符的选项,选项前可以有一个或两个破折号;比

如,\'-trace-symbol\'和`--trace-symbol\'是等价的.注意,对于这条规则有一个

例外.那些以小写字母\'o\'开头的多字符选项前面只能是两个破折号,这是为了避

免跟选项\'-o\'混淆.比如\'-omagic\'把输出文件的名字定为\'magic\',而

\'--omagic\'在输出文件中设置NMAGIC标志.

多字符选项的参数必须跟选项名间以一个等于号分开,或者以一个空格分开.比

如:`--trace-symbolfoo\'和`--trace-symbol=foo\'是等价的.多字符选项的名

字唯一缩写符也是可以被接受的.

注意,如果连接器通过被编译器驱动来间接引用(比如gcc),那所有的连接器命

令行选项前必须加上前缀\'-Wl\'(或者能被特定编译器驱动接受的其他前缀),就

像下面这样:

gcc-Wl,--.o-Wl,--endgroup

这很重要,因为否则的话,编译器驱动程序会默认丢掉这些连接选项,产生一个错

误的连接.

下面是关于被GNU连接器接受的常用命令行开关的一个列表:

`-aKEYWORD\'

这个选项在HP/UX兼容系统上被支持.参数KEYWORD必须是下面字符串中的

一个:`archive\',`shared\',or`default\'.`-aarchive\'在功能上跟

`-Bstatic\'相同,而另外两个关键字功能上跟`-Bdynamic\'相同.这个选项可

被多次使用.

`-AARCHITECTURE\'

`--architecture=ARCHITECTURE\'

在最近发行版本的\'ld\'中,这个选项只在Intel960系列架构上有用.在那

种\'ld\'配置中,参数ARCHITECTURE确定960系列的某一特定架构,启用某些安全

措施,并修改档案库的搜索路径.

将来的\'ld\'发行版可能为其它架构系列支持相似的功能.

`-bINPUT-FORMAT\'

`--format=INPUT-FORMAT\'

\'ld\'可以被配置为支持多于一种的目标文件.如果你的\'ld\'以这种方式被配

置,你可以使用\'-b\'选项为输入目标文件指定二进制格式.就算\'ld\'被配置为支

持可选目标格式,你不必经常指定这一项,因为\'ld\'被配置为在每一台机子上把

最常用的格式作为默认输入格式.INPUT-FORMAT是一个字符串,

你可能在连接一个不常用的二进制格式文件时需要这个参数.你也可使用

\'-b\'来显式切换格式(在连接不同格式的目标文件时),方法是在每一组特定格式

的目标前使用\'-bINPUT-FORMAT\'.

缺省的格式是从环境变量\'GNUTARGET\'中得到的.你也可以从一个脚本中定

义输入格式,使用的命令是\'TARGET\'.

`-cMRI-COMMANDFILE\'

`--mri-script=MRI-COMMANDFILE\'

为了跟MRI生产的连接器兼容,\'ld\'接受另一种用受限命令语言写成的脚本

文件,通过选项\'-c\'引入MRI脚本文件;使用\'-T\'选项是运行用普通\'ld\'脚本语

言写的连接脚本.如果MRI-CMDFILE不存在,\'ld\'在\'-L\'指定的目录中寻找.

`-d\'

`-dc\'

`-dp\'

这三个选项是等价的;多字符形式是为了跟其他连接器兼容才被支持的.它

们给普通符号分配空间,即使一个重定位输出文件已经被指定(通过\'-r\').脚本

命令`FORCE_COMMON_ALLOCATION\'具有同样的效果.

`-eENTRY\'

`--entry=ENTRY\'

使用符号ENTRY作为你的程序的开始执行点,而不是使用缺省的进入点.如

果没有叫做ENTRY的符号,连接器会企图把ENTRY作为一个数字进行分析,并使用

它作为入口地址(数字会被解释为10进制的;你可以使用前导的\'0x\'强制为16

进制,或\'0\'作为8进制.)

`-E\'

`--export-dynamic\'

当创建一个动态连接的可执行程序时,把所有的符号加到动态符号表中.动

态符号表是一个符号集,这些符号对于运行时的动态对象是可见的.

如果你不使用这个选项,动态符号表中就会只含有那些连接进来的动态对象

中用到的符号

如果你使用\'dlopen\'来载入动态对象,它需要引用程序中的符号,那你可能

需要在连接程序时用到这个选项.

你也可以使用版本脚本来控制哪些符号应当被加到动态符号表中.

`-EB\'

连接big-endian对象.这会影响缺省输出格式.

`-EL\'

连接little-endian对象.这会影响缺省输出格式.

`-g\'

忽略.为了跟其它工具兼容而提供.

`-i\'

执行一个增量连接(跟\'-r\'等同)

`-initNAME\'

当创建一个ELF可执行文件或共享对象时,当可执行文件或共享对象被加载

时,调用NAME,这是通过把DT_INIT设置成函数的地址实现的.缺省情况下,连

接器使用\'_init\'作为调用的函数.

`-lARCHIVE\'

`--library=ARCHIVE\'

增加一个档案文件ARCHIVE到连接的文件列表中.这个选项可以被多次使用.

\'ld\'会为每一个指定的ARCHIVE搜索它的路径列表,寻找`libARCHIVE.a\'

对于支持共享库的系统,\'ld\'可能还会搜索扩展名不是\'.a\'库.特别的,在

ELF和SunOS系统上,\'ld\'会在搜索带有\'.a\'扩展名的库前搜索带\'.so\'扩展名的

库.

`-M\'

`--print-map\'

打印一个连接位图到标准输出.一个连接位图提供的关于连接的信息有如下

一些:

*目标文件和符号被映射到内存的哪些地方.

*普通符号如何被分配空间.

*所有被连接进来的档案文件,还有导致档案文件被包含进来的那个符号.

`-n\'

`--nmagic\'

关闭所有节的页对齐,如果可能,把输出格式标识为\'NMAGIC\'.

`-N\'

`--omagic\'

把text和data节设置为可读写.同时,取消数据节的页对齐,同时,取消对共

享库的连接.如果输出格式支持Unix风格的magicnumber,把输出标志为

\'OMAGIC\'.

`--no-omagic\'

这个选项执行的操作大部分正好跟\'-N\'相反.它设置text节只读,强制data

节页对齐.但是,这个选项并不开启连接共享库的功能.使用\'-Bdynamic\'开启

这个功能.

`-oOUTPUT\'

`--output=OUTPUT\'

使用OUTPUT作为\'ld\'产生的程序的名字;如果这个选项没有指定,缺省的输

出文件名是\'\'.脚本命令\'OUTPUT\'也可以被用来指定输出文件的文件名.

`-OLEVEL\'

如果LEVEL是一个比0大的数值,\'ld\'优化输出.这可能会明显多占用时间,

所以只有在生成最后的文件时使用.

`-q\'

`--emit-relocs\'

把重定位节和内容留在完全连接后的可执行文件中.连接分析和优化工具

可能需要这些信息用来进行正确的修改与执行.这在大的可执行文件中有用.

这个选项目前只支持ELF平台.

`-r\'

`--relocateable\'

产生可重定位的输出,比如,产生一个输出文件它可再次作为\'ld\'的输入.

这经常被叫做\"部分连接\".作为一个副作用,在支持标准Unix魔数的环境中,这

个选项会把输出文件的魔数设置为\'OMAGIC\'.如果这个选项没有被指定,一个绝

对文件就会被产生.当连接C++程序时,这个选项就不会解析构造函数的引用;要

解析,必须使用\'-Ur\'

如果输入文件跟输出文件的格式不同,只有在输入文件不含有重定位信息的

时候部分连接才被支持.输出格式不同的时候会有更多的限制.比如,有些

\'\'的格式在输入文件是其他格式的时候完全不支持部分连接.

这个选项跟\'-i\'等效.

`-RFILE形容晚霞很美的句子 NAME\'

`--just-symbols=FILENAME\'

从FILENAME中读取符号名跟它们的值,但不重位这个文件,或者根本不把它

包含在输出文件中.这就允许你的输出文件引用其它程序中定义的绝对内存地址.

你可以多次使用这个选项.

为了跟其他ELF连接器兼容,如果\'-R\'选项后面跟有一个目录名,而不是

一个文件名,它会被处理成\'-rpath\'选项.

`-s\'

`--strip-all\'

忽略输出文件中所有的符号信息.

`-S\'

`--strip-debug\'

忽略输出文件中所有的调试符号信息(但不是所有符号).

`-t\'

`--trace\'

打印\'ld\'处理的所有输入文件的名字.

`-TSCRIPTFILE\'

`--script=SCRIPTFILE\'

把SCRIPTFILE作为连接脚本使用.这个脚本会替代\'ld\'的缺省连接脚本

(而不是增加它的内容),所以命令文件必须指定所有需要的东西以精确描述输出

文件.如果SCRIPTFILE在当前目录下不存在,\'ld\'会在\'-L\'选项指定的所有目录

下去寻找.多个\'-T\'选项会使内容累积.

`-uSYMBOL\'

`--undefined=SYMBOL\'

强制SYMBOL在输出文件中作为一个无定义的符号被输入.这样做会有一些

效果,比如,会引发从标准库中连接更多的模块.\'-u\'可以以不同的参数反复使

用,以输入多个无定义的符号.这个选项跟连接脚本命令中的\'EXTERN\'是等效的.

`-Ur\'

对于不是C++的程序,这个选项跟\'-r\'是等效的:它产生可重定位的输出,

比如,一个输出文件它可以再次作为\'ld\'的输入.当连接C++程序时,\'-Ur\'解析

构造函数的引用,跟\'-r\'不同.但如果在一些用\'-Ur\'连接过的文件上再次使用

\'-Ur\',它不会工作,因为一旦构造函数表被建立,它不能被添加内容.请只在最后

一遍连接的时候使用\'-Ur\',对其它的,只使用\'-r\'.

`--unique[=SECTION]\'

对于所有匹配SECTION的输入节,在输出文件中都各自创建单独的节,或者,

如果可选的通配符SECTION参数丢失了,为每一个孤儿输入节创建一个输出节.

一个孤儿节是一个连接脚本中没有指定的节.你可以在命令行上多次使用这个选

项;阻止对同名输入节的合并,在连接脚本中重载输出节分配.

`-v\'

`--version\'

`-V\'

显示\'ld\'的版本.\'-V\'选项同时会列出支持的模拟器.

`-x\'

`--discard-all\'

删除所有的本地符号.

`-X\'

`--discard-locals\'

删除所有的临时本地符号.对于大多数目标平台,就是所有的名字以\'L\'开头

的本地符号.

`-ySYMBOL\'

`--trace-symbol=SYMBOL\'

打印出所有SYMBOL出现的被连接文件的名字.这个选项可以被多次使用.

在很多系统中,这在预先确定底线时很有必要.

当你拥有一个未定义的符号,但不知道这个引用出自哪里的时候,这个选项

很有用.

`-YPATH\'

为缺省的库搜索路径增加一条路径.这个选项是为了跟Solaris兼容.

`-zKEYWORD\'

能被识别的关键字包括\'initfirst\',\'interpose\',\'loadfltr\',

`nodefaultlib\',`nodelete\',`nodlopen\',`nodump\',`now\',

`origin\',`combreloc\',`nocombreloc\'and`nocopyreloc\'.为了跟

Solaris兼容,所有其它的关键字都被忽略.\'initfirst\'标志一个对象,使它在

运行时,在所有其他对象之前被初始化.\'interpose\'标志一个对象,使它的符号

表放在所有其他符号之前,作为主要的执行者.\'loadfltr\'标志一个对象,使它

的过滤器在运行时立即被处理.\'nodefaultlib\'标志一个对象,使在搜索本对象

所依赖的库时,忽略所有缺省库搜索路径.\'nodelete\'标志一个对象,使它在运

行时不会被从内存中删除.\'nodlopen\'标志一个对象,使这个对象不可以通过

\'dlopen\'载入.\'nodump\'标志一个对象,使它不能被\'dldump\'转储.\'now\'标志一

个对象,使它成为非懒惰运行时绑定对象.\'origin\'标志一些可能含有$ORIGIN

的对象,\'defs\'不允许无定义符号.\'muldefs\'允许重定义.\'comberloc\'组合多

个重定位节,重新排布它们,让动态符号可见.\'nocomberloc\'使多个重定位节组

合无效.\'nocopyreloc\'使重定位拷贝后的结果无效.

--

标题:GLD中文手册--(二)

`-(ARCHIVES-)\'

`--start-groupARCHIVES--end-group\'

ARCHIVES应当是一个关于档案文件的列表.它们可以是显式的文件名,或

者\'-l\'选项.

这些指定的档案文件会被多遍搜索,直到没有新的无定义引用被创建.通常,

一个档案文件只会被搜索一次.但如果这个档案文件中的一个符号需要被用来

解析一个档案中的目标引用到的无定义的符号,而这个符号在命令行上的后面某

个档案文件中出现,连接器不能解析这个引用.把这些档案文件分组后,它们都

可被反复搜索直到所有可能的引用都被解析了为止.

使用这个选项有一个很大的运行开销.只有在无法避免在多个档案文件中

使用循环引用时才用它.

`--accept-unknown-input-arch\'

`--no-accept-unknown-input-arch\'

告诉连接器接受那些架构不能被识别的输入文件.但前提假设是用户知道

他们在做什么,并且是故意要连接这些未知的输入文件.在版本2.14之前,这个

是连接器的缺省行为.从版本2.14以后的,缺省行为是拒绝这类输入文件,所

以

`--accept-unknown-input-arch\'选项被用来恢复旧的行为.

`-assertKEYWORD\'

这个选项被忽略,只是用来跟SunOS保持兼容.

`-Bdynamic\'

`-dy\'

`-call_shared\'

连接动态链接库.这个仅仅在支持共享库的平台上有用.在这些平台上,这

个选项通常是默认行为.这个选项的不同形式是为了跟不同的系统保持兼容.

你可以在命令行上多次使用这个选项:它影响紧随其后的\'-l\'选项的库搜索.

`-Bgroup\'

在动态节的\'DT_FLAGS_1\'入口上设置\'DF_1_GROUP\'标志.这会让运行时连接

器在处理在这个对象和它的相关部分搜索时只在组中.\'--no-undefined\'是隐

式的.这个选项只在支持共享库的ELF平台上有用.

`-Bstatic\'

`-dn\'

`-non_sh张维屏新雷赏析 ared\'

`-static\'

不连接共享库.这个仅仅在支持共享库的平台上有用.这个选项的不同形

式是为了跟不同的系统保持兼容.你可以在命令行上多次使用这个选项:它影

响紧随其后的\'-l\'选项的库搜索.

`-Bsymbolic\'

当创建一个共享库时,把对全局符号的引用绑定到共享库中的定义(如果

有),通常,一个连接共享库的程序重载共享库中的定义是可能的.这个选项只

在支持共享库的ELF平台上有用.

`--check-sections\'

`--no-check-sections\'

让连接器在节地址被分配后不要去检查节地址是否重叠.通常,连接器会执

行这种检查,如果它发现了任何重叠,它会产生相应的错误信息.连接器知道也

允许节的重叠.缺省的行为可以使用命令行开关`--check-sections\'来恢复.

`--cref\'

输出一个交叉引用表.如果一个连接器位图文件被产生,交叉引用表被打

印到位图文件.否则,它被打印到标准输出.

表的格式相当的简单,所以,如果需要,可以通过一个脚本很轻易地处理它.

符号是以名字被打印输出,存储.对于每一个符号,给出一个文件名列表.如果

符号被定义了,列出的第一个文件是符号定义的所在.接下来的文件包含符号

的引用.

`--no-define-common\'

这个选项限制对普通符号的地址分配.脚本命令

`INHIBIT_COMMON_ALLOCATION\'具有同等的效果.

`--no-define-common\'选项允许从输出文件的类型选择中确定对普通符号

的地址分配;否则,一个非重定位输出类型强制为普通符号分配地址.使用

\'--no-define-common\'允许那些从共享库中引用的普通符号只在主程序中被分

配地址.这会消除在共享库中的无用的副本的空间,同时,也防止了在有多个指

定了搜索路径的动态模块在进行运行时符号解析时引起的混乱.

`--defsymSYMBOL=EXPRESSION\'

在输出文件中建立一个全局符号,这个符号拥有一个EXPRESSION指定的绝

对地址.你可以多次使用这个选项定义多个符号.EXPRESSION支持一个受限形

式的算术运算:你可以给出一个十六进制常数或者一个已存在符号的名字,或者

使用\'+\'和\'-\'来加或减十六进制常数或符号.如果你需要更多的表达式,可以考

虑在脚本中使用连接器命令语言,注意在SYMBOL,=和EXPRESSION之间不允许有

空格.

`--demangle[=STYLE]\'

`--no-demangle\'

这些选项控制是否在错误信息和其它的输出中重组符号名.当连接器被告

知要重组,它会试图把符号名以一种可读的形式的展现:如果符号被以目标文

件格式使用,它剥去前导的下划线,并且把C++形式的符号名转换成用户可读的

名字.

不同的编译器有不同的重组形式.可选的重组形式参数可以被用来为你的

编译器选择一个相应的重组形式.连接器会以缺省形式重组直至环境变量

`COLLECT_NO_DEMANGLE\'被设置.这些选项可以被用来重载缺省的设置.

`--dynamic-linkerFILE\'

设置动态连接器的名字.这个只在产生动态连接的ELF可执行文件时有效.

缺省的动态连接器通常是正确的;除非你知道你在干什么,不要使用这个选项.

`--embedded-relocs\'

这个选项只在连接MIPS嵌入式PIC代码时有效,这些代码必须是由GNU的

编译器跟汇编器通过-membedded-pic选项生成的.它导致连接器产生一个表,

这个表被用来在运行时重定位所有的被静态初始化为指针值的数据.

`--fatal-warnings\'

把所有的警告视为错误.

`--force-exe-suffix\'

确保输出文件有一个.exe后缀.

如果一个被成功完整连接的输出文件不带有一个\'.exe\'或\'.dll\'后缀,这

个选项确保连接器把输出文件拷贝成带有\'.exe\'后缀的同名文件.这个选项在

使用微软系统来编译未经修改的Unix的makefile时很有用,因为有些版本的

windows不会运行一个不带有\'.exe\'后缀的映像.

`--no-gc-sections\'

`--gc-sections\'

允许对未使用的输入节的碎片收集.在不支持这个选项的平台上,被忽略.

这个选项不能跟\'-r\'选项共存也不能被用来进行动态连接.缺省行为可以用

`--no-gc-sections\'进行恢复.

`--help\'

在标准输出上打印一个命令行选项概要,然后退出.

`--target-help\'

打印一个所有目标平台相关的选项的概要,然后退出.

`-MapMAPFILE\'

打印一个连接位图到文件MAPFILE中.参阅上面关于\'-M\'选项的描述.

`--no-keep-memory\'

\'ld\'通常会以速度优先于内存使用的方式优化程序,这是通过把输入文件的

符号表放在内存缓冲中实现的,这个选项告诉\'ld\'以内存使用优先来优化,尽可

能的减小符号表的重读.这在\'ld\'在连接一个大文件时超出内存限制时有用.

`--no-undefined\'

`-zdefs\'

通常,当创建一个非符号共享库时,无定义的符号允许出现,并留待运行时

连接器去解决.这个选项关闭这样的无定义符号的使用.开关

`--no-allow-shlib-undefined\'控制共享对象被连接进共享库时的行为.

`--allow-multiple-definition\'

`-zmuldefs\'

通常,当一个符号被定义多次时,连接器会报告一个致命错误.这些选项允

许重定义并且第一个定义被使用

`--allow-shlib-undefined\'

`--no-allow-shlib-undefined\'

允许(缺省)或不允许无定义符号存在于共享对象中.这个开关的设置会重

载\'--no-undefined\',这里只关注共享对象.这样,如果\'--no-undefined\'被设

置,但\'--no-allow-shlib-undefined\'未被设置,连锁反应是存在于规则对象文

件中的无定义的符号会引起一个错误,但是在共享对象中的未定义的符号会被忽

略.

把`--allow-shlib-undefined\'设置为缺省的原因是在连接时指定的共享对

象并不一定是载入时可载入的那个,所以,符号可能要到载入时间才被解析.

`--no-undefined-version\'

通常当一个符号有一个未定义的版本时,连接器会忽略它.这个选项不允许

符号有未定义的版本,并且碰到这种情况,会报告一个严重错误.

`--no-warn-mismatch\'

通常,如果你因为一些原因,企图把一些不匹配的输入文件连接起来的时候,

\'ld\'会给出一个错误,可能这些文件是因为由不同的处理器编译.这个选项告诉

\'ld\'应当对这样的错误默认允许.这个选项必须小心使用.

`--no-whole-archive\'

为后面的档案文件关闭\'--whole-archive\'选项的影响.

`--noinhibit-exec\'

当一个可执行文件还可以使用时,就保留它.通常,连接器如果在连接过程

中遇到了错误,就不会产生输出文件;当它遇上错误时,它会退出而不写输出文

件.

`-nostdlib\'

仅搜索那些在命令行上显式指定的库路径.在连接脚本中(包含在命令行上

指定的连接脚本)指定的库路径都被忽略.

`--oformatOUTPUT-FORMAT\'

\'ld\'可以被配置为支持多于一种的目标文件.如果你的\'ld\'以这种方式被

配置,你可以使用\'--oformat\'选项来指定输出目标文件的二进制格式.就算\'ld\'

被配置为支持多种目标格式,你也不必指定这个项,因为\'ld\'应当被配置为把最

常用的输出格式作为默认格式.OUTPUT-FORMAT是一个文本串,是被BFD库支持

的一个特定格式的名字.脚本命令\'OUTPUT_FORMAT\'也可以指定输出格式,但这个

选项可以覆盖它.

`-qmagic\'

这个选项被忽略,只是为了跟Linux保持兼容.

`-Qy\'

这个选项被忽略,只是为了跟SVR4保持兼容.

`--relax\'

一个机器相关的选项.只有在少数平台上,这个选项被支持.

在某些平台上,\'--relax\'选项在连接器解析程序中的地址时执行可能的全

局优化,比如松散地址模式和在输出文件中合成新的指令.

在某些平台上,连接时全局优化会进行符号调试导致程序不能运行.

在不支持这个选项的平台上,\'--relax\'被接受,但被忽略.

`--retain-symbols-fileFILENAME\'

只保留在FILENAME中列出的那些符号,丢弃所有其他的.FILENAME是一个

简单地平坦模式文件,一个符号占一行.这个选项在那些会逐步积累起一个大的

全局符号表的系统中(比如VxWorks)会很有用,它能有效地节约内存空间.

\'--retain-symbols-file\'不丢弃未定义的符号,和需要重定位的符号.

你可能在命令行上只指定\'--retain-symbol-file\'一次,它覆盖\'-s\'和

\'-S\'的功能.

`-rpathDIR\'

为运行时库的搜索路径增加一个目录.这个在连接带有共享库的ELF可执

行文件时有用.\'-rpath\'的所有参数会被连接起来传递给运行时连接器,运行

时连接器在运行时用它们定位共享对象.\'-rpath\'选项在定位那些在连接参数

指定的共享对象需要的共享对象时也很有用;参阅关于\'-rpath-link\'选项的描

述,如果在连接一个ELF可执行文件时不使用\'-rpath\'选项,那些环境变量

\'LD_RUN_PATH\'选项就会被使用.

\'-rptah\'选项也可以使用在SunOS上.缺省地,在SunOS上,连接器会从所有

的\'-L\'选项中形成一个运行时搜索路径.如果使用了\'-rpath\'选项,那运行时搜

索路径就只从\'-rpath\'选项中得到,忽略\'-L\'选项.这在使用GCC时非常有用,

它会用上很多的\'-L\'选项,而这些路径很可能就是NFS挂上去的文件系统中.

为了同ELF的连接器兼容,如果\'-R\'选面后面跟有一个目录名,而不是一

个文件名,那它也会被处理成\'-rpath\'选项.

`-rpath-linkDIR\'

当在SunOS上使用ELF时,一个共享库可能会用到另一个共享库.当\'ld

-share\'把一个共享库作为一个输入文件连接时就有可能发生这种情况.

当一个连接器在作非共享,不可重定位连接时,如果遇上这种依赖情况,它会

自动定位需要的共享库,然后把它包含在连接中,如果在这种情况中,它没有被

显式包含,那\'-rpath-link\'选项指定优先搜索的一组路径名.

这个选项必须小心使用,因为它会覆盖那些可能已经被编译进共享库中的搜

索路径.在这种情况下,它就有可能使用一个非内部的不同的搜索路径.

连接器使用下面的搜索路径来定位需要的共享库:

1.所有由\'-rpath-link\'选项指定的搜索路径.

2.所有由\'-rpath\'指定的搜索路径.\'-rpath\'跟\'-rpath_link\'的不同

之处在于,由\'-rpath\'指定的路径被包含在可执行文件中,并在运行时使用,而

\'-rpath-link\'选项仅仅在连接时起作用.它只用于本地连接器.

3.在一个ELF系统中,如果\'-rpath\'和\'rpath-link\'选项没有被使用,

会搜索环境变量\'LD_RUN_PATH\'的内容.它也只对本地连接器起作用.

4.在SunOS上,\'-rpath\'选项不使用,只搜索所有由\'-L\'指定的目录.

5.对于一个本地连接器,环境变量\'LD_LIBRARY_PATH\'的内容被搜索.

6.对于一个本地ELF连接器,共享库中的`DT_RUNPATH\'和`DT_RPATH\'操

作符会被需要它的共享库搜索.如果\'DT_RUNPATH\'存在了,那\'DT_RPATH\'就会

被忽略.

7.缺省目录,常规的,如\'/lib\'和\'/usr/lib\'.

8.对于ELF系统上的本地连接器,如果文件\'/etc/\'存在,

这个文件中有的目录会被搜索.

如果需要的共享库没有被找到,那连接器会发出一条警告信息,并继续执行

连接.

`-shared\'

`-Bshareable\'

创建一个共享库.这个选项只在ELF,XCOFF和SunOS平台上有用。在SunOS

上，如果\'-e\'选项没有被使用，并在连中有未定义的符号，连接器会自动创建一

个共享库，

`--sort-common\'

这个选项告诉\'ld\'当它把普通符号放到相应的输出节中时按大小进行排序。

排在最前面的是所有的一字节符号，然后是所有的二字节，然后是所有的四字节，

然后是其它的。这是为了避免因为对齐约束而在符号间产生的断裂

`--split-by-file[SIZE]\'

跟\'--split-by-reloc\'相似，但在SIZE达到时，为每一个输入文件创建一

个新的输出节。如果没有给出，SIZE缺省地设置为1

`--split-by-reloc[COUNT]\'

试图在输出文件中创建节外的节，这样就没有单个的输出节含有多于COUNT

个重定位符。这在产生巨大的用于COFF格式的实时内核的可重定位文件时非常

有用；

因为COFF不能在一个节中表示多于65535个重定位。注意，这在不支持专

有节的目标文件格式中会失败，连接器不会把单个输入节分割进行重分配，所

以，如果单个输入节含有多于COUNT个重定位符，那一个输出节会含有同样多

的可重定位符。COUNT缺省被设为32768.

`--stats\'

计算并显示关于连接器操作的统计信息,比如执行时间,内存占用等.

`--traditional-format\'

对于某些目标平台,\'ld\'的输出会跟某些面有的连接器的输出有所不同.

这个开关要求\'ld\'使用传统的格式.

比如,在SunOS上,\'ld\'会把符号串表中的两上完全相同的入口合并起来.

这可以把一个带有调试信息的输出文件的大小减小百发之三十.不幸地是,

SunOS的\'dbx\'程序不能读取这个输出的程序(gdb就没有问题).

\'--trafitinal-format\'开关告诉\'ld\'不要把相同的入口合并起来.

`--section-startSECTIONNAME=ORG\'

通过指定ORG,指定节在输出文件中的绝对地址.你可以多次使用这个选

项来定位多个节.ORG必须是一个十六进制整数;为了跟基他的连接器兼容,你

可以忽略前导\'0x\'.注意,在SECTIONNAME,等号,ORG之间不允许有空格出现.

`-TbssORG\'

`-TdataORG\'

`-TtextORG\'

跟-section-start同义,不过把SECTIONNAME替换为\'.bss\',\'.data\'或

\'.text\'.

--

标题:GLD中文手册--(三)

`--dll-verbose\'

`--verbose\'

显示\'ld\'的版本号,并列出支持的连接器模拟.显示哪些输入文件能被打开,

而哪些不能.显示连接器使用的连接脚本.

`--version-script=VERSION-SCRIPTFILE\'

指定连接器的脚本的版本名.这个常在创建一个需要指定附加的关于版本

层次的信息的共享库时使用,这个选项只有支持共享库的ELF平台上有效.

`--warn-common\'

当一个普通符号跟另一个普通符号或会号定义合并起来时,警告.类Unix

连接器允许这个选项,有时比较实用,但是在其他的操作系统上的连接器不允许

这个.这个选项可以让你在合并全局符号时发现某些潜在的问题.不幸的是,有

些C库使用这项特性,所以你可能会像在你的程序中一样,在库中得到一些警告

信息.

这里给出三种类型的全局符号的解释(用C语言):

`inti=1;\'一个定义,它会存在于输出文件中的已初始化数据节.

`externinti;\'

一个未定义符号,它不占用空间.必须在另外某一处对它有一个定义,或一

个普通符号

`inti;\'

一个普通符号.如果对于一个变量只有(一个或多个)普通符号,它进入

输出文件的未初始化数据域.连接器会把同一变量的多个普通符号合并成一个

单一的符号.如果他们有不同的大小,它采用最大的一个.如果是对同一变量

的定义,连接器把一个普通符号转化为一个声明.

\'--warn-common\'选项可以产生五种类型的警告.每种警告由两行组成:第

一行描述遇到的符号,第二行描述遇到的前一个具有相同名字的符号.一个或

两个都可能成为普通符号.

1.把一个普通符号转化为一个引用,因为这个符号已经有一个定义

了.FILE(SECTION):warning:commonof`SYMBOL\'overriddenbydefinition

FILE(SECTION):warning:definedhere

2.把一个普通符号转化为一个引用,因为遇到了第二个关于符号的定义.

这跟前一种情况相同,除了符号遇到的顺序相反.

FILE(SECTION):warning:definitionof`SYMBOL\'

overridingcommon

FILE(SECTION):warning:commonishere

3.把一个普通符号跟前一个相同大小的普通符号合并.

FILE(SECTION):warning:multiplecommon

of`SYMBOL\'

FILE(SECTION):warning:previouscommonishere

4.把一个普通符号跟前一个更大的普通符号合并.

FILE(SECTION):warning:commonof`SYMBOL\'

overriddenbylargercommon

FILE(SECTION):warning:largercommonishere

5.把一个普通符号跟前一个更小的普通符号合并.这跟前一种情况相

同,除了遇到的符号的顺序不同.

FILE(SECTION):warning:commonof`SYMBOL\'

overridingsmallercommon

FILE(SECTION):warning:smallercommonishere

`--warn-constructors\'

如果有全局结构体被使用到了,警告.这只对很少的一些目标文件格式有用.

对于COFF或ELF格式,连接器不同探测到全局结构体的使用.

`--warn-multiple-gp\'

如果在输出文件中,需要多个全局指针值,警告.这只对特定的处理器有意

义,比如Alpha.特别的,有些处理器在特定的节中放入很大的常数值.一个特

殊的寄存器(全局指针)指向这个节的中间部分,所以通过一个基地址寄存器相

关的地址模式,这个常数可以很容易地被载入.因为这个基寄存器相关模式的偏

移值是固定的而且很小(比如,16位),这会限制常量池的最大尺寸.所以,一个

很大的问题是,为了能够定位所有可能的常数,经常需要使用多个全局指针值.

这个选项在这种情况发生时产生一条警告.

`--warn-once\'

对于每一个未定义符号只警告一次,而不是在每一个用到它的模块中警告

一次.

`--warn-section-align\'

如果输出节的地址因为对齐被改变了,警告.通常,对齐会被输入节设置.

如果\'SECTION\'命令没有指定节的起始地址,地址就会被隐式改变.

`--whole-archive\'

对于每一个在命令行中\'--whole-archive\'选项后面出现的档案文件,在连

接中包含档案文件中的所有目标文件,而不是为需要的目标文件搜索档案文件.

这在把一个档案文件转化为一个共享库时使用,把所有的目标放到最终的共享

库中.这个选项可以被多次使用.

在GCC中使用这个选项需要注意两点:首先,GCC不知道这个选项,所以,你

必须使用\'-Wl,-whole-archive\'.第二,不要忘了在你的档案文件列表的后面

使用\'-Wl,-no-whole-archive\',因为GCC会把它自己的档案列表加到你的连接

后面,而这可能并不是你所预期的.

`--wrapSYMBOL\'

对SYMBOL符号使用包装函数.任何未定义的对SYMBOL符号的引用会被解析

成\'_wrap_SYMBOL\'.而任何未定义的对\'_real_SYMBOL\'的引用会被解析成

SYMBOL.

这可以用来为系统函灵敏提供一个包装.包装函灵敏应当被叫做

\'__wrap_SYMBOL\'.如果需要调用这个函数,那就应该调用\'__real_SYMBOL\'

这里是一个没什么实用价值的例子:

void*

__wrap_malloc(intc)

{

printf(\"malloccalledwith%ldn\",c);

return__real_malloc(c);

}

如果你使用\'--wrapmalloc\'把这节代码跟其他的代码连接,那所有的对

\'malloc\'的调用都会调用\'__wrap_malloc\'函数.而在\'__wrap_malloc\'中的

\'__real_malloc\'会调用真正的\'malloc\'函数.

你有可能也希望提供一个\'__real_malloc\'函数,这样,不带有\'--wrap\'的

连接器也会成功连接.如果你这样做了,你不能把\'__real_malloc\'的定义跟

\'__wrap_malloc\'放到同一个文件中;如果放在一起汇编器会在连接器之前把调

用解析成真正的\'malloc\'.

`--enable-new-dtags\'

`--disable-new-dtags\'

连接器可以在ELF中创建一个新的动态标签.但是旧的ELF系统可能不理解

这个.如果你指定了\'--enable-new-dtags\',动态标签会按需要被创建.如果你

指定了\'--disable-new-dtags\',那不会有新的动态标签被创建.缺省地,新的动

态标签不会被创建.注意这些选项只在ELF系统中有效.

标题:GLD中文手册--(四)

i386PE平台的特定选项.

-----------------------------------

i386PE连接器支持\'-shared\'选项,它使输出文件为一个动态链接库(DLL),而

不是一个普通的可执行文件.在使用这个选项的时候,你应当为输出文件取名

\'*.dll\',另外,连接器完全支持标准的\'*.def\'文件,这类文件可以在连接器命

令行上象一个目标文件一样被指定(实际上,它应当被放在它从中导出符号的那

个档案文件前面,以保证它们象一个普通的目标文件一样被连接进去.)

除了对所有平台通用的那些选项外,i386PE连接器支持一些只对i386平台专有

的命令行选面.带有值的选项应当用空格或等号把它跟值分隔开.

`--add-stdcall-alias\'

如果给出这个选项,带有标准调用后缀(@NN)的符号会被剥掉后缀后导出.

`--base-fileFILE\'

使用FILE作为文件名,该文件是存放用\'dlltool\'产生DLL文件时所需的所

有重定位符的基地址的.(这个选面是i386PE平台所专有的]

`--dll\'

创建一个DLL文件而不是一个常规可执行文件.你可能在一个给出的

\'.def\'文件中使用\'-shared\'或指定\'LIBRARY\'.

`--enable-stdcall-fixup\'

`--disable-stdcall-fixup\'

如果连接器发现有符号不能解析,它会试图进行\'失真连接\',即寻找另一个

定义的符号,它们只是在符号名的格式上不同(cdeclvsstdcall),并把符号解析

为找到的这个符号.比如,一个未定义的符号\'_foo\'可能被连接到函数

\'_foo@12\',或者一个未定义的符号\'_bar@16\'可能被连接到函数\'_bar\'.如果连

接器这么做了,它会打印出一条警告信息,因为在正常情况下,这会连接失败,

但有时,由第三方库产生的导入库可能需要这个特性.如果你指定了

\'--enable-stdcall-fixup\',这个特性会被完全开启,警告信息也不会打印出来.

如果你指定了\'--disable-stdcall-fixup\',这个特性被关闭,而且这样的错误匹

配会被认为是个错误.

`--export-all-symbols\'

如果给出这个选项,目标中所有由DLL建立的全局符号会被DLL导出.注意

这是缺省情况,否则没有任何符号被导出.如果符号由DEF文件显式地导出,或

由函数本身的属性隐式地导出,缺省情况是除非选项给出,否则不导出任何其他

的符号.注意符号`DllMain@12\',`DllEntryPoint@0\',

`DllMainCRTStartup@12\'和`impure_ptr\'不会自动被导出.而且,由其他的DLL

导入的符号也不会被再次导出,还有指定DLL内部布局的符号,比如那些以

\'_head_\'开头,或者以\'_iname\'结尾的符号也不会被导出.还

有,\'libgcc\',\'libstd++\',\'libmingw32\'或\'crtX.o\'中的符号也不会被导

出.......

环境变量

=====================

你可以通过环境变量`GNUTARGET\',`LDEMULATION\'和`COLLECT_NO_DEMANGLE\'改

变\'ld\'的行为.

`GNUTARGET\'在你没有使用\'-b\'(或者它的同义词\'--format\')的时候,决定输入

文件的格式.它的值应当是BFD中关于输入格式的一个名字.如果环境中没有

\'GNUTARGET\'变量,\'ld\'使用目标平台的缺省格式.如果\'GNUTARGET\'被设为

\'default\',那BFD就会通过检查二进制的输入文件来找到输入格式;这个方法

通常会成功,但会有潜在的不明确性,因为没有办法保证指定一个目标文件格式

的魔数总是唯一的.但是,在每一个系统上的BFD配置程序会把这个系统的常

规格式放在搜索列表的首位,所以不明确性可以通过这种惯列来解决.

`LDEMULATION\'在你没有使用\'-m\'选项的时候决定缺省的模拟器.模拟器可以影

响到连接器行为的很多方面,特别是连接器的缺省连接脚本.你可以通过

\'--verbose\'或\'-V\'选项列出所有可用的模拟器.如果\'-m\'选项没有使用,而且

`LDEMULATION\'环境变量没有定义,缺省的模拟器跟连接器如何被配置有关.

一般地,连接器缺省状况下会重构符号.但是,如果在环境中设置了

`COLLECT_NO_DEMANGLE\',那缺省状态下就不会重构符号.这个环境变量在GCC

的连接包装程序中会以相似的方式被使用.这个缺省的行为可以被--demangle\'

或\'--no-demangle\'选项覆盖.

标题:GLD中文手册--(五)

连接脚本

**************

每个连接都被一个\'连接脚本\'所控制.这个脚本是用连接命令语言书写的.

连接脚本的一个主要目的是描述输入文件中的节如何被映射到输出文件中,并控

制输出文件的内存排布.几乎所有的连接脚本只做这两件事情.但是,在需要的

时候,连接器脚本还可以指示连接器执行很多其他的操作.这通过下面描述的命

令实现.

连接器总是使用连接器脚本的.如果你自己不提供,连接器会使用一个缺省的脚

本,这个脚本是被编译进连接器可执行文件的.你可以使用\'--verbose\'命令行

选项来显示缺省的连接器脚本的内容.某些命令行选项,比如\'-r\'或\'-N\',会影

响缺省的连接脚本.

你可以过使用\'-T\'命令行选项来提供你自己的连接脚本.当你这么做的时候,

你的连接脚本会替换缺省的连接脚本.

你也可以通过把连接脚本作为一个连接器的输入文件来隐式地使用它,就象它们

是一个被连接的文件一样.

基本的连接脚本的概念

============================

我们需要定义一些基本的概念与词汇以描述连接脚本语言.

连接器把多个输入文件合并成单个输出文件.输出文件和输入文件都以一种叫

做\'目标文件格式\'的数据格式形式存在.每一个文件被叫做\'目标文件\'.输出

文件经常被叫做\'可执行文件\',但是由于需要,我们也把它叫做目标文件.每一

个目标文件中,在其它东西之间,有一个节列表.我们有时把输入文件的节叫做输

入节;相似的,输出文件中的一个节经常被叫做输出节.

一个目标文件中的每一个节都有一个名字和一个大小尺寸.大多数节还有一个

相关的数据块,称为节内容.某一个节可能被标式讵\'loadable\',含义是在输出

文件被执行时,这

个节应当被载入到内存中去.一个没有内容的节可能是\'allocatable\',含义

是内存中必须为这个节开辟一块空间,但是没有实际的内容载入到这里(在某些

情况下,这块内存必须被标式讵零).一个既不是loadable也不是allocatable

的节一般含有一些调试信息.

每一个loadable或allocatable的输出节有两个地址.第一个是\'VMA\'或称为虚

拟内存地址.这是当输出文件运行时节所拥有的地址.第二个是\"LMA\',或称为

载入内存地址.这个节即将要载入的内存地址.这大多数情况下这两个地址是

相同的.它们两个有可能不同的一个例子是当一个数据节在ROM中时,当程序

启动时,被拷贝到RAM中(这个技术经常被用在基于ROM的系统中进行全局变量的

初始化).在这种情况下,ROM地址就是LMA,而RAM地址就是VMA幼儿学唐诗三百首幼儿 .

你可以通过使用带有\'-h\'选项的\'objdump\'来察看目标文件中的节.

每一个目标文件还有一个关于符号的列表,被称为\'符号表\'.一个符号可能是

定义过了的,也可能是未定义的.每一个符号有一个名字,而且每一个定义的符

号有一个地址.如果你把一个C/C++程序编译为一个目标文件,对于每一个定义

的函数和全局或静态变量,你为得到一个定义的符号.每一个在输入文件中只是

一个引用而未定义的函数或全局变量会变成一个未定义的符号.

你可以使用\'nm\'程序来看一个目标文件中的符号,或者使用\'objdump\'程序带有

\'-t\'选项.

连接脚本的格式

====================

连接脚本是文本文件.

你写了一系列的命令作为一个连接脚本.每一个命令是一个带有参数的关键字,

或者是一个对符号的赋值.你可以用分号分隔命令.空格一般被忽略.

文件名或格式名之类的字符串一般可以被直接键入.如果文件名含有特殊字符,

比如一般作为分隔文件名用的逗号,你可以把文件名放到双引号中.文件名中

间无法使用双引号.

你可以象在C语言中一样,在连接脚本中使用注释,用\'/*\'和\'*/\'隔开.就像在

C中,注释在语法上等同于空格.

简单的连接脚本示例

============================

许多脚本是相当的简单的.

可能的最简单的脚本只含有一个命令:\'SECTIONS\'.你可以使用\'SECTIONS\'来

描述输出文件的内存布局.

\'SECTIONS\'是一个功能很强大的命令.这里这们会描述一个很简单的使用.让

我们假设你的程序只有代码节,初始化过的数据节,和未初始化过的数据节.这

些会存在于\'.text\',\'.data\'和\'.bss\'节,另外,让我们进一步假设在你的输入

文件中只有这些节.

对于这个例子,我们说代码应当被载入到地址\'0x10000\'处,而数据应当从

0x8000000处开始.下面是一个实现这个功能的脚本:

SECTIONS

{

.=0x10000;

.text:{*(.text)}

.=0x8000000;

.data:{*(.data)}

.bss:{*(.bss)}

}

你使用关键字\'SECTIONS\'写了这个SECTIONS命令,后面跟有一串放在花括号中

的符号赋值和输出节描述的内容.

上例中,在\'SECTIONS\'命令中的第一行是对一个特殊的符号\'.\'赋值,这是一个

定位计数器.如果你没有以其它的方式指定输出节的地址(其他方式在后面会描

述),那地址值就会被设为定位计数器的现有值.定位计数器然后被加上输出节

的尺寸.在\'SECTIONS\'命令的开始处,定位计数器拥有值\'0\'.

第二行定义一个输出节,\'.text\'.冒号是语法需要,现在可以被忽略.节名后面

的花括号中,你列出所有应当被放入到这个输出节中的输入节的名字.\'*\'是一

个通配符,匹配任何文件名.表达式\'*(.text)\'意思是所有的输入文件中的

\'.text\'输入节.

因为当输出节\'.text\'定义的时候,定位计数器的值是\'0x10000\',连接器会把输

出文件中的\'.text\'节的地址设为\'0x10000\'.

余下的内容定义了输出文件中的\'.data\'节和\'.bss\'节.连接器会把\'.data\'输

出节放到地址\'0x8000000\'处.连接器放好\'.data\'输出节之后,定位计数器的

值是\'0x8000000\'加上\'.data\'输出节的长度.得到的结果是连接器会把\'.bss\'

输出节放到紧接\'.data\'节后面的位置.

连接器会通过在必要时增加定位计数器的值来保证每一个输出节具有它所需的

对齐.在这个例子中,为\'.text\'和\'.data\'节指定的地址会满足对齐约束,但

是连接器可能会需要在\'.data\'和\'.bss\'节之间创建一个小的缺口.

就这样,这是一个简单但完整的连接脚本.

简单的连接脚本命令.

=============================

在本章中,我们会描述一些简单的脚本命令.

设置入口点.

-----------------------

在运行一个程序时第一个被执行到的指令称为\"入口点\".你可以使用\'ENTRY\'连

接脚本命

令来设置入口点.参数是一个符号名:

ENTRY(SYMBOL)

有多种不同的方法来设置入口点.连接器会通过按顺序尝试以下的方法来设置入

口点,如

果成功了,就会停止.

*`-e\'入口命令行选项;

*连接脚本中的`ENTRY(SYMBOL)\'命令;

*如果定义了start,就使用start的值;

*如果存在,就使用\'.text\'节的首地址;

*地址`0\'.

处理文件的命令.

---------------------------

有几个处理文件的连接脚本命令.

`INCLUDEFILENAME\'

在当前点包含连接脚本文件FILENAME.在当前路径下或用\'-L\'选项指定的

所有路径下搜索这个文件,你可以嵌套使用\'INCLUDE\'达10层.

`INPUT(FILE,FILE,...)\'

`)\'

\'INPUT\'命令指示连接器在连接时包含文件,就像它们是在命令行上指定的

一样.

比如,如果你在连接的时候总是要包含文件\'subr.o\',但是你对每次连接时

要在命令行上输入感到厌烦,你就可以在你的连接脚本中输入\'INPUT

(subr.o).

事实上,如果你喜欢,你可以把你所有的输入文件列在连接脚本中,然后在

连接的时候什么也不需要,只要一个\'-T\'选项就够了.

在一个\'系统根前缀\'被配置的情况下,一个文件名如果以\'/\'字符打头,并

且脚本也存放在系统根前缀的某个子目录下,文件名就会被在系统根前缀下搜

索.

否则连接器就会企图打开当前目录下的文件.如果没有发现,连接器会通

过档案库搜索路径进行搜索.

如果你使用了\'INPUT(-lFILE)\',\'ld\'会把文件名转换为\'libFILE.a\',就

象命令行参数\'-l\'一样.

当你在一个隐式连接脚本中使用\'INPUT\'命令的时候,文件就会在连接时连

接脚本文件被包含的点上被包含进来.这会影响到档案搜索.

`GROUP(FILE,FILE,...)\'

`)\'

除了文件必须全是档案文件之外,\'GROUP\'命令跟\'INPUT\'相似,它们会被

反复搜索,直至没有未定义的引用被创建.

`OUTPUT(FILENAME)\'

\'OUTPUT\'命令命名输出文件.在连接脚本中使用\'OUTPUT(FILENAME)\'命令

跟在命令行中使用\'-oFILENAME\'命令是完全等效的.如果两个都使用了,那命

令行选项优先.

你可以使用\'OUTPUT\'命令为输出文件创建一个缺省的文件名,而不是常用的

\'\'.

`SEARCH_DIR(PATH)\'

`SEARCH_DIR\'命令给\'ld\'用于搜索档案文件的路径中再增加新的路径.使

用`SEARCH_DIR(PATH)\'跟在命令行上使用\'-LPATH\'选项是完全等效的.如果两

个都使用了,那连接器会两个路径都搜索.用命令行选项指定的路径首先被搜

索.

`STARTUP(FILENAME)\'

除了FILENAME会成为第一个被连接的输入文件,\'STARTUP\'命令跟\'INPUT\'

命令完全相似,就象这个文件是在命令行上第一个被指定的文件一样.如果在

一个系统中,入口点总是存在于第一个文件中,那这个就很有用.

--

标题:GLD中文手册--(六)

处理目标文件格式的命令.

-----------------------------------------

有两个处理目标文件格式的连接脚本命令.

`OUTPUT_FORMAT(BFDNAME)\'

`OUTPUT_FORMAT(DEFAULT,BIG,LITTLE)\'

`OUTPUT_FORMAT\'命令为输出文件使用的BFD格式命名.使用

`OUTPUT_FORMAT(BFDNAME)\'跟在命令行上使用\'-oformatBFDNAME\'是完全等效

的.如果两个都使用了,命令行选项优先.

你可在使用`OUTPUT_FORMAT\'时带有三个参数以使用不同的基于\'-EB\'和

\'-EL\'的命令行选项的格式.

如果\'-EB\'和\'-EL\'都没有使用,那输出格式会是第一个参数DEFAULT,如

果使用了\'-EB\',输出格式会是第二个参数BIG,如果使用了\'-EL\',输出格式会

是

第三个参数,LITTLE.

比如,缺省的基于MIPSELF平台连接脚本使用如下命令:

OUTPUT_FORMAT(elf32-bigmips,elf32-bigmips,lf32-littlemips)

这表示缺省的输出文件格式是\'elf32-bigmips\',但是当用户使用\'-EL\'命

令行选项的时候,输出文件就会被以`elf32-littlemips\'格式创建.

`TARGET(BFDNAME)\'

\'TARGET\'命令在读取输入文件时命名BFD格式.它会影响到后来的\'INPUT\'

和

\'GROUP\'命令.这个命令跟在命令行上使用`-bBFDNAME\'相似.如果使用了

\'TARGET\'命令但`OUTPUT_FORMAT\'没有指定,最后的\'TARGET\'命令也被用来

设置输出文件的格式.

其它的连接脚本命令.

----------------------------

还有一些其它的连接脚本命令.

`ASSERT(EXP,MESSAGE)\'

确保EXP不等于零,如果等于零,连接器就会返回一个错误码退出,并打印

出MESSAGE.

`)\'

强制SYMBOL作为一个无定义的符号输入到输出文件中去.这样做了,可能

会引发从标准库中连接一些节外的库.你可以为每一个EXTERN\'列出几个符号,

而且你可以多次使用\'EXTERN\'.这个命令跟\'-u\'命令行选项具有相同的效果.

`FORCE_COMMON_ALLOCATION\'

这个命令跟命令行选项\'-d\'具有相同的效果:就算指定了一个可重定位的

输出文件(\'-r\'),也让\'ld\'为普通符号分配空间.

`INHIBIT_COMMON_ALLOCATION\'

这个命令跟命令行选项`--no-define-common\'具有相同的效果:就算是一

个不可重位输出文件,也让\'ld\'忽略为普通符号分配的空间.

`)\'

这个命令在遇到在某些特定的节之间引用的时候会产生一条错误信息.

在某些特定的程序中,特别是在使用覆盖技术的嵌入式系统中,当一个节

被载入内存时,另外一个节就不会在内存中.任何在两个节之间的直接引用都会

是一个错误.比如,如果节1中的代码调用了另一个节中的一个函数,这就会产

生一个错误.

`NOCROSSREFS\'命令带有一个输出节名字的列表.如果\'ld\'遇到任何在这些

节之间的交叉引用,它就会报告一个错误,并返回一个非零退出码.注意,

`NOCROSSREFS\'命令使用输出节名,而不是输入节名.

`OUTPUT_ARCH(BFDARCH)\'

指定一个特定的输出机器架构.这个参数是BFD库中使用的一个名字.你

可以通过使用带有\'-f\'选项的\'objdump\'程序来查看一个目标文件的架构.

为符号赋值.

===========================

你可以在一个连接脚本中为一个符号赋一个值.这会把一个符号定义为一个全

局符号.

简单的赋值.

------------------

你可以使用所有的C赋值符号为一个符号赋值.

`SYMBOL=EXPRESSION;\'

`SYMBOL+=EXPRESSION;\'

`SYMBOL-=EXPRESSION;\'

`SYMBOL*=EXPRESSION;\'

`SYMBOL/=EXPRESSION;\'

`SYMBOL<<=EXPRESSION;\'

`SYMBOL>>=EXPRESSION;\'

`SYMBOL&=EXPRESSION;\'

`SYMBOL|=EXPRESSION;\'

第一个情况会把SYMBOL定义为值EXPRESSION.其它情况下,SYMBOL必须是已经

定义了的,而值会作出相应的调整.

特殊符号名\'.\'表示定位计数器.你只可以在\'SECTIONS\'命令中使用它.

EXPRESSION后面的分号是必须的.

表达式下面会定义.

你在写表达式赋值的时候,可以把它们作为单独的部分,也可以作为\'SECTIONS\'

命令中的一个语句,或者作为\'SECTIONS\'命令中输出节描述的一个部分.符号所

在的节会被设置成表达式所在的节.

下面是一个关于在三处地方使用符号赋值的例子:

floating_point=0;

SECTIONS

{

.text:

{

*(.text)

_etext=.;

}

_bdata=(.+3)&~3;

.data:{*(.data)}

}

在这个例子中,符号`floating_point\'被定义为零.符号\'-etext\'会被定义为

前面一个\'.text\'节尾部的地址.而符号\'_bdata\'会被定义为\'.text\'输出节后面

的一个向上对齐到4字节边界的一个地址值.

PROVIDE

-------

在某些情况下,一个符号被引用到的时候只在连接脚本中定义,而不在任何一个

被连接进来的目标文件中定义.这种做法是比较明智的.比如,传统的连接器

定义了一个符号\'etext\'.但是,ANSIC需要用户能够把\'etext\'作为一个函数

使用而不会产生错误.\'PROVIDE\'关键字可以被用来定义一个符号,比如etext\',

这个定义只在它被引用到的时候有效,而在它被定义的时候无效.语法是

`PROVIDE(SYMBOL=EXPRESSION)\'.

下面是一个关于使用\'PROVIDE\'定义\'etext\'的例子:

SECTIONS

{

.text:

{

*(.text)

_etext=.;

PROVIDE(etext=.);

}

}

在这个例子中,如果程序定义了一个\'_etext\'(带有一个前导下划线),连接器

会给出一个重定义错误.如果,程序定义了一个\'etext\'(不带前导下划线),连

接器会默认使用程序中的定义.如果程序引用了\'etext\'但不定义它,连接器会

使用连接脚本中的定义.

SECTIONS命令

================

\'SECTIONS\'命令告诉连接器如何把输入节映射到输出节,并如何把输出节放入

到内存中.

\'SECTIONS\'命令的格式如下:

SECTIONS

{

SECTIONS-COMMAND

SECTIONS-COMMAND

...

}

每一个SECTIONS-COMMAND可能是如下的一种:

*一个\'ENTRY\'命令.

*一个符号赋值.

*一个输出节描述.

*一个重叠描述.

\'ENTRY\'命令和符号赋值在\'SECTIONS\'命令中是允许的,这是为了方便在这些命

令中使用定位计数器.这也可以让连接脚本更容易理解,因为你可以在更有意

义的地方使用这些命令来控制输出文件的布局.

输出节描述和重叠描述在下面描述.

如果你在连接脚本中不使用\'SECTIONS\'命令,连接器会按在输入文件中遇到的

节的顺序把每一个输入节放到同名的输出节中.如果所有的输入节都在第一个

文件中存在,那输出文件中的节的顺序会匹配第一个输入文件中的节的顺序.第

一个节会在地址零处.

输出节描述

--------------------------

一个完整的输出节的描述应该是这个样子的:

SECTION[ADDRESS][(TYPE)]:[AT(LMA)]

{

OUTPUT-SECTION-COMMAND

OUTPUT-SECTION-COMMAND

...

}[>REGION][AT>LMA_REGION][:][=FILLEXP]

大多数输出节不使用这里的可选节属性.

SECTION边上的空格是必须的,所以节名是明确的.冒号跟花括号也是必须的.

断行和其他的空格是可选的.

每一个OUTPUT-SECTION-COMMAND可能是如下的情况:

*一个符号赋值.

*一个输入节描述.

*直接包含的数据值.

*一个特定的输出节关键字.

输出节名.-------------------

输出节的名字是N必须满足你的输出格式的约束.在一个只支

持限制数量的节的格式中,比如\'\',这个名字必须是格式支持的节名中的一

个(比如,\'\'只允许\'.text\',\'.data\'或\'.bss\').如果输出格式支持任意数

量的节,但是只支持数字,而没有名字(就像Oasys中的情况),名字应当以一个

双引号中的数值串的形式提供.一个节名可以由任意数量的字符组成,但是一个

含有任意非常用字符(比如逗号)的字句必须用双引号引起来.

输出节描述

--------------------------

ADDRESS是关于输出节中VMS的一个表达式.如果你不提供ADDRESS,连接器会

基于REGION(如果存在)设置它,或者基于定位计数器的当前值.如果你提供了

ADDRESS,那输出节的地址会被精确地设为这个值.如果你既不提供ADDRESS也

不提供REGION,那输出节的地址会被设为当前的定位计数器向上对齐到输出节

需要的对齐边界的值.输出节的对齐要求是所有输入节中含有的对齐要求中最

严格的一个.

比如:

.text.:{*(.text)}

和

.text:{*(.text)}

有细微的不同.第一个会把\'.text\'输出节的地址设为当前定位计数器的值.第

二个会把它设为定位计数器的当前值向上对齐到\'.text\'输入节中对齐要求最严

格的一个边界.

ADDRESS可以是任意表达式;比如,如果你需要把节对齐对0x10字节边界,这样

就可以让低四字节的节地址值为零,你可以这样做:

.textALIGN(0x10):{*(.text)}

这个语句可以正常工作,因为\'ALIGN\'返回当前的定位计数器,并向上对齐到指定

的值.

指定一个节的地址会改变定位计数器的值.

输入节描述

-------------------------

最常用的输出节命令是输入节描述.

输入节描述是最基本的连接脚本操作.你使用输出节来告诉连接器在内存中如

何布局你的程序.你使用输入节来告诉连接器如何把输入文件映射到你的内存

中.

输入节基础

---------------------------

一个输入节描述由一个文件名后跟有可选的括号中的节名列表组成.

文件名和节名可以通配符形式出现,这个我们以后再介绍.

最常用的输入节描述是包含在输出节中的所有具有特定名字的输入节.比如,

包含所有输入\'.text\'节,你可以这样写:

*(.text)

这里,\'*\'是一个通配符,匹配所有的文件名.为把一部分文件排除在匹配的名字

通配符之外,EXCLUDE_FILE可以用来匹配所有的除了在EXCLUDE_FILE列表中指

定的文件.比如:

(*(EXCLUDE_FILE(*crtend.o*otherfile.o).ctors))

会让除了`crtend.o\'文件和`otherfile.o\'文件之外的所有的文件中的所有

的.ctors节被包含进来.

有两种方法包含多于一个的节:

*(.)

*(.text)*(.rdata)

上面两句的区别在于\'.text\'和\'.rdata\'输入节的输出节中出现的顺序不同.在

第一个例子中,两种节会交替出现,并以连接器的输入顺序排布.在第二个例子

中,所有的\'.text\'输入节会先出现,然后是所有的\'.rdata\'节.

你可以指定文件名,以从一个特定的文件中包含节.如果一个或多个你的文件含

有特殊的数据在内存中需要特殊的定位,你可以这样做.比如:

data.o(.data)

如果你使用一个不带有节列表的文件名,那输入文件中的所有的节会被包含到

输出节中.通常不会这样做,但是在某些场合下这个可能非常有用.比如:

data.o

当你使用一个不含有任何通配符的文件名时,连接器首先会查看你是否在连接

命令行上指定了文件名或者在\'INPUT\'命令中.如果你没有,连接器会试图把这

个文件作为一个输入文件打开,就像它在命令行上出现一样.注意这跟\'INPUT\'

命令不一样,因为连接器会在档案搜索路径中搜索文件.

输入节通配符

---------------------------------

在一个输入节描述中,文件名或者节名,或者两者同时都可以是通配符形式.文

件名通配符\'*\'在很多例子中都可以看到,这是一个简单的文件名通配符形式.通

配符形式跟UnixShell中使用的一样.

`*\'

匹配任意数量的字符.

`?\'

匹配单个字符.

`[CHARS]\'

匹配CHARS中的任意单个字符;字符\'-\'可以被用来指定字符的方讧,比如

[a-z]匹配任意小字字符.

`\'

转义其后的字符.

当一个文件名跟一个通配符匹配时,通配符字符不会匹配一个\'/\'字符(在UNIX

系统中用来分隔目录名),一个含有单个\'*\'字符的形式是个例外;它总是匹配

任意文件名,不管它是否含有\'/\'.在一个节名中,通配符字符会匹配\'/\'字符.

文件名通配符只匹配那些在命令行或在\'INPUT\'命令上显式指定的文件.连接器

不会通过搜索目录来展开通配符.

如果一个文件名匹配多于一个通配符,或者如果一个文件名显式出现同时又匹

配了一个通配符,连接器会使用第一次匹配到的连接脚本.比如,下面的输入

节描述序列很可能就是错误的,因为\'data.o\'规则没有被使用:

.data:{*(.data)}

.data1:{data.o(.data)}

通常,连接器会把匹配通配符的文件和节按在连接中被看到的顺序放置.你可

以通过\'SORT\'关键字改变它,它出现在括号中的通配符之前(比如,

SORT(.text*)\').当\'SORT\'关键字被使用时,连接器会在把文件和节放到输出

文件中之前按名字顺序重新排列它们.

如果你对于输入节被放置到哪里去了感到很困惑,那可以使用\'-M\'连接选项来

产生一个位图文件.位图文件会精确显示输入节是如何被映射到输出节中的.

这个例子显示了通配符是如何被用来区分文件的.这个连接脚本指示连接器把

所有的\'.text\'节放到\'.text\'中,把所有的\'.bss\'节放到\'.bss\'.连接器会把

所有的来自文件名以一个大写字母开始的文件中的\'.data\'节放进\'.DATA\'节中;

对于所有其他文件,连接器会把\'.data\'节放进\'.data\'节中.

SECTIONS{

.text:{*(.text)}

.DATA:{[A-Z]*(.data)}

.data:{*(.data)}

.bss:{*(.bss)}

}

输入节中的普通符号.

-----------------------------------

对于普通符号,需要一个特殊的标识,因为在很多目标格式中,普通符号没有一

个特定的输入节.连接器会把普通符号处理成好像它们在一个叫做\'COMMON\'的

节中.

你可能像使用带有其他输入节的文件名一样使用带有\'COMMON\'节的文件名。你可

以通过这个把来自一个特定输入文件的普通符号放入一个节中，同时把来自其它

输入文件的普通符号放入另一个节中。

在大多数情况下，输入文件中的普通符号会被放到输出文件的\'.bss\'节中。比如：

.bss{*(.bss)*(COMMON)}

有些目标文件格式具有多于一个的普通符号。比如，MIPSELF目标文件格式区

分标准普通符号和小普通符号。在这种情况下，连接器会为其他类型的普通符号

使用一个不同的特殊节名。在MIPSELF的情况中，连接器为标准普通符号使

用\'COMMON\'，并且为小普通符号使用\'.common\'。这就允许你把不同类型的普通

符号映射到内存的不同位置。

在一些老的连接脚本上，你有时会看到\'[COMMON]\'。这个符号现在已经过时了，

它等效于\'*(COMMON)\'。

标题:GLD中文手册--(七)

输入节和垃圾收集

---------------------------------------

当连接时垃圾收集正在使用中时（\'--gc-sections\')，这在标识那些不应该被排

除在外的节时非常有用。这是通过在输入节的通配符入口外面加上\'KEEP()\'实现

的，比如\'KEEP(*(.init))\'或者\'KEEP(SORT(*)(.sorts))

\'。

输入节示例

---------------------

接下来的例子是一个完整的连接脚本。它告诉连接器去读取文件\'all.o\'中的所

有节，并把它们放到输出节\'outputa\'的开始位置处，该输出节是从位置

\'0x10000\'处开始的。

从文件\'foo.o\'中来的所有节\'.input1\'在同一个输出节中紧密排列。从文件

\'foo.o\'中来的所有节\'.input2\'全部放入到输出节\'outputb\'中，后面跟上从

\'foo1.o\'中来的节\'.input1\'。来自所有文件的所有余下的\'.input1\'和

\'.input2\'节被写入到输出节\'outputc\'中。

SECTIONS{

outputa0x10000:

{

all.o

foo.o(.input1)

}

outputb:

{

foo.o(.input2)

foo1.o(.input1)

}

outputc:

{

*(.input1)

*(.input2)

}

}

输出节数据

-------------------

你可以通过使用输出节命令\'BYTE\',\'SHORT\',\'LONG\',\'QUAD\',或者\'SQUAD\'在输

出节中显式包含几个字节的数据每一个关键字后面都跟上一个圆括号中的要存

入的值。表达式的值被存在当前的定位计数器的值处。

‘BYTE’，‘SHORT’，‘LONG’‘QUAD’命令分别存储一个，两个，四个，八

个字节。存入字节后，定位计数器的值加上被存入的字节数。

比如，下面的命令会存入一字节的内容1,后面跟上四字节，其内容是符号\'addr\'

的值。

BYTE(端午节的来历15字左右 1)

LONG(addr)

当使用64位系统时，‘QUAD’和‘SQUAD’是相同的；它们都会存储8字节，或

者说是64位的值。而如果软硬件系统都是32位的，一个表达式就会被作为32

位计算。在这种情况下，‘QUAD’存储一个32位值，并把它零扩展到64位，而

‘SQUAD’会把32位值符号扩展到64位。

如果输出文件的目标文件格式有一个显式的endianness，它在正常的情况下，

值就会被以这种endianness存储当一个目标文件格式没有一个显式的

endianness时,值就会被以第一个输入目标文件的endianness存储。

注意，这些命令只在一个节描述内部才有效，而不是在它们之间，所以，下面

的代码会使连接器产生一个错误信息：

SECTIONS{.text:{*(.text)}LONG(1).data:{*(.data)}}

而这个才是有效的：

SECTIONS{.text:{*(.text);LONG(1)}.data:{*(.data)}}

你可能使用‘FILL’命令来为当前节设置填充样式。它后面跟有一个括号中的表

达式。任何未指定的节内内存区域（比如，因为输入节的对齐要求而造成的裂缝）

会以这个表达式的值进行填充。一个\'FILL\'语句会覆盖到它本身在节定义中出现

的位置后面的所有内存区域；通过引入多个‘FILL’语句，你可以在输出节的不

同位置拥有不同的填充样式。

这个例子显示如何在未被指定的内存区域填充\'0x90\'：

FILL(0x90909090)

‘FILL’命令跟输出节的‘=FILLEXP’属性相似，但它只影响到节内跟在

‘FILL’命令后面的部分，而不是整个节。如果两个都用到了，那‘FILL’命令

优先。

输出节关键字

-----------------------

有两个关键字作为输出节命令的形式出现。

`CREATE_OBJECT_SYMBOLS\'

这个命令告诉连接器为每一个输入文件创建一个符号。而符号的名字正好就是

相关输入文件的名字。而每一个符号的节就是`CREATE_OBJECT_SYMBOLS\'命令

出现的那个节。

这个命令一直是目标文件格式特有的。它一般不为其它的目标文件格式

所使用。

`CONSTRUCTORS\'

当使用目标文件格式进行连接的时候，连接器使用一组不常用的结

构以支持C++的全局构造函数和析构函数。当连接不支持专有节的目标文件格式

时，比如ECOFF和XCOFF，连接器会自动辩识C++全局构造函数和析构函数的名

字。

对于这些目标文件格式，‘CONSTRUCTORS’命令告诉连接器把构造函数信息

放到‘CONSTRUCTORS’命令出现的那个输出节中。对于其它目标文件格式，

‘CONSTRUCTORS’命令被忽略。

符号`__CTOR_LIST__\'标识全局构造函数的开始，而符号`__DTOR_LIST\'标识

结束。这个列表的第一个WORD是入口的数量，紧跟在后面的是每一个构造函数

和析构函数的地址，再然后是一个零WORD。编译器必须安排如何实际运行代码。

对于这些目标文件格式，GNUC++通常从一个`__main\'子程序中调用构造函数，

而对`__main\'的调用自动被插入到`main\'的启动代码中。GNUC++通常使用

\'atexit\'运行析构函数，或者直接从函数\'exit\'中运行。

对于像‘COFF’或‘ELF’这样支持专有节名的目标文件格式，GNUC++通常

会把全局构造函数与析构函数的地址值放到\'.ctors\'和\'.dtors\'节中。把下面的

代码序列放到你的连接脚本中去，这样会构建出GNUC++运行时代码希望见到的

表类型。

__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__=.;

如果你正使用GNUC++支持来进行优先初始化，那它提供一些可以控制全局

构造函数运行顺序的功能，你必须在连接时给构造函数排好序以保证它们以正确

的顺序被执行。当使用\'CONSTRUCTORS\'命令时，替代为`SORT(CONSTRUCTORS)\'。

当使用\'.ctors\'和\'dtors\'节时，使用`*(SORT(.ctors))\'和`*(SORT(.dtors))\'

而不是`*(.ctors)\'和`*(.dtors)\'。

通常，编译器和连接器会自动处理这些事情，并且你不必亲自关心这些事情。

但是，当你正在使用C++，并自己编写连接脚本时，你可能就要考虑这些事情了。

输出节的丢弃。

-------------------------

连接器不会创建那些不含有任何内容的输出节。这是为了引用那些可能出现或不

出现在任何输入文件中的输出节时方便。比如：

.foo{*(.foo)}

如果至少在一个输入文件中有\'.foo\'节，它才会在输出文件中创建一个\'.foo\'

节如果你使用了其它的而不是一个输入节描述作为一个输出节命令，比如一个符

号赋值，那这个输出节总是被创建，即使没有匹配的输入节也会被创建。

一个特殊的输出节名`/DISCARD/\'可以被用来丢弃输入节。任何被分配到名为

`/DISCARD/\'的输出节中的输入节不包含在输出文件中。

输出节属性

-------------------------

上面，我们已经展示了一个完整的输出节描述，看下去就象这样：

SECTION[ADDRESS][(TYPE)]:[AT(LMA)]

{

OUTPUT-SECTION-COMMAND

OUTPUT-SECTION-COMMAND

...

}[>REGION][AT>LMA_REGION][:][=FILLEXP]

我们已经介绍了SECTION,ADDRESS,和OUTPUT-SECTION-COMMAND.在这一节中，

我们将介绍余下的节属性。

输出节类型

...................

每一个输出节可以有一个类型。类型是一个放在括号中的关键字，已定义的类型

如下所示：

`NOLOAD\'

这个节应当被标识为不可载入，所以当程序运行时，它不会被载入到内存中。

`DSECT\'

`COPY\'

`INFO\'

`OVERLAY\'

支持这些类型名只是为了向下兼容，它们很少使用。它们都具有相同的效果：

这个节应当被标识为不可分配，所以当程序运行时，没有内存为这个节分配。

连接器通常基于映射到输出节的输入节来设置输出节的属性。你可以通过使

用节类型来重设这个属性，比如，在下面的脚本例子中，‘ROM’节被定址在内

存地址零处，并且在程序运行时不需要被载入。‘ROM’节的内容会正常出现在

连接输出文件中。

SECTIONS{

ROM0(NOLOAD):{...}

...

}

输出节LMA

..................

每一个节有一个虚地址（VMA）和一个载入地址（LMA）；出现在输出节描述中的

地址表式设置VMS连接器通常把LMA跟VMA设成相等。你可以通过使用‘AT’关

键字改变这个。跟在关键字‘AT’后面的表达式LMA指定节的载入地址。或者，

通过`AT>LMA_REGION\'表达式，你可以为节的载入地址指定一个内存区域。

这个特性是为了便于建立ROM映像而设计的。比如，下面的连接脚本创建了三个

输出节：一个叫做‘.text’从地址‘0x1000’处开始，一个叫‘.mdata’，尽

管它的VMA是\'0x2000\'，它会被载入到\'.text\'节的后面，最后一个叫做‘.bss’

是用来放置未初始化的数据的，其地址从\'0x3000\'处开始。符号\'_data\'被定义

为值\'0x2000\',它表示定位计数器的值是VMA的值，而不是LMA。

SECTIONS

{

.text0x1000:{*(.text)_etext=.;}

.mdata0x2000:

AT(ADDR(.text)+SIZEOF(.text))

{_data=.;*(.data);_edata=.;}

.bss0x3000:

{_bstart=.;*(.bss)*(COMMON);_bend=.;}

}

这个连接脚本产生的程序使用的运行时初始化代码会包含象下面所示的一些东

西，以把初始化后的数据从ROM映像中拷贝到它的运行时地址中去。注意这节代

码是如何利用好连接脚本定义的符号的。

externchar_etext,_data,_edata,_bstart,_bend;

char*src=&_etext;

char*dst=&_data;

/*ROMhasdataatendoftext;copyit.*/

while(dst<&_edata){

*dst++=*src++;

}

/*Zerobss*/

for(dst=&_bstart;dst<&_bend;dst++)

*dst=0;

输出节区域

.....................

你可以通过使用`>REGION\'把一个节赋给前面已经定义的一个内存区域。

这里有一个简单的例子:

MEMORY{rom:ORIGIN=0x1000,LENGTH=0x1000}

SECTIONS{ROM:{*(.text)}>rom}

输出节Phdr

...................

你可以通过使用`:PHDR\'把一个节赋给前面已定义的一个程序段。如果一个节被

赋给一个或多个段，那后来分配的节都会被赋给这些段，除非它们显式使用了

\':PHDR\'修饰符。你可以使用\':NONE\'来告诉连接器不要把节放到任何一个段中。

这儿有一个简单的例子：

PHDRS{textPT_LOAD;}

SECTIONS{.text:{*(.text)}:text}

输出段填充

...................

你可以通过使用\'=FILLEXP\'为整个节设置填充样式。FILLEXP是一个表达式。任

何没有指定的输出段内的内存区域（比如，因为输入段的对齐要求而产生的裂缝）

会被填入这个值。如果填充表达式是一个简单的十六进制值，比如，一个以\'0x\'

开始的十六进制数字组成的字符串，并且尾部不是\'k\'或\'M\'，那一个任意的十六

进制数字长序列可以被用来指定填充样式；前导零也变为样式的一部分。对于所

有其他的情况，包含一个附加的括号或一元操作符\'+\'，那填充样式是表达式的

最低四字节的值。在所有的情况下，数值是big-endian.

你还可以通过在输出节命令中使用\'FILL\'命令来改变填充值。

这里是一个简单的例子:

SECTIONS{.text:{*(.text)}=0x90909090}

--

标题:GLD中文手册--(八)

覆盖描述

-------------------

一个覆盖描述提供一个简单的描述办法，以描述那些要被作为一个单独内存映像

的一部分载入内存，但是却要在同一内存地址运行的节。在运行时，一些覆盖管

理机制会把要被覆盖的节按需要拷入或拷出运行时内存地址，并且多半是通过简

单地处理内存位。这个方法可能非常有用，比如在一个特定的内存区域比另一

个快时。

覆盖是通过‘OVERLAY’命令进行描述。‘OVERLAY’命令在‘SECTIONS’命令中

使用，就像输出段描述一样。‘OVERLAY’命令的完整语法如下：

OVERLAY[START]:[NOCROSSREFS][AT(LDADDR)]

{

SECNAME1

{

OUTPUT-SECTION-COMMAND

OUTPUT-SECTION-COMMAND

...

}[:][=FILL]

SECNAME2

{

OUTPUT-SECTION-COMMAND

OUTPUT-SECTION-COMMAND

...

}[:][=FILL]

...

}[>REGION][:][=FILL]

除了‘OVERLAY’关键字，所有的都是可选的，每一个节必须有一个名字（上面

的SECNAME1和SECNAME2）。在‘OVERLAY’结构中的节定义跟通常的SECTIONS’

结构中的节定义是完全相同的，除了一点，就是在‘OVERLAY’中没有地址跟内

存区域的定义。

节都被定义为同一个开始地址。所有节的载入地址都被排布，使它们在内存中从

整个\'OVERLAY\'的载入地址开始都是连续的（就像普通的节定义，载入地址是可

选的，缺省的就是开始地址；开始地址也是可选的，缺省的是当前的定位计数器

的值。）

如果使用了关键字`NOCROSSREFS\'，并且在节之间存在引用，连接器就会报告一

个错误。因为节都运行在同一个地址上，所以一个节直接引用另一个节中的内容

是错误的。

对于\'OVERLAY\'中的每一个节，连接器自动定义两个符号。符游山西村宋陆游古诗朗诵 号

`__load_start_SECNAME\'被定义为节的开始载入地址。符号

`__load_stop_SECNAME\'被定义为节的最后载入地址。SECNAME中的不符合C规

定的任何字符都将被删除。C（或者汇编语言）代码可能使用这些符号在必要的

时间搬移覆盖代码。

在覆盖区域的最后，定位计数器的值被设为覆盖区域的开始地址加上最大的节的

长度。

这里是一个例子。记住这只会出现在‘SECTIONS’结构的内部。

OVERLAY0x1000:AT(0x4000)

{

.text0{o1/*.o(.text)}

.text1{o2/*.o(.text)}

}

这段代码会定义\'.text0\'和\'.text1\'，它们都从地址0x1000开始。‘.text0\'

会被载入到地址0x4000处，而\'.text1\'会被载入到紧随\'.text0\'后的位置。下

面的几个符号会被定义：`__load_start_text0\',`__load_stop_text0\',

`__load_start_text1\',

`__load_stop_text1\'.

拷贝\'.text1\'到覆盖区域的C代码看上去可能会像下面这样：

externchar__load_start_text1,__load_stop_text1;

memcpy((char*)0x1000,&__load_start_text1,

&__load_stop_text1-&__load_start_text1);

注意\'OVERLAY\'命令只是为了语法上的便利，因为它所做的所有事情都可以用更

加基本的命令加以代替。上面的例子可以用下面的完全特效的写法：

.text00x1000:AT(0x4000){o1/*.o(.text)}

__load_start_text0=LOADADDR(.text0);

__load_stop_text0=LOADADDR(.text0)+SIZEOF(.text0);

.text10x1000:AT(0x4000+SIZEOF(.text0)){o2/*.o(.text)}

__load_start_text1=LOADADDR(.text1);

__load_stop_text1=LOADADDR(.text1)+SIZEOF(.text1);

.=0x1000+MAX(SIZEOF(.text0),SIZEOF(.text1));

MEMORY命令

==============

连接器在缺省状态下被配置为允许分配所有可用的内存块。你可以使用

‘MEMORY’命令重新配置这个设置。

‘MEMORY’命令描述目标平台上内存块的位置与长度。你可以用它来描述哪些

内存区域可以被连接器使用，哪些内存区域是要避免使用的。然后你就可以把节

分配到特定的内存区域中。连接器会基于内存区域设置节的地址，对于太满的区

域，会提示警告信息。连接器不会为了适应可用的区域而搅乱节。

一个连接脚本最多可以包含一次\'MEMORY\'命令。但是，你可以在命令中随心所欲

定义任意多的内存块，语法如下：

MEMORY

{

NAME[(ATTR)]:ORIGIN=ORIGIN,LENGTH=LEN

...

}

NAME是用在连接脚本中引用内存区域的名字。出了连接脚本，区域名就没有任

何实际意义。区域名存储在一个单独的名字空间中，它不会和符号名，文件名，

节名产生冲突，每一块内存区域必须有一个唯一的名字。

ATTR字符串是一个可选的属性列表，它指出是否为一个没有在连接脚本中进行

显式映射地输入段使用一个特定的内存区域。如果你没有为某些输入段指定一个

输出段，连接器会创建一个跟输入段同名的输出段。如果你定义了区域属性，连

接器会使用它们来为它创建的输出段选择内存区域。

ATTR字符串必须包含下面字符中的一个，且必须只包含一个：

`R\'

只读节。

`W\'

可读写节。

`X\'

可执行节。

`A\'

可分配节。

`I\'

已初始化节。

`L\'

同‘I’

`!\'

对前一个属性值取反。

如果一个未映射节匹配了上面除\'!\'之外的一个属性，它就会被放入该内存区域。

\'!\'属性对该测试取反，所以只有当它不匹配上面列出的行何属性时，一个未映

射节才会被放入到内存区域。

ORIGIN是一个关于内存区域地始地址的表达式。在内存分配执行之前，这个表

达式必须被求值产生一个常数，这意味着你不可以使用任何节相关的符号。关键

字\'ORIGIN\'可以被缩写为\'org\'或\'o\'(但是，不可以写为，比如‘ORG’）

LEN是一个关于内存区域长充（以字节为单位）的表达式。就像ORIGIN表达式，

这个表达式在分配执行前也必须被求得为一个常数值。关键字\'LENGTH\'可以被简

写为‘len\'或\'l\'。

在下面的例子中，我们指定两个可用于分配的内存区域：一个从0开始，有256kb

长度，另一个从0x4000000开始，有4mb长度。连接器会把那些没有进行显式映

射且是只读或可执行的节放到\'rom\'内存区域。并会把另外的没有被显式映射地

节放入到\'ram\'内存区域。

MEMORY

{

rom(rx):ORIGIN=0,LENGTH=256K

ram(!rx):org=0x40000000,l=4M

}

一旦你定义了一个内存区域，你也可以指示连接器把指定的输出段放入到这个内

存区域中，这可以通过使用\'>REGION\'输出段属性。比如，如果你有一个名为\'mem\'

的内存区域，你可以在输出段定义中使用\'>mem\'。如果没有为输出段指定地址，

连接器就会把地址设置为内存区域中的下一个可用的地址。如果总共的映射到一

个内存区域的输出段对于区域来说太大了，连接器会提示一条错误信息。

PHDRS命令

=============

ELF目标文件格式使用“程序头”，它也就是人们熟知的“节”。程序头描述了

程序应当如何被载入到内存中。你可以通过使用带有\'-p\'选项的‘objdump’命

令来打印出这个程序头。

当你在一个纯ELF系统上运行ELF程序时，系统的载入程序通过读取文件头来计

算得到如何来载入这个文件。这只在程序头被正确设置的情况下才会正常工作。

本手册并不打算介绍系统载入程序如何解释文件头的相关细节问题；关于更多信

息，请参阅ELFABI。

连接顺在缺省状态下会自己创建一个可用的程序头。但是，在某些情况下，你可

能需要更为精确地指定程序头。你可以使用命令‘PHDRS’达到这个目的。当连

接器在连接脚本中看到‘PHDRS’命令时，它只会创建被指定了的程序头。

连接器只在产生ELF输出文件时关心‘PHDRS’命令。在其它情况下，连接器只

是简单地忽略‘PHDRS’。

下面是‘PHDRS’命令的语法。单词‘PHDRS’，‘FILEHDR’，‘AT’和‘FLAGS’

都是关键字。

PHDRS

{

NAMETYPE[FILEHDR][PHDRS][AT(ADDRESS)]

[FLAGS(FLAGS)];

}

NAME只在连接脚本的‘SECTIONS’命令中引用时用到。它不会被放到输出文件

中。程序头的名字会被存储到单独的名字空间中。每一个程序头都必须有一个唯

一的名字。

某些特定类型的程序头描述系统载入程序要从文件中载入到内存的节。在连接脚

本中，你通过把可载入的输出节放到段中来指定这些段的内容。你可以使用

‘:PHDR’输出节属性把一个节放到一个特定的段中。

把某些节放到多个段中也是正常的。这仅仅暗示了一个内存段中含有另一个段。

你可以重复使用‘:PHDR’，在每一个应当含有这个节的段中使用它一次。

如果你使用‘:PHDR’把一个节放到多个段中，那连接器把随后的所有没有指定

‘:PHDR’的可分配节都放到同一个段中。这是为了方便，因为通常一串连续的

节会被放到一个单独的段中。你可以使用‘:NONE’来覆盖缺省的段，告诉连接

器不要把节放到任何一个段中。

你可能在程序头类型后面使用‘FILEHDR’和‘PHDRS’关键字来进一步描述段

的内容。‘FILEHDR’关键字表示段应当包含ELF文件头。‘PHDRS’关键字表示

段应当包含ELF程序头本身。

TYPE可以是如下的一个。数字表示关键字的值。

`PT_NULL\'(0)

表示一个不用的程序头。

`PT_LOAD\'(1)

表示这个程序头描述了一个被从文件中载入的段。

`PT_DYNAMIC\'(2)

表示一个可以从中找到动态链接信息的段。

`PT_INTERP\'(3)

表示一个可以从中找到关于程序名解释的段。

`PT_NOTE\'(4)

表示一个存有备注信息的段。

`PT_SHLIB\'(5)

一个保留的程序头类型，被定义了，但没有被ELFABI指定。

`PT_PHDR\'(6)

表示一个可以从中找到程序头的段。

EXPRESSION

一个给出程序头的数值类型的表达式。这可以在使用上面未定义的类型时使

用。

你可以通过使用‘AT’表达式指定一个段应当被载入到内存中的一个特定的地

址。这跟在输出节属性中使用‘AT’命令是完全一样的。程序头中的‘AT’命令

会覆盖输出节属性中的。

连接器通常会基于组成段的节来设置段属性。你可以通过使用‘FLAGS’关键字

来显式指定段标志。FLAGS的值必须是一个整型值。它被用来设置程序头的

‘p_flags\'域。

这里是一个关于‘PHDRS’的例子。它展示一个在纯ELF系统上的一个标准的程

序头设置。

PHDRS

{

headersPT_PHDRPHDRS;

interpPT_INTERP;

textPT_LOADFILEHDRPHDRS;

dataPT_LOAD;

dynamicPT_DYNAMIC;

}

SECTIONS

{

.=SIZEOF_HEADERS;

.interp:{*(.interp)}:text:interp

.text:{*(.text)}:text

.rodata:{*(.rodata)}/*defaultsto:text*/

...

.=.+0x1000;/*movetoanewpageinmemory*/

.data:{*(.data)}:data

.dynamic:{*(.dynamic)}:data:dynamic

...

}

VERSION命令

===============

在使用ELF时，连接器支持符号版本。符号版本只在使用共享库时有用。动态连

接器在运行一个可能跟一个更早版本的共享库链接程序时，可以使用符号版本来

选择一个函数的特定版本。

你可以直接在主连接脚本中包含一个版本脚本，或者你可以以一个隐式连接脚本

的形式提供这个版本脚本。你也可以使用‘--version-script\'连接器选项。

‘VERSION’命令的语法很简单：

VERSION{version-script-commands}

版本脚本命令的格式跟Sun在Solaris2.5中的连接器的格式是完全一样的。版

本脚本定义一个版本节点树。你可以在版本脚本中指定节点名和依赖关系。你可

以指定哪些符号被绑定到哪些版本节点上，你还可以把一组指定的符号限定到本

地范围，这样在共享库的外面它们就不是全局可见的了。

最简单的演示版本脚本语言的方法是出示几个小例子：

VERS_1.1{

global:

foo1;

local:

old*;

original*;

new*;

};

VERS_1.2{

foo2;

}VERS_1.1;

VERS_2.0{

bar1;bar2;

}VERS_1.2;

这个示例版本脚本定义了三个版本节点。第一个版本节点定义为‘VERS_1.1’它

没有其它的依赖。脚本把符号‘foo1’绑定给‘VERS_1.1’。它把一些数量的符

号限定到本地范围，这样它们在共享库的外面就不可见了；这是通过通配符来完

成的，所以任何名字以‘old’，‘original’或‘new’开头的符号都会被匹配。

可用的通配符跟在shell中匹配文件名时一样。

下面，版本脚本定义一个节点‘VER_1.2’。这个节点依赖‘VER_1.1’。脚本把

符号‘foo2’绑定给节点‘VERS_1.2’。

最后，版本脚本定义节点‘VERS_2.0’。这个节点依赖‘VERS_1.2’。脚本把符

号‘bar1’和‘bar2’绑定给版本节点‘VERS_2.0’。

当连接器发现一个定义在库中的符号没有被指定绑定到一个版本节点，它会把它

绑定到一个未指定基础版本的库。你可以通过使用‘global:*;’把所有未指定

的符号绑定到一个给定的版本节点上。

版本节点的名字没有任何特殊的含义只是为了方便人们阅读。版本‘2.0’可以

出现在‘1.1’和‘1.2’之间。但是，在书写版本脚本时，这会是一个引起混乱

的办法。

如果在版本脚本中，这是一个唯一的版本节点，节点名可以被省略。这样的版本

脚本不给符号赋任何版本，只是选择哪些符号会被全局可见而哪些不会。

{global:foo;bar;local:*;};

当你把一个程序跟一个带有版本符号的共享库连接时，程序自身知道每个符号的

哪个版本是它需要的，而且它还知道它连接的每一个节享库中哪些版本的节点是

它需要的。这样，在运行时，动态载入程序可以做一个快速的确认，以保证你连

接的库确实提供了所有的程序需要用来解析所有动态符号的版本节点。用这种方

法，就有可能让每一个动态连接器知道所有的外部符号不需要通过搜索每一个符

号引用就能解析。

符号版本在SunOS上做次版本确认是一种很成熟的方法。一个被提出来的基本的

问题是对于外部函数的标准引用会在需要时被绑定到正确的版本，但不是在程序

启动的时候全部被绑定。如果一个共享库过期了，一个需要的界面可能就不存在

了；当程序需要使用这个界面的时候，它可能会突然地意外失败。有了符号版本

后，当用户启动他们的程序时，如果要使用的共享库太老了的话，用户会得到一

条警告信息。

GNU对Sun的版本确认办法有一些扩展。首先就是能在符号定义的源文件中把一

个符号绑定到一个版本节点而不是在一个版本脚本中。这主要是为了减轻库维护

的工作量。你可以通过类似下面的代码实现这一点：

__asm__(\".symveroriginal_foo,foo@VERS_1.1\");

在C源文件中。这句会给函数\'original_foo\'取一个别名\'foo\'，并绑定到版本

节点`VERS_1.1\'。操作符\'local:\'可以被用来阻止符号\'original_foo\'被导出。

操作符\'.symver\'使这句优先于版本脚本。

第二个GNU的扩展是在一个给定的共享库中允许同一个函数的多个版本。通过这

种办法，你可以不增加共享库的主版本号而对界面做完全不相容的修改。

要实现这个，你必须在一个源文件中多次使用\'.symver\'操作符。这里是一个例

子：

__asm__(\".symveroriginal_foo,foo@\");

__asm__(\".symverold_foo,foo@VERS_1.1\");

__asm__(\".symverold_foo1,foo@VERS_1.2\");

__asm__(\".symvernew_foo,foo@@VERS_2.0\");

在这个例子中，\'foo@\'表示把符号\'foo\'绑定到一个没有指基版本的符号上。含

有这个例子的源文件必须定义4个C函数：`original_foo\',`old_foo\',

`old_foo1\',和`new_foo\'.

当你有一个给定符号的多个定义后，有必要有一个方法可以指定一个缺省的版

本，对于这个符号的外部引用就可以找到这个版本。用这种方法，你可以只声明

一个符号的一个版本作为缺省版本，否则，你会拥有同一个符号的多个定义。

如果你想要绑定一个引用到共享库中的符号的一个指定的版本，你可以很方便地

使用别名（比如，old_foo),或者你可以使用\'.symver\'操作符来指定绑定到一个

外部函数的特定版本。

你也可以在版本脚本中指定语言。

VERSIONextern\"lang\"{version-script-commands}

被支持的\'lang\'有‘C’，‘C++’和‘Java’。

--

标题:GLD中文手册--(九)

连接脚本中的表达式

连接脚本语言中的表达式的语法跟C的表达式是完全是致的。所有的表达式都以

整型值被求值。所有的表达式也被以相同的宽度求值。在32位系统是它是32

位，否则是64位。

你可以在表达式中使用和设置符号值。

连接器为了使用表达式，定义了几个具有特殊途的内建函数。

常数

---------

所有的常数都是整型值。

就像在C中，连接器把以\'0\'开头的整型数视为八进制数，把以\'0x\'或\'0X\'开头

的视为十六进制。连接器把其它的整型数视为十进制。

另外，你可以使用\'K\'和\'M\'后缀作为常数的度量单位，分别为\'1024\'和

\'1024*1024\'。

比如，下面的三个常数表示同一个值。

_fourk_1=4K;

_fourk_2=4096;

_fourk_3=0x1000;

符号名

------------

除了引用，符号名都是以一个字母，下划线或者句号开始，可以包含字母，数字，

下划线，句点和连接号。不是被引用的符号名必须不和任何关键字冲突。你可以

指定一个含有不固定它符数或具有跟关键字相同名字但符号名必须在双引号内：

\"SECTION\"=9;

\"withaspace\"=\"alsowithaspace\"+10;

因为符号可以含有很多非文字字符，所以以空格分隔符号是很安全的。比如，

\'A-B\'是一个符号，而\'A-B\'是一个执行减法运算的表达式。

定位计数器

--------------------

一个特殊的连接器变量\"dot\"\'.\'总是含有当前的输出定位计数器。因为\'.\'总引

用输出段中的一个位置，它只可以出现在\'SECTIONS\'命令中的表达式中。\'.\'符

号可以出现在表达式中一个普能符号允许出现的任何位置。

把一个值赋给\'.\'会让定位计数器产生移动。这会在输出段中产生空洞。定位计

数器从不向前移动。

SECTIONS

{

output:

{

file1(.text)

.=.+1000;

file2(.text)

.+=1000;

file3(.text)

}=0x12345678;

}

在前面的例子中，来自\'file1\'的\'.text\'节被定位在输出节\'output\'的起始位

置。它后面跟有1000byte的空隙。然后是来自\'file2\'的\'.text\'节，同样是后

面跟有1000byte的空隙，最后是来自\'file3\'的\'.text\'节。符号\'=0x12345678\'

指定在空隙中填入什么样的数据。

注意：\'.\'实际上引用的是当前包含目标的从开始处的字节偏移。通常，它就是

\'SECTIONS\'语句，其起始地址是0，因为\'.\'可以被用作绝对地址。但是如果\'.\'

被用在一个节描述中，它引用的是从这个节起始处开始的偏移，而不是一个绝对

地址。这样，在下面这样一个脚本中：

SECTIONS

{

.=0x100

.text:{

*(.text)

.=0x200

}

.=0x500

.data:{

*(.data)

.+=0x600

}

}

\'.text\'节被赋于起始地址0x100，尽管在\'.text\'输入节中没有足够的数据来填

充这个区域，但其长度还是0x200bytes。（如果数据太多，那会产生一条错误

信息，因为这会试图把\'.\'向前移）。\'.data\'节会从0x500处开始，并且它在结

尾处还会有0x600的额外空间。

运算符

---------

连接器可以识别标准的C的算术运算符集,以及它们的优先集.

优先集结合性运算符备注

(highest)

1left!-~(1)

2left*/%

3left+-

4left>><<

5left==!=><<=>=

6left&

7left|

8left&&

9left||

10right?:

11right&=+=-=*=/=(2)

(lowest)

注:(1)前缀运算符(2)*NoteAssignments::.

求值

----------

连接器是懒惰求表达式的值。它只在确实需要的时候去求一个表达式的值。

连接器需要一些信息，比如第一个节的起始地址的值，还有内存区域的起点与长

度，在做任何连接的时候这都需要。在连接器读取连接脚本的时候，这些值在可

能的时候被计算出来。

但是，其它的值（比如符号的值）直到内存被分配之后才会知道或需要。这样的

值直到其它信息（比如输出节的长度）可以被用来进行符号赋值的时候才被计算

出来。

直到内存分配之后，节的长度才会被知道，所以依赖于节长度的赋值只能到内存

分配之后才会被执行。

有些表达式，比如那些依赖于定位计数器\'.\'的表达式，必须在节分配的过程中

被计算出来。

如果一个表达式的结果现在被需要，但是目前得不到这个值，这样会导致一个错

误。比如，象下面这样一个脚本：

SECTIONS

{

.text9+this_isnt_constant:

{*(.text)}

}

会产生一个错误信息\'nonconstantexpressionforinitialaddress\'.

表达式的节

----------------------------

当一个连接器计算一个表达式时，得到的结果可能是一个绝对值，也可能跟某个

节相关。一个节相关的表达式是从一个节的基地址开始的固定的偏称值。

表达式在连接脚本中的位置决定了它是绝对的或节相关的。一个出现在输出节定

义中的表达式是跟输出节的基地址相关的。一个出现在其它地方的表达式则是绝

对的。

如果你通过\'-r\'选项指定需要可重位输出，那一个被赋为节相关的表达式的符号

就会是可重定位的。意思是下一步的连接操作会改变这个符号的值。符号的节就

是节相关的表达式所在的节。

一个被赋为绝对表达式的符号在后面进一步的连接操作中会始终保持它的值不

变。符号会是绝对的，并不会有任何的特定的相关节。

如果一个表达式有可能会是节相关的，你可以使用内建函数\'ABSOLUTE\'强制一个

表达式为绝对的。比如，要创建一个被赋为输出节\'.data\'的末尾地址的绝对符

号：

SECTIONS

{

.data:{*(.data)_edata=ABSOLUTE(.);}

}

如果没有使用\'ABSOLUTE\'，\'_edata\'会跟节\'.data\'相关。

内建函数

-----------------

为了使用连接脚本表达式，连接脚本语言含有一些内建函数。

`ABSOLUTE(EXP)\'

返回表达式EXP的绝对值（不可重定位，而不是非负）。主要在把一个绝对

值赋给一个节定义内的符号时有用。

`ADDR(SECTION)\'

返回节SECTION的绝对地址（VMA）。你的脚本之前必须已经定义了这个节

的地址。在接下来的例子中，\'symbol_1\'和\'symbol_2\'被赋以相同的值。

SECTIONS{...

.output1:

{

start_of_output_1=ABSOLUTE(.);

...

}

.output:

{

symbol_1=ADDR(.output1);

symbol_2=start_of_output_1;

}

...}

`ALIGN(EXP)\'

返回定位计数器\'.\'对齐到下一个EXP指定的边界后的值。‘ALIGN’不改变

定位计数器的值，它只是在定位计数器上面作了一个算术运算。这里有一个例子，

它在前面的节之后，把输出节\'.data\'对齐到下一个\'0x2000\'字节的边界，并在

输入节之后把节内的一个变量对齐到下一个\'0x8000\'字节的边界。

SECTIONS{...

.dataALIGN(0x2000):{

*(.data)

variable=ALIGN(0x8000);

}

...}

这个例子中前一个\'ALIGN\'指定一个节的位置，因为它是作为节定义的可选

项ADDRESS属性出现的。第二个‘ALIGN’被用来定义一个符号的值。

内建函数\'NEXT\'跟‘ALIGN’非常相似。

`BLOCK(EXP)\'

这是\'ALIGN\'的同义词，是为了与其它的连接器保持兼容。这在设置输出节

的地址时非常有用。

`DATA_SEGMENT_ALIGN(MAXPAGESIZE,COMMONPAGESIZE)\'

这跟下面的两个表达同义：

(ALIGN(MAXPAGESIZE)+(.&(MAXPAGESIZE-1)))

或者：

(ALIGN(MAXPAGESIZE)+(.&(MAXPAGESIZE-COMMONPAGESIZE)))

隐式连接脚本

=======================

如果你指定了一个连接器输出文件，而连接器不能识别它是一个目标文件还是档

案文件，它会试图把它读作一个连接脚本。如果这个文件不能作为一个连接脚本

被分析，连接器就会报告一个错误。

一个隐式的连接器脚本不会替代缺省的连接器脚本。

一般，一个隐式的连接器脚本只包含符号赋值，或者\'INPUT\',\'GROUP\'或

\'VERSION\'命令。

--

标题:GLD中文手册--(十)

BFD

***

连接器通过BFD库来对目标文件和档案文件进行操作。这些库允许连接器忽略目

标文件的格式而使用相关的例程来操作目标文件。只要简单地创建一个新的BFD

后台并把它加到库中，一个不同的目标文件格式就会被支持。但是为了节约运行

时内存，连接器和相关的工具一般被配置为只支持可用的目标文件格式的一个子

集，你可以使用\'objdump-i\'来列出你配置的所有支持的格式。

就像大多数的案例，BFD是一个在多种相互有冲突的需求之间的一个折中，影响

BFD设计的一个最主要的因素是效率。因为BFD简化了程序和后台，更多的时间

和精力被放在了优化算法以追求更快的速度。

BFD解决方案的一个副产品是你必须记住有信息丢失的潜在可能。在使用BFD机

制时，有两处地方有用信息可能丢失：在转化时和在输出时。

它如何工作:BFD概要。

===============================

当一个目标文件被打开时，BFD子程序自动确定输入目标文件的格式。然后它们

在内存中用指向子程序的指针构建一个描述符，这个描述符被用作存取目标文件

的数据结构元素。

因为需要来自目标文件的不同信息，BFD从文件的不同范雎读音 节中读取它们，并处理。

比如，连接器的一个非常普遍的操作是处理符号表。每一个BFD后台提供一个在

目标文件的符号表达形式跟内部规范格式之间的转化的函数，当一个连接器需要

一个目标文件的符号表时，它通过一个内存指针调用一个来自相应的BFD后台的

子程序，这个子程序读取表并把它转化为规范表。然后，连接器写输出文件的符

号表，另一个BFD后台子程序被调用，以创建新的符号表并把它转化为选定的输

出格式。

信息丢失。

----------------

在输出的过程中，信息可能会被丢失。BFD支持的输出格式并不提供一致的特性，

并且在某一种格式中可以被描述的信息可能在另一种格式中没有地方可放。一个

例子是在\'\'中的对齐信息，在一个\'\'格式的文件中，没有地方可以存

储对齐信息，所以当一个文件是从\'\'连接而成的，并产生的是一个\'\'

的文件，对齐信息就不会被传入到输出文件中（连接器还是在内部使用对齐信息，

所以连接器的执行还是正确的）

另一个例子是COFF节名字。COFF文件中可以含有不限数量的节，每一个都有一

个文字的节名。如果连接的目标是一种不支持过多节的格式（比如，\'\'）

或者是一种不含有节名的格式（比如，Oasys格式），连接器不能像通常那样简

单地处理它。你可以通过把所需的输入输出节通过连接脚本语言进行详细映射来

解决这下问题。

在规范化的过程中信息也会丢失。BFD内部的对应于外部格式的规范形式并不是

完全详尽的；有些在输入格式中的结构在内部并没有对应的表示方法。这意味着

BFD后台在从外部到内部或从内部到外部的转化过程中不能维护所有可能的数

据。

这个限制只在一个程序读取一种格式并写成另一种格式的时候会是一个问题。每

一个BFD后台有责任维护尽可能多的数据，内部的BFD规范格式具有对BFD内核

不透明的结构体，只导出给后台。当一个文件以一种格式读取后，规范格式就会

为之产生。同时，后台把所有可能丢失的信息进行存储。如果这些数据随后会写

以相同的格式写回，后台程序就可以使用BFD内核提供的跟选前准备的相同的规

范格式。因为在后台之间有大量相同的东西，在把bigendianCOFF拷贝成

littileendianCOFF时，或者\'\'到\'\'时，不会有信息丢失。当一些

混合格式被连接到一起时，只有那些格式跟目标格式不同的文件会丢失信息。

--

标题:GLD中文手册--后记

记得上次NASM文档贴出后，收到了很多热情的来信，索取NASM文档，这些朋友，

如果你确实开始使用NASM了的话，我相信你肯定已经碰到了选择连接器的问题，

如果你已经找到了你喜欢的连接器，那么祝贺你。如果你还在为这事发愁，那我

推荐你GNU的ld,只要在你的windows系统上装上djgpp,就可以使用ld了。如

果你只使用linux系统，那非常高兴，我们是同伙：)

大家会发现这篇中文文档有大量的删节，有些是因为确实不常用，而有些常用的，

因为我自己不会用到，所以也删去了，大家可对照英文文档阅读。

如果你需要，请继续给我来信：helq@谢谢大家的支持。