目标文件的问题

sqfasd

有一天你好像没搞清楚，文件本来就可以当作二进制码，不论是文件头还是正文
信息头作为文件格式的一部分，肯定是必须的，具体怎样跟解析这个文件的程序有关，比如linker或者loader

zhaohongjian000

你可能需要这样的两个东西：1.ELF规范的文档，可以在ELF格式的英文wiki上找到；2.libelf，用于生成、修改ELF文件的库。

landker

zhaohongjian000 发表于 2013-08-09 21:31
你可能需要这样的两个东西：1.ELF规范的文档，可以在ELF格式的英文wiki上找到；2.libelf，用于生成、修改EL ...

对于 hello.c , 假设代码为：

void main()
{
      int c = 1;
}

1）编译生成 hello.o，并指定该目标文件（hello.o）的格式为 elf，即带elf头

2）简单编写一个入口函数（带 _start）的汇编文件，并编译成 start.o，同样为 elf 格式

3）链接（ld）生成可执行文件 hello，并指定其格式为 elf

我相信一般的编译步骤为以上的3步（当然可以更详细的），我的疑问是关于 hello.o 和 hello 之间的区别（即 第2步 和 第3步 得出的文件），个人认为：

相同点：hello.o 和 hello 都是目标文件，且都是 elf 格式的；

不同点：hello指定了入口函数（在加载时可以直接执行），而 hello.o 却没有（只能是一个“中间”文件）。


是这样吗？

zhaohongjian000

回复 13# landker


    没这么简单，建议你还是先找ELF的文档看看吧，ELF格式的文件大体有三种：可重定位的，就是你上面说的hello.o；可执行的，对应你上面说的hello；共享目标文件，就是.so结尾的共享库。

sqfasd

虽然两者都是elf，遵循同样的格式规范，但内容不一样啊，你需要看的是链接是怎样一个步骤，我可以给你提两点，一个是区块合并，一个是地址重定向，你再去读读那本书，静态链接和动态链接，就一目了然了

sqfasd

理论上来说，目标文件也是可以执行的，只是目标文件不是一个完整的程序，要依赖很多运行时库，还有目标文件之间的依赖，比如全局变量，所以才要链接这一步啊，真的得认真看书，能省很多时间

landker

回复 16# sqfasd

1. // 文件1：test.asm
   
2. 
   
3.         [BITS        32]
   
4. 1)        global        L0
   
5. 2)        extern        L1
   
6. 
   
7.         [section .data]
   
8. 3)        val        resb        4
   
9. 
   
10.         [section .text]
    
11. 
    
12. 4)        L0:
    
13. 5)                mov        eax, 1
    
14. 6)                mov        ebx, 2
    
15. 7)                add        eax, ebx
    
16. 
    
17. 8)                ret
    
18. 
    
19. // 文件2：start.asm
    
20.         [BITS        32]
    
21.         extern        L0
    
22.         [section .text]
    
23.         global        _start
    
24. 
    
25.         _start:
    
26.                 ......
    
27. 
    
28.                 push        ebx               
    
29.                 push        eax               
    
30.                 call        L0
    
31.                 add        esp, 8               
    
32.                
    
33.                 ......

复制代码

按照nasm所附带的文档，一般的nasm指令格式如下：

        label:    instruction operands        ; comment

在翻译成机器码的过程中，label（如：L0, _start）会被解释成一个地址。对于上面的程序，第 1 ~ 3 句是伪指令，第 4 ~ 8 句是真正的汇编指令。在用gdb调试时（我用的不太熟练，只是设置了断点和程序反编译显示，即 b _start 和 disassemble L0/_start），发现第 4 ~ 8句是会真正对应机器码的（虽然gdb里没有看到对应的机器码，但是左边的虚拟内存地址在增加），而第 1 ~ 3 句却找不到在哪里（也许是我对gdb不太熟....）。

不过，印象中，伪指令（第1~3）是不会有对应的机器指令的。但这里就会产生一个问题，想请教一下， global/extern（第 1 句和 第 2 句），其真实的作用是什么？（如果删除了这2句，程序无法成功编译/链接）
   

sqfasd

回复 17# landker

很好理解阿，跟c语言并没有太多区别，global表示这个符号对外可见，也就是说全局的，可以被别的模块引用
extern就表示这个符号是引用自别的模块
这俩个字其实是声明的作用，目的是告诉链接器，该怎样看待它们所声明的符号，你把它们去掉，ld认为符号是内部的，就不往别的模块找了，当然就找不到了

   

landker

sqfasd 发表于 2013-08-12 16:07
回复 17# landker

很好理解阿，跟c语言并没有太多区别，global表示这个符号对外可见，也就是说全局的， ...

谢谢你的回复。其实我的意思是nasm是如何让 ld 知道该符号（如：L0, _start）是全局的.............

w_anthony

LZ到底想做什么？做编译器么？