加载时域与运行时域

armlink 用法详解

在介绍armlink 的使用方法之前，先介绍要涉及到的一些术语。

映像文件(image)：是指一个可执行文件，在执行的时候被加载到处理器中。

一个映像文件有多个线程。它是ELF(Executable and linking format)格式的。

段(Section)：描述映像文件的代码或数据块。

RO：是Read-only 的简写形式。

RW：是Read-write.的简写形式。

ZI：是Zero-initialized 的简写形式。

输入段(input section)：它包含着代码，初始化数据或描述了在应用程序运行

之前必须要初始化为0 的一段内存。

输出段(output section)：它包含了一系列具有相同的RO，RW 或ZI 属性的

输入段。

域(Regions)：在一个映像文件中，一个域包含了1 至3 个输出段。多个域组

织在一起，就构成了最终的映像文件。

Read Only Position Independent(ROPI)：它是指一个段，在这个段中代码和只

读数据的地址在运行时候可以改变。

Read Write Position Independent(RWPI)：它是指一个段，在该段中的可读/写

的数据地址在运行期间可以改变。

加载时地址：是指映像文件位于存储器(在该映像文件没有运行时)中的地

址。

运行时地址：是指映像文件在运行时的地址。

下面介绍一下armlink 命令的语法

完整的连接器命令语法如下：

armlink [-help] [-vsn] [-partial] [-output file] [-elf] [-reloc][-ro-base address]

[-ropi]

[-rw-base address] [-rwpi] [-split]

[-scatter file][-debug|-nodebug][-remove?RO/RW/ZI/DBG]|-noremove] [-entry

location ]

[-keep section-id] [-first section-id] [-last section-id] [-libpath pathlist]

[-scanlib|-noscanlib] [-locals|-nolocals] [-callgraph] [-info topics] [-map]

[-symbols] [-symdefs file] [-edit file] [-xref] [-xreffrom object(section)] [-xrefto

object(section)] [-errors file] [-list file] [-verbose]

[-unmangled |-mangled] [-match crossmangled][-via file] [-strict]

[-unresolved symbol][-MI|-LI|-BI] [input-file-list]

上面各选项的含义分别为：

-help

这个选项会列出在命令行中常用的一些选项操作。

-vsn

这个选项显示出所用的armlink 的版本信息。

-partial

用这个选项创建的是部分链接的目标文件而不是可执行映像文件。

-output file

这个选项指定了输出文件名，该文件可能是部分链接的目标文件，也可能是

可执行映像文件。如果输出文件名没有特别指定的话，armlink 将使用下面的默

认：

如果输出是一个可执行映像文件，则生成的输出文件名为__image.axf；

如果输出是一个部分链接的目标文件，在生成的文件名为__object.o；

如果没有指定输出文件的路径信息，则输出文件就在当前目录下生成。如果

指定了路径信息，则所指定的路径成为输出文件的当前路径。

-elf

这个选项生成ELF 格式的映像文件，这也是armlink 所支持的唯一的一种输

出格式，这是默认选项。

-reloc

这个选项生成可重定址的映像。

一个可重定址的映像具有动态的段，这个段中包含可重定址信息，利用这些

信息可以在链接后，进行映像文件的重新定址；

-reloc，-rw-base 一起使用，但是如果没有-split 选项，链接时会产生错误。

-ro-base address

这个选项将包含有RO(Read-Only 属性)输出段的加载地址和运行地址设置

为address，该地址必须是字对齐的，如果没有指定这个选项，则默认的RO 基

地址值为0x8000。

-ropi

这个选项使得包含有RO 输出段的加载域和运行域是位置无关的。如果该选

项没有使用，则相应的域被标记为绝对的。通常每一个只读属性的输入段必须是

只读位置无关的。如果使用了这个选项，armlink 将会进行以下操作：

检查各段之间的重定址是否有效；

确保任何由armlink 自身生成的代码是只读位置无关的。

这里希望读者注意的是，ARM 工具直到armlink 完成了对输入段的处理后，

才能够决定最终的生成映像是否为只读位置无关的。这就意味着 ，即使为编译

器和汇编器指定了ROPI 选项，armlink 也可能会产生ROPI 错误信息。

-rw-base address

这个选项设置包含RW(Read/Write 属性)输出段的域的运行时地址，该地址

必须是字对齐的。

如果这个选项和-split 选项一起使用，将设置包含RW 输出段的域的加载和运行

时地址都设置在address 处。

-rwpi

这个选项使得包含有RW 和ZI(Zero Initialization，初始化为0)属性的输出段

的加载和运行时域为位置无关的。如果该选项没有使用，相应域标记为绝对的。

这个选项要求-rw-base 选项后有值，如果-rw-base 没有指定的话，默认其值为0，

即相当于-rw-base 0。通常每一个可写的输入段必须是可读/ 可写的位置无关的。

如果使用了该选项，armlink 会进行以下的操作：

检查可读/可写属性的运行域的输入段是否设置了位置无关属性；

检查在各段之间的重定址是否有效；

生成基于静态寄存器sb 的条目，这些在RO 和RW 域被拷贝和初始化的时

候会用到。

编译器并不会强制可写的数据一定要为位置无关的，这就是说，即使在为编

译器和汇编器指定了RWPI 选项，armlink 也可能生成数据不是RWPI 的信息。

-split

这个选项将包含RO 和RW 属性的输出段的加载域，分割成2 个加载域。一

个是包含RO 输出段的加载域，默认的加载地址为0x8000，但是可以用-ro-base

选项设置其他的地址值，另一个加载域包含RO 属性的输出段，由-rw-base 选项

指定加载地址，如果没有使用-rw-base 选项的话，默认使用的是-rw-base 0。

-scatter file

这个选项使用在file 中包含的分组和定位信息来创建映像内存映射。

注意， 如果使用了该选项的话， 必须要重新实现堆栈初始化函数

__user_initial_stackheap()。

-debug

这个选项使输出文件包含调试信息，调试信息包括，调试输入段，符号和字

符串表。这是默认的选项。

-nodebug

这个选项使得在输出文件中不包含调试信息。生成的映像文件短小，但是不

能进行源码级的调试。armlink 对在输入的目标文件和库函数中发现的任何调试

输入段都不予处理，当加载映像文件到调试器中的时候，也不包含符号和字符串

信息表。这个选项仅仅是对装载到调试器的映像文件的大小有影响，但是对要下

载到目标板上的二进制代码的大小没有任何影响。

如果用armlink 进行部分链接生成目标文件而不是映像文件，则虽然在生成

的目标文件中不含有调试输入段，但是会包含符号和字符串信息表。

这里特别请读者注意的是：

如果要在链接完成后使用fromELF 工具的话，不可使用-nodebug 选项，这是

因为如果生成的映像文件中不包含调试信息的话，则有下面的影响：

fromELF 不能将映像文件转换成其他格式的文件；

fromELF 不能生成有意义的反汇编列表。

-remove (RO/RW/ZI/DBG)

使用这个选项会将在输入段未使用的段从映像文件中删除。如果输入段中含

有映像文件入口点或者该输入段被一个使用的段所引用，则这样的输入段会当作

已使用的段。

在使用这个选项时候要注意，不要删除异常处理函数。使用-keep 选项来标识异

常处理函数，或用ENTRY 伪指令标明是入口点。

为了更精确的控制删除未使用的段，可以使用段属性限制符。可以使用以下

的段属性限制符：

RO

删除所有未使用的RO 属性的段；

RW

删除所有未使用的RW 属性的段；

ZI

删除所有未使用的ZI 属性的段；

DBG

删除所有未使用的DEBUG 属性的段。

这些限制符出现的顺序是任意的，但是它们必须要有”( )”括住，多个限制符

之间要用符号”/”进行间隔。ADS 软件中默认选项是-remove (RO/RW/ZI/DBG)。

如果没有指定段属性限制符，则所有未使用的段都会被删除。因为-remove

就等价于-remove(RO/RW/ZI/DBG)选项。

-noremove

这个选项保留映像文件中所有未被使用的段。

-entry location

这个选项指定映像文件中唯一的初始化入口点。一个映像文件可以包含多个

入口点，使用这个命令定义的初始化入口点是存放在可执行文件的头部，以供加

载程序加载时使用。当一个映像文件被装载时，ARM 调试器使用这个入口点地

址来初始化PC 指针。初始化入口点必须满足下面的条件：

映像文件的入口点必须位于运行域内；

运行域必须是非覆盖的，并且必须是固定域(就是说，加载域和运行域的地

址相同)。

在这里可以用以下的参数代替location 参数：

1. 入口点地址：这是一个数值，例如-entry 0x0；

2. 符号：该选项指定映像文件的入口点为该符号所代表的地址处，比如：

-entry int_handler

表示程序入口点在符号int_handler 所在处。

如果该符号有多处定义存在，armlink 将产生出错信息。

offset+object(section)：

该选项指定在某个目标文件的段的内部的某个偏移量处为映像文件的入口

地址，例如：

-entry 8+startup(startupseg)

如果偏移量值为0，可以简写成object(section)，如果输入段只有一个，则可

以简化为object。

-keep section-id

使用该选项，可以指定保留一个输入段，这样的话，即使该输入段没有在映

像文件中使用，也不会被删除。参数section-id 取下面一些格式：

1．symbol

该选项指定定义symbol 的输入段不会在删除未使用的段时被删除。如果映

像文件中有多处symbol 定义存在，则所有包含symbol 定义的输入段都不会被删

除。例如：

-keep int_handler

则所有定义int_handler 的符号的段都会保留，而不被删除。

为了保留所有含有以_handler 结尾的符号的段，可以使用如下的选项：

-keep *_handler

2．object(section)

这个选项指定了在删除未使用段时，保留目标文件中的section 段。输入段和

目标名是不区分大小写的，例如，为了在目标文件vectors.o 中保留vect 段，

使用：

-keep vectors.o(vect)

为了保留vectors.o 中的所有以vec 开头的段名，可以使用选项：

-keep vectors.o(vec*)

3．object

这个选项指定在删除未使用段时，保留该目标文件唯一的输入段。目标名是

不区分大小写的，如果使用这个选项的时候，目标文件中所含的输入段不止

一个的话，armlink 会给出出错信息。比如，为了保留每一个以dsp 开头的只

含有唯一输入段的目标文件，可以使用如下的选项：

-keep dsp*.o

-first section-id

这个选项将被选择的输入段放在运行域的开始。通过该选项，将包含复位和

中断向量地址的段放置在映像文件的开始，可以用下面的参数代替section-id:

1．symbol

选择定义symbol 的段。禁止指定在多处定义的symbol，因为多个段不能同

时放在映像文件的开始。

2．object(section)

从目标文件中选择段放在映像文件的开始位置。在目标文件和括号之间不允

许存在空格，例如

-first init.o(init)

3．object

选择只有一个输入段的目标文件。如果这个目标文件包含多个输入段，

armlink 会产生错误信息。用这个选项的例子如下：

-first init.o

这里希望读者注意的是：

使用-first 不能改变在域中按照RO 段放在开始，接着放置RW 段，最后放

置ZI 段的基本属性排放顺序。如果一个域含有RO 段，则RW 或ZI 段就不能放

在映像文件的开头。类似地，如果一个域有RO 或RW 段，则ZI 段就不能放在

文件开头。

两个不同的段不能放在同一个运行时域的开头，所以使用该选项的时候只允

许将一个段放在映像文件的开头。

-last section-id

这个选项将所选择的输入段放在运行域的最后。例如，用这个选项能够强制

性的将包含校验和的输入段放置在RW 段的最后。使用下面的参数可以替换

section-id。

1. symbol

选择定义symbol 的段放置在运行域的最后。不能指定一个有多处定义的

symbol。使用该参数的例子如下：

-last checksum

2. object(section)

从目标文件中选择section 段。在目标文件和后面的括号间不能有空格，用

该参数的例子为：

-last checksum.o(check)

3. object

选择只有一个输入段的目标，如果该目标文件中有多个输入段，armlink 会

给出出错信息。

和-first 选项一样，需要读者注意的是;

使用-last 选项不能改变在域中将RO 段放在开始，接着放置RW 段，最后放

置ZI 段的输出段基本的排放顺序。如果一个域含有ZI 段，则RW 段不能放在最

后，如果一个域含有RW 或ZI 段，则RO 段不能放在最后。

在同一个运行域中，两个不同的段不能同时放在域的最后位置。

-libpath pathlist

这个选项为ARM 标准的C 和C++库指定了搜索路径列表。

注意，这个选项不会影响对用户库的搜索路径。

这个选项覆盖了环境变量ARMLIB 所指定的路径。参数pathlist 是一个以逗

号分开的多个路径列表，即为path1, path2,... pathn，这个路径列表只是用来搜索

要用到的ARM 库函数。默认的，对于包含ARM 库函数的默认路径是由环境变

量ARMLIB 所指定的。

-scanlib

这个选项启动对默认库(标准ARM C 和C++库)的扫描以解析引用的符号。

这个选项是默认的设置。

-noscanlib

该选项禁止在链接时候扫描默认的库。

-locals

这个选项指导链接器在生成一个可执行映像文件的时候，将本地符号添加到

输出符号信息表中。该选项是默认设置。

-nolocals

这个选项指导链接器在生成一个可执行映像文件的时候，不要将本地符号添

加到输出符号信息表中。如果想减小输出符号表的大小，可以使用该选项。

-callgraph

该选项创建一个HTML 格式的静态函数调用图。这个调用图给出了映像文

件中所有函数的定义和引用信息。对于每一个函数它列出了：

1. 函数编译时候的处理器状态(ARM 状态还是Thumb 状态)；

2. 调用func 函数的集合；

3. 被func 调用的函数的集合；

4. 在映像文件中使用的func 寻址的次数。

此外，调用图还标识了下面的函数：

1. 被interworking veneers 所调用的函数；

2. 在映像文件外部定义的函数；

3. 允许未被定义的函数(以weak 方式的引用)；

静态调用图还提供了堆栈使用信息，它显示出了：

1. 每个函数所使用的堆栈大小；

2. 在全部的函数调用中，所用到的最大堆栈大小。

-info topics

这个选项打印出关于指定种类的信息，这里的参数topics 是指用逗号间隔的

类型标识符列表。类型标识符列表可以是下面所列出的任意一个：

1. sizes

为在映像文件中的每一个输入对象和库成员列出了代码和数据(这里的数据

包括，RO 数据，RW 数据，ZI 数据和Debug 数据)的大小；

2. totals

为输入对象文件和库，列出代码和数据(这里的数据包括，RO 数据，RW 数

据，ZI 数据和Debug 数据) 总的大小；

3. veneers

给出由armlink 生成的veneers 的详细信息；

4. unused

列出由于使用-remove 选项而从映像文件中被删除的所有未使用段。

注意：在信息类型标识符列表之间不能存在空格，比如可以输入

-info sizes,totals

但是不能是

-info sizes, totals(即在逗号和totals 之间有空格是不允许的)

-map

这个选项创建映像文件的信息图。映像文件信息图包括映像文件中的每个加

载域，运行域和输入段的大小和地址，这里的输入段还包括调试信息和链接器产

生的输入段。

-symbols

这个选项列出了链接的时候使用的每一个局部和全局符号。该符号还包括链

接生成的符号。

-symdefs file

这个选项创建一个包含来自输出映像文件的全局符号定义的符号定义文件。

默认的，所有的全局符号都写入到符号定义文件中。如果文件file 已经存在，

链接器将限制生成在已存在的symdefs 文件中已列出的符号。

如果文件file 没有指明路径信息，链接器将在输出映像文件的路径搜索文件。

如果文件没有找到，就会在该目录下面创建文件。

在链接另一个映像文件的时候，可以将符号定义文件作为链接的输入文件。

-edit file

这个选项指定一个steering 类型的文件，该文件包含用于修改输出文件中的

符号信息表的命令。可以在steering 文件中指定具有以下功能的命令：

隐藏全局符号。使用该选项可以在目标文件中隐藏指定的全局符号。

重命名全局符号。使用这个选项可以解决符号命名冲突的现象。

-xref

该选项列出了在输入段间的所有交叉引用。

-xreffrom object(section)

这个选项列出了从目标文件中的输入段对其他输入段的交叉引用。如果想知

道某个指定的输入段中的引用情况，就可以使用该选项。

-xrefto object(section)

该选项列出了从其他输入段到目标文件输入段的引用。

-errors file

使用该选项会将诊断信息从标准输出流重定向到文件file 中。

-list file

该选项将-info，-map，-symbols，-xref，-xreffrom 和 –xrefto 这几个选项的

输出重新定向到文件file 中。

如果文件file 没有指定路径信息，就会在输出路径创建该文件，该路径是输

出映像文件所在的路径。

-verbose

这个选项将有关链接操作的细节打印出来，包括所包括的目标文件和要用到

的库。

-unmangled

该选项指定链接器在由xref，-xreffrom，-xrefto，和-symbols 所生成的诊断

信息中显示出unmangled C++符号名。

如果使用了这个选项，链接器将unmangle C++符号名以源码的形式显示出

来。这个选项是默认的。

-mangled

这个选项指定链接器显示由-xref，-xreffrom，-xrefto，和-symbols 所产生的

诊断信息中的mangled C++符号名。如果使用了该选项，链接器就不会unmangle

C++符号名了。符号名是按照它们在目标符号表中显示的格式显示的。

-via file

该选项表示从文件file 中读取输入文件名列表和链接器选项。

在armlink 命令行可以输入多个-via 选项，当然，-via 选项也能够不含在一

个via 文件中。

-strict

这个选项告诉链接器报告可能导致错误而不是警告的条件。

-unresolved symbol

这个选项将未被解析的符号指向全局符号symbol。Symbol 必须是已定义的

全局符号，否则，symbol 会当作一个未解析的符号，链接将以失败告终。这个

选项在自上而下的开发中尤为有用，在这种情况下，通过将无法指向相应函数的

引用指向一个伪函数的方法，可以测试一个部分实现的系统。

该选项不会显示任何警告信息。

input-file-list

这是一个以空格作为间隔符的目标或库的列表。

有一类特殊的目标文件，即symdef 文件，也可以包含在文件列表中，为生成的

映像文件提供全局的symbol 值。

在输入文件列表中有两种使用库的方法。

1. 指定要从库中提取并作为目标文件添加到映像文件中的特定的成员。

2. 指定某库文件，链接器根据需要从其中提取成员。