gcc as ld概述

谁践踏了优雅 2021-12-02 00:16 251阅读 0赞

1、本文是关于gcc as ld的相关知识的概述。

2.**[gcc][]**安装的各个部分：

<table> 
 <tbody> 
 <tr> 
 <td> &nbsp; </td> 
 <td> g++ </td> 
 <td> c++编译器，链接时使用c++库 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> gcc </td> 
 <td> c编译器，链接时使用c库 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> cc1 </td> 
 <td> 实际的c编译器 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> cc1plus </td> 
 <td> 实际的c++编译器 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> collect2 </td> 
 <td> 使用collect2产生特定的全局初始化代码，后台处理是传递参数给ld完成实际的链接工作。 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> crt0.o </td> 
 <td> 初始化和结束代码 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> libgcc </td> 
 <td> 平台相关的库 </td> 
 </tr> 
 </tbody> 
</table>

gcc安装需要的文件：

gcc-core-3.4.6.tar.gz2          gcc核心编译器，默认只包含c编译器

gcc-g++-3.4.6.tar.bz2           g＋＋编译器

gcc-testsuite-3.4.6.tar.bz2     测试套件

./configure && make && make install

3.binutils安装的各个部分

<table> 
 <tbody> 
 <tr> 
 <td> &nbsp; </td> 
 <td> as </td> 
 <td> gnu汇编工具 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> gprof </td> 
 <td> 性能分析工具 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> ld </td> 
 <td> gnu链接器 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> make </td> 
 <td> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> objcopy </td> 
 <td> 目标文件从二进制格式翻译或复制到另一种 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> objdump </td> 
 <td> 显示目标文件的各种信息 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> strings </td> 
 <td> 显示文件的字符串 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> strip </td> 
 <td> 去除符合表 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> readelf </td> 
 <td> 分析elf并显示信息 </td> 
 </tr> 
 </tbody> 
</table>

链接器可以读写各种目标文件中的信息，通过BFD（binary file descriptor）提供的工具实现，BFD定义了类似a.out, elf, coff等目标文件的格式。

4.*gcc*预处理程序

1)define指令

\#可将传递的宏字符串化

\#\#将两个名字连接成一个（注意不是连接成字符串）

例：\#define  TEST(ARGTERM)        \\

printf(“the term “ \#ARGTERM “is a string\\n”)

使用\_\_VA\_ARGS\_\_定义可变参数宏

例：\#define err(...)    fprintf(stderr, \_\_VA\_ARGS)

err (“%s %d\\n”, “error code is”, 48);

为了消除无参数时的逗号，可以用下面方法定义：

\# define err(...)        fprintf(stderr, \#\#\_\_VA\_ARGS)

一种等同的方法是：

\#define dprintf(fmt, arg...)    printf(fmt, \#\#arg)

其他例：\#define  PASTE(a, b)          a\#\#b

2)error 和 warning指令

\#error “y here? bad boy!”

3)if, elif, else, endif指令

支持的运算符：加减乘除，位移，&&，||，!等

示例：\#if defined (CONFIG\_A) || defined (CONFIG\_B)

……

\#endif

4)gcc预定义宏

<table> 
 <tbody> 
 <tr> 
 <td> &nbsp; </td> 
 <td> __BASE_FILE__ </td> 
 <td> 完整的源文件名路径 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> __cplusplus </td> 
 <td> 测试c++程序 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> __DATE__ </td> 
 <td> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> __FILE__ </td> 
 <td> 源文件名 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> __func__ </td> 
 <td> 替代__FUNCTION__，__FUNCTION__以被GNU不推荐使用 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> __TIME__ </td> 
 <td> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> __LINE__ </td> 
 <td> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> __VERSION__ </td> 
 <td> gcc版本 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> &nbsp; </td> 
 <td> &nbsp; </td> 
 </tr> 
 </tbody> 
</table>

5)几个简单例子：

例1：

\#define   min(X,  Y)  \\

(\_\_extension\_\_ (\{typeof (X) \_\_x = (X), \_\_y = (Y);  \\

(\_\_x < \_\_y) ? \_\_x : \_\_y; \}))

\#define   max(X,  Y)  \\

(\_\_extension\_\_ (\{typeof (X) \_\_x = (X), \_\_y = (Y);  \\

(\_\_x > \_\_y) ? \_\_x : \_\_y; \}))

这样做的目的是消除宏对X，Y的改变的影响，例如：result = min(x++, --y); printf(x, y);

补充：圆括号定义的符合语句可以生成返回值，例：

result = (\{ int a = 5;

int b;

b = a + 3;

\});          将返回8

例2：

\#define dprintfbin(buf, size)   do\{  int i;            \\

printf("%s(%d)@",                           \\

\_\_FUNCTION\_\_, \_\_LINE\_\_);          \\

for(i = 0; i < size - 1; i++)\{              \\

if(0 == i % 16)                      \\

printf("\\n");                  \\

printf("0x%02x ", ((char\*)buf)\[i\]);  \\

\}                                           \\

printf("0x%02x\\n", ((char\*)buf)\[i\]);        \\

\}while(0)

这个比较简单，不用解释了

例3：

\#ifdef \_\_cplusplus

extern "C"\{

\#endif

int foo1(void);

int foo2(void);

\#ifdef \_\_cplusplus

\#endif

作用：在c＋＋程序中使用c函数及库，c＋＋编译程序时将函数名粉碎成自己的方式，在没有extern的情况下可能是\_Z3\_foo1，\_Z3\_foo2将导致连接错误，这里的extern表示在连接库时，使用foo1，foo2函数名。

5.gcc编译的一些知识

gcc  -E  hello.c  -o  hello.i             只预处理

gcc  -S  hello.c  -o  hello.s             只编译

gcc  -c  -fpic  first.c  second.c

编译成共享库：-fpic选项告诉连接器使用got表定位跳转指令，使加载器可以加载该动态库到任何地址（具体过程可在本文后面找到）

6.gcc对c语言的扩展

void fetal\_error()  \_\_attribute\_\_(noreturn); 声明函数：无返回值

\_\_attribute\_\_((noinline)) int foo1()\{……\}定义函数：不扩展为内联函数

int getlim()  \_\_attribute\_\_((pure, noinline));声明函数：不内联，不修改全局变量

void mspec(void)  \_\_attribute\_\_((section(“specials”)));声明函数：连接到特定节中

补充：除非使用-O优化级别，否则函数不会真正的内联。

其他属性：

<table> 
 <tbody> 
 <tr> 
 <td> 函数 </td> 
 <td> always_inline </td> 
 <td> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> 函数 </td> 
 <td> const </td> 
 <td> 同pure </td> 
 </tr> 
 <tr> 
 <td> 函数 </td> 
 <td> constructor </td> 
 <td> 加入到crt0调用的初始化函数表 </td> 
 </tr> 
 <tr> 
 <td> 函数 </td> 
 <td> deprecated </td> 
 <td> 无论何时调用函数，总是让编译器警告 </td> 
 </tr> 
 <tr> 
 <td> 函数 </td> 
 <td> destructor </td> 
 <td> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> 函数 </td> 
 <td> section </td> 
 <td> 放到命名的section中，而不是默认的.text </td> 
 </tr> 
 <tr> 
 <td> 变量 </td> 
 <td> aligned </td> 
 <td> 分配该变量内存地址时对齐属性，例： int value __attribute__((aligned(32))); </td> 
 </tr> 
 <tr> 
 <td> 变量 </td> 
 <td> deprecated </td> 
 <td> 无论何时引用变量，总是让编译器警告 </td> 
 </tr> 
 <tr> 
 <td> 变量 </td> 
 <td> packed </td> 
 <td> 使数据结构使用最小的空间，例如： typedef&nbsp; struct&nbsp; zrecord{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; char a; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; int b __attribute((packed)); }zrecord_t; 变量b在内存中和a没有空隙 </td> 
 </tr> 
 <tr> 
 <td> 变量 </td> 
 <td> section </td> 
 <td> 同上，例： int trigger __attribute__((section(“domx”))) = 0; </td> 
 </tr> 
 <tr> 
 <td> 类型 </td> 
 <td> aligned </td> 
 <td> 同上，例： struc blockm{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; char j[3]; }__attribute__((aligned(32))); </td> 
 </tr> 
 <tr> 
 <td> 类型 </td> 
 <td> deprecated </td> 
 <td> 同上 </td> 
 </tr> 
 <tr> 
 <td> 类型 </td> 
 <td> packed </td> 
 <td> 同上 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> &nbsp; </td> 
 <td> &nbsp; </td> 
 </tr> 
 </tbody> 
</table>

gcc内嵌函数：

void \*\_\_builtin\_return\_address(unsigned int level);

void \*\_\_builtin\_frame\_address(unsigned int leve);

以上两个函数可以用于回溯函数栈，如果编译器优化成noframe呢，谁愿意验证一下？

gcc使用\_\_asm\_\_, \_\_typeof\_\_, \_\_inline\_\_替代asm, typeof, inline。\-std和-ansi会使后者失去功能。

标识符局部化，使用\_\_label\_\_标签：

int main(……)\{

\_\_label\_\_ jmp1;

goto jmp1;

goto jmp1;                    /\* 错误：jmp1未定义 \*/

typeof的一些技巧：

<table> 
 <tbody> 
 <tr> 
 <td> &nbsp; </td> 
 <td> char *chptr </td> 
 <td> a char point </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> typeof (*chptr) ch; </td> 
 <td> a char </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> typeof (ch) *chptr2; </td> 
 <td> a char point </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> typeof(chptr) chparray[10]; </td> 
 <td> ten char pointers </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> typeof(*chptr) charray[10]; </td> 
 <td> ten char </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> typeof (ch) charray2[10]; </td> 
 <td> ten chars </td> 
 </tr> 
 </tbody> 
</table>

7.objdump程序

<table> 
 <tbody> 
 <tr> 
 <td> &nbsp; </td> 
 <td> -a </td> 
 <td> &nbsp; </td> 
 <td> 文档头文件信息 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> -d </td> 
 <td> &nbsp; </td> 
 <td> 可执行代码的反汇编 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> -D </td> 
 <td> &nbsp; </td> 
 <td> 反汇编可执行代码及数据 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> -f </td> 
 <td> &nbsp; </td> 
 <td> 完整文件头的内容 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> -h </td> 
 <td> &nbsp; </td> 
 <td> section表 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> -p </td> 
 <td> &nbsp; </td> 
 <td> 目标格式的文件头内容 </td> 
 </tr> 
 </tbody> 
</table>

调试器呢？网上的gdb教程已足够的多，不再画蛇添足了。

8.平台IA32的一些知识

指令码格式：

<table> 
 <tbody> 
 <tr> 
 <td> 指令前缀（0～4字节） </td> 
 <td> 操作码（1～3字节） </td> 
 <td> 可选修饰符（0～4字节） </td> 
 <td> 可选数据元素（0～4字节） </td> 
 </tr> 
 </tbody> 
</table>

指令前缀：较重要的有内存锁定前缀（smp系统中使用）

操作码：ia32唯一必须的部分

修饰符：使用哪些寄存器，寻址方式，SIB字节

数据元素：静态数值或内存位置

ia32比较重要的技术：指令预取，解码管线，分支预测，乱序执行引擎

（网络上可以找到很多相关的文章）

通用寄存器（8个32位）：eax, ebx, ecx, edx, esi, edi, esp, ebp

端寄存器（6个16位）：cs, ds, ss, es, fs, gs

指令指针（1个32位）：eip

浮点寄存器（8个80位）：形成一个fpu堆栈

控制寄存器（5个32位）：cr0, cr1, cr2, cr3, cr4

较重要的是cr0：控制操作模式和处理器状态

cr3：内存分页表描述寄存器

调试寄存器（8个32位）：

标识寄存器（1个32位）：状态，控制，系统（共使用17位）：陷阱，中断，进位，溢出等

说明：mmx使用fpu堆栈作为寄存器，sse, sse2, sse3没有寄存器，只提供相关的指令功能。

9.gas汇编工具：as（at&t风格）语法说明

<table> 
 <tbody> 
 <tr> 
 <td> 使用$标识立即数 </td> 
 </tr> 
 <tr> 
 <td> 再寄存器前面加上% </td> 
 </tr> 
 <tr> 
 <td> 源操作数在前，目标操作数在后 </td> 
 </tr> 
 <tr> 
 <td> 使用$获取变量地址 </td> 
 </tr> 
 <tr> 
 <td> 长跳转使用：ljmp $section, $offset </td> 
 </tr> 
 </tbody> 
</table>

一个简单的汇编语言程序框架：

.section .data

……

.section .bss

……

.section .text

.globl \_start

\_start:

……

范例：

\#cpuid2.s View the CPUID Vendor ID string using C library calls

.section .datatext

output:

.asciz "The processor Vendor ID is '%s'\\n"

.section .bss

.lcomm buffer, 12

.section .text

.globl \_start

\_start:

movl $0, %eax

cpuid

movl $buffer, %edi

movl %ebx, (%edi)

movl %edx, 4(%edi)

movl %ecx, 8(%edi)

pushl $buffer

pushl $output

call printf

addl $8, %esp

pushl $0

call exit

伪指令说明：

<table> 
 <tbody> 
 <tr> 
 <td> data </td> 
 <td> .ascii </td> 
 <td> 定义字符串，没有\0结束标记 </td> 
 </tr> 
 <tr> 
 <td> data </td> 
 <td> .asciz </td> 
 <td> 有\0结束标记 </td> 
 </tr> 
 <tr> 
 <td> data </td> 
 <td> .byte </td> 
 <td> 字节 </td> 
 </tr> 
 <tr> 
 <td> data </td> 
 <td> .int </td> 
 <td> 32位 </td> 
 </tr> 
 <tr> 
 <td> data </td> 
 <td> .long </td> 
 <td> 32位 </td> 
 </tr> 
 <tr> 
 <td> data </td> 
 <td> .shot </td> 
 <td> 16位 </td> 
 </tr> 
 <tr> 
 <td> bss </td> 
 <td> .lcomm </td> 
 <td> 对于上面的例子是声明12字节的缓冲区，l标识local，仅当前汇编程序可用 </td> 
 </tr> 
 <tr> 
 <td> bss </td> 
 <td> .comm </td> 
 <td> 通用内存区域 </td> 
 </tr> 
 <tr> 
 <td> data/text </td> 
 <td> .equ </td> 
 <td> .equ&nbsp; LINUX_SYS_CALL, 0x80 movl $ LINUX_SYS_CALL, %eax 说明：equ不是宏而是常量，会占据数据/代码段空间 </td> 
 </tr> 
 </tbody> 
</table>

指令集说明：

<table> 
 <tbody> 
 <tr> 
 <td> &nbsp; </td> 
 <td> movb/movw/movl </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> cmov </td> 
 <td colspan="6"> 根据cf, of, pf, zf等标识位判断并mov </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> xchg </td> 
 <td colspan="6"> 操作时会lock内存，非常耗费cpu时间 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> bswap </td> 
 <td colspan="6"> 翻转寄存器中字节序 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> xadd </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> pushx, popx </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> pushad, popad </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> jmp </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> call </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> cmp </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> jz/jb/jne/jge </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> loop </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> addb/addw/addl </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> subb/subw/subl </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> dec/inc </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> mulb/muw/mull 无符号乘法 </td> 
 <td colspan="2"> 源操作数长度 </td> 
 <td colspan="2"> 目标操作数 </td> 
 <td colspan="2"> 目标位置 </td> 
 </tr> 
 <tr> 
 <td colspan="2"> 8位 </td> 
 <td colspan="2"> al </td> 
 <td colspan="2"> ax </td> 
 </tr> 
 <tr> 
 <td colspan="2"> 16位 </td> 
 <td colspan="2"> ax </td> 
 <td colspan="2"> dx:ax </td> 
 </tr> 
 <tr> 
 <td colspan="2"> 32位 </td> 
 <td colspan="2"> eax </td> 
 <td colspan="2"> edx:eax </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> imul有符合乘法 </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> divb/divw/divl 无符合除法 （被除数在eax中，除数在指令中给出） </td> 
 <td> 被除数 </td> 
 <td colspan="2"> 被除数长 </td> 
 <td colspan="2"> 商 </td> 
 <td> 余数 </td> 
 </tr> 
 <tr> 
 <td> ax </td> 
 <td colspan="2"> 16位 </td> 
 <td colspan="2"> al </td> 
 <td> ah </td> 
 </tr> 
 <tr> 
 <td> dx:ax </td> 
 <td colspan="2"> 32位 </td> 
 <td colspan="2"> ax </td> 
 <td> dx </td> 
 </tr> 
 <tr> 
 <td> edx:eax </td> 
 <td colspan="2"> 64位 </td> 
 <td colspan="2"> eax </td> 
 <td> edx </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> idiv有符合除法 </td> 
 <td colspan="6"> &nbsp; </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> sal/shl/sar/shr </td> 
 <td colspan="6"> 移位 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> rol/ror/rcl/rcr </td> 
 <td colspan="6"> 循环移位 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> leal </td> 
 <td colspan="6"> 取地址：leal&nbsp; output, %eax 等同于：movl&nbsp; $output, %eax </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> rep </td> 
 <td colspan="6"> rep movsb&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;执行ecx次 </td> 
 </tr> 
 <tr> 
 <td> &nbsp; </td> 
 <td> lodsb/lodsw/lodsl stosb/stosw/stosl </td> 
 <td colspan="6"> 取存内存中的数据 </td> 
 </tr> 
 <tr> 
 <td>&nbsp;</td> 
 <td>&nbsp;</td> 
 <td>&nbsp;</td> 
 <td>&nbsp;</td> 
 <td>&nbsp;</td> 
 <td>&nbsp;</td> 
 <td>&nbsp;</td> 
 <td>&nbsp;</td> 
 </tr> 
 </tbody> 
</table>

gas程序范例（函数调用）：

文件1：area.s定义函数area

\# area.s - The areacircumference function

.section .text

.type area, @function

.globl area

area:

pushl %ebp

movl %esp, %ebp

subl $4, %esp

fldpi

filds 8(%ebp)

fmul %st(0), %st(0)

fmulp %st(0), %st(1)

fstps -4(%ebp)

movl -4(%ebp), %eax

movl %ebp, %esp

popl %ebp

ret

文件2：functest4.s调用者

\# functest4.s - An example of using external functions

.section .data

precision:

.byte 0x7f, 0x00

.section .bss

.lcomm result, 4

.section .text

.globl \_start

\_start:

nop

finit

fldcw precision

pushl $10

call area

addl $4, %esp

movl %eax, result

pushl $2

call area

addl $4, %esp

movl %eax, result

pushl $120

call area

addl $4, %esp

movl %eax, result

movl $1, %eax

movl $0, %ebx

int $0x80

10.读连接器和加载器的一些笔记，感谢原作者colyli at gmail dot com，看了他翻译的lnl及写的一个os，受益匪浅。

如果不是很深入的研究连接器和加载器的话，了解一些原理就足够了。举个例子说明吧：

1 \#include <unistd.h>

2 \#include <stdlib.h>

3 \#include <stdio.h>

4 \#include <string.h>

6 int a = 1;

7 int main()

8 \{

9         printf("value: %d\\n", a);

11         return 0;

12 \}

编译指令：gcc -c hello.c -o hello.o                   汇编

gcc -o hello hello.o                          编译

objdump -d hello.o                          反汇编目标文件

objdump -d hello                             反汇编可执行文件

比较两端结果：

<table> 
 <tbody> 
 <tr> 
 <td> objdump -d hello.o </td> 
 <td> objdump -d hello </td> 
 </tr> 
 <tr> 
 <td> 00000000 &lt;main&gt;: &nbsp;&nbsp; 0:&nbsp;&nbsp; 55&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;push&nbsp; %ebp &nbsp;&nbsp; 1:&nbsp;&nbsp; 89 e5&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;mov&nbsp; %esp,%ebp &nbsp;&nbsp; 3:&nbsp;&nbsp; 83 ec 08&nbsp;&nbsp; &nbsp;sub&nbsp;&nbsp; $0x8,%esp &nbsp;&nbsp; 6:&nbsp;&nbsp; 83 e4 f0&nbsp; &nbsp;&nbsp;&nbsp;and&nbsp; $0xfffffff0,%esp &nbsp;&nbsp; 9:&nbsp;&nbsp; b8 00 00 00 00&nbsp; mov&nbsp;&nbsp;&nbsp; $0x0,%eax &nbsp;&nbsp; e:&nbsp;&nbsp;&nbsp;83 c0&nbsp;0f&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;add&nbsp;&nbsp;&nbsp; $0xf,%eax &nbsp; 11:&nbsp;&nbsp;&nbsp;83 c0&nbsp;0f&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;add&nbsp;&nbsp;&nbsp; $0xf,%eax &nbsp; 14:&nbsp;&nbsp; c1 e8 04&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;shr&nbsp;&nbsp;&nbsp; $0x4,%eax &nbsp; 17:&nbsp;&nbsp; c1 e0 04&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;shl&nbsp; &nbsp;$0x4,%eax &nbsp;&nbsp;1a:&nbsp;&nbsp;&nbsp;29 c4&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;sub&nbsp; &nbsp;%eax,%esp &nbsp;&nbsp;1c:&nbsp;&nbsp; 83 ec 08&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;sub&nbsp; $0x8,%esp &nbsp;&nbsp;1f:&nbsp;&nbsp; ff&nbsp;35 00 00 00 00&nbsp;&nbsp;pushl&nbsp; 0x0 &nbsp; 25:&nbsp;&nbsp; 68&nbsp;00 00 00 00&nbsp;&nbsp;&nbsp;push&nbsp;&nbsp; $0x0 &nbsp;&nbsp;2a:&nbsp;&nbsp; e8&nbsp;fc ff ff ff call&nbsp; 2b &lt;main+0x2b&gt; &nbsp;&nbsp;2f:&nbsp;&nbsp;&nbsp;83 c4 10&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;add $0x10,%esp &nbsp; 32:&nbsp;&nbsp; b8 00 00 00 00 &nbsp;mov &nbsp;$0x0,%eax &nbsp; 37:&nbsp;&nbsp; c9&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; leave&nbsp; &nbsp; 38:&nbsp;&nbsp; c3&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;ret&nbsp;&nbsp;&nbsp; </td> 
 <td> 08048368 &lt;main&gt;: &nbsp;8048368: 55&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; push&nbsp;&nbsp; %ebp &nbsp;8048369: 89 e5&nbsp;&nbsp;&nbsp; mov&nbsp;&nbsp;&nbsp; %esp,%ebp &nbsp;804836b: 83 ec 08&nbsp; sub&nbsp;&nbsp;&nbsp; $0x8,%esp &nbsp;804836e: 83 e4 f0&nbsp; and&nbsp;&nbsp;&nbsp; $0xfffffff0,%esp &nbsp;8048371: b8 00 00 00 00 &nbsp;mov &nbsp;$0x0,%eax &nbsp;8048376:&nbsp;83 c0&nbsp;0f&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;add &nbsp;$0xf,%eax &nbsp;8048379:&nbsp;83 c0&nbsp;0f&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;add&nbsp;&nbsp; $0xf,%eax &nbsp;804837c: c1 e8 04&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;shr&nbsp;&nbsp; $0x4,%eax &nbsp;804837f:&nbsp; c1 e0 04&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;shl&nbsp;&nbsp; $0x4,%eax &nbsp;8048382:&nbsp;29 c4&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;sub&nbsp; %eax,%esp &nbsp;8048384: 83 ec 08&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;sub&nbsp;&nbsp; $0x8,%esp &nbsp;8048387: ff&nbsp;35 94 95 04 08&nbsp;pushl 0x8049594 &nbsp;804838d: 68&nbsp;84 84 04 08&nbsp; push $0x8048484 &nbsp;8048392:&nbsp;&nbsp; e8&nbsp;19 ff ff ff&nbsp;&nbsp;&nbsp;call&nbsp; 80482b0 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&lt;printf@plt&gt; &nbsp;8048397:&nbsp;83 c4 10&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;add&nbsp; $0x10,%esp &nbsp;804839a:&nbsp; b8 00 00 00 00 mov $0x0,%eax &nbsp;804839f: c9&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;leave&nbsp; &nbsp;80483a0: c3&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ret&nbsp;&nbsp;&nbsp; &nbsp;80483a1: 90&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;nop&nbsp;&nbsp;&nbsp; &nbsp;80483a2: 90&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;nop&nbsp;&nbsp;&nbsp; &nbsp;80483a3: 90&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;nop&nbsp;&nbsp;&nbsp; </td> 
 </tr> 
 </tbody> 
</table>

简单说明：由于程序运行时访问内存，执行跳转都需要确切的地址。所以汇编处理的目标文件里面没有包含，而是把这个工作放到连接器中：即定位地址。

当程序需要动态链接到某个库上时，使用该库的got表动态定位跳转即可。

具体可以看colyli大侠的《链接器和加载器Beta 2》，及《从程序员角度看ELF》

11.连接器脚本ld—script（相关内容来自《GLD中文手册》）

ld --verbose查看默认链接脚本

ld把一定量的目标文件跟档案文件连接起来,并重定位它们的数据,连接符号引用.一般在编译一个程序时,最后一步就是运行ld。

实例1：

SECTIONS  
\{  
      . = 0x10000;  
      .text : \{ \*(.text) \}  
      . = 0x8000000;  
      .data : \{ \*(.data) \}  
      .bss : \{ \*(.bss) \}  
\}

注释：“.”是定位计数器，设置当前节的地址。

实例2：

floating\_point = 0;  
    SECTIONS  
    \{

. = ALIGN(4);  
      .text :  
        \{  
          \*(.text)  
           \_etext = .;

PROVIDE(etext = .);  
    \}

. = ALIGN(4);  
      \_bdata = (. + 3) & ~ 3;  
      .data : \{ \*(.data) \}  
    \}

注释：定义一个符合\_etext，地址为.text结束的地方，注意源程序中不能在此定义该符合，否则链接器会提示重定义，而是应该象下面这样使用：

extern char \_etext;

但是可以在源程序中使用etext符合，连接器不导出它到目标文件。

实例3：

SECTIONS \{  
      outputa 0x10000 :  
        \{  
        all.o  
        foo.o (.input1)  
        \}  
      outputb :  
        \{  
        foo.o (.input2)  
        foo1.o (.input1)  
        \}  
      outputc :  
        \{  
        \*(.input1)  
        \*(.input2)  
        \}  
  \}

这个例子是一个完整的连接脚本。它告诉连接器去读取文件all.o中的所有节，并把它们放到输出节outputa的开始位置处， 该输出节是从位置0x10000处开始的。从文件foo.o中来的所有节.input1在同一个输出节中紧密排列。 从文件foo.o中来的所有节.input2全部放入到输出节outputb中，后面跟上从foo1.o中来的节.input1。来自所有文件的所有余下的.input1和.input2节被写入到输出节outputc中。

示例4：连接器填充法则：

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

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

示例5：VMA和LMA不同的情况

SECTIONS  
      \{  
      .text 0x1000 : \{ \*(.text) \_etext = . ; \}  
      .mdata 0x2000 :  
        AT ( ADDR (.text) + SIZEOF (.text) )  
        \{ \_data = . ; \*(.data); \_edata = . ;  \}  
      .bss 0x3000 :  
        \{ \_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 < &\_edata) \{ 
      \*dst++ = \*src++; 
    \}

/\* Zero bss \*/ 
    for (dst = &\_bstart; dst< &\_bend; dst++) 
      \*dst = 0;

示例6：linux-2.6.14/arch/i386/kernel $ vi vmlinux.lds.S

linux内核的链接脚本，自行分析吧，有点复杂哦。

文章转载自：http://www.cppblog.com/jinglexy/archive/2007/04/19/22298.html

[gcc]: http://blog.csdn.net/shanzhizi