loaders& linkers

今天把chinalinux翻译的loaders & linkers 大致翻了一下，想找到一些关于前两天编译调试中的问题，总算是有点收获的。

.text .data .bss这三个大段都是由各目标文件的相应段组合而成的。在写链接脚本文件的时候，以下面这个为例吧。

SECTIONS {
     . = 0x30000000;
     .text           :    { *(.text) }
     .rodata ALIGN(4) : {*(.rodata)}
     .data ALIGN(4) : { *(.data) }
     .bss ALIGN(4)   : { *(.bss)   *(COMMON) }
}

这是一个代码段和数据段放在一起的。第一句话，表示当前地址是0x30000000，然后是以下各段的名字，注意这里的段名不像DSP里面那样可以自己定义的，都是内部自带的段名。在UNIX下的连接器，还有几种段名，不过最常用的就是以上的了。

*（common）这个段是是一个公共块，顾名思义就是不同文件之间相互引用的数据区，根据连接器的特点，它必须是被放在.bss段的后面。

一个完整的gcc下的链接脚本可以如下所示。

OUTPUT_FORMAT("coff-i386")
SEARCH_DIR(/usr/local/lib);
ENTRY(_start)
SECTIONS
{

.text SIZEOF_HEADERS : {
    *(.text)      
}
.data 0x400000 + (. & 0xffc00fff) : {
    *(.data)  
}
.bss SIZEOF(.data) + ADDR(.data) :
{
    *(.bss)
    *(COMMON)
}
.stab 0 (NOLOAD) :
{
    [ .stab ]
}
.stabstr 0 (NOLOAD) :
{
    [ .stabstr ]
}
}

 

 

前几行定义了输出的格式，它们必须出现在编译到连接器中的格式表中，然后是要查找目标代码库的地方，缺省入口点的名字，在这里就是_start。然后再列出输出文件中的区。 在区名字后面的可选的值是说这个区从哪里开始， 这样.text区紧接着文件头部。在输出文件的.text区中含有所有输入文件中的.init区，然后是.text区和.init区。连接器定义在.fini区后面的符号etext。然后脚本将原来的.data区在文本区后面大概0x400000左右的4k页边界处开始，然后是所有输入文件中的.data区，后面定义符号edata。然后是紧接着数据区的.bss
区，包含所有的输入的.bss区以及任何带有end标记bss的结束的公共块。(COMMON是脚本语言中的一个保留字。)在这之后是从输入文件中相关部分收集的用于符号表入口两个区，但在运行的时候并不载入到系统中，因为只有调试器才会使用这些符号。连接器脚本语言要比这个简单的例子灵活的多，足够描述从简单的DOS可执行文件到到Windows PE可执行文件到复杂的覆盖分配中的所有内容。