深入浅出计算机组成原理学习笔记:第八讲

一、为什么会Permission denied

1、测试用例

不知道你注意到没,在过去的几节,我们通过gcc生成的文件和objdump获取到的汇编指令都有些小小的问题,我们先把前面的函数示例,拆分成两个文件add_lib.c 和 link_example.c。

1、创建示例文件

1、add_lib.c

1
2
3
4
5
[root@luoahong c]# cat add_lib.c
int add(int a, int b)
{
    return a+b;
}

 2、link_example.c

1
2
3
4
5
6
7
8
9
[root@luoahong c]# cat link_example.c
#include <stdio.h>
int main()
{
    int a = 10;
    int b = 5;
    int c = add(a, b);
    printf("c = %d\n", c);
}

2、我们通过 gcc 来编译这两个文件,然后通过objdump 命令看看它们的汇编代码。

1
[root@luoahong c]# gcc -g -c add_lib.c link_example.c

3、通过 objdump 命令看看它们的汇编代码。

objdump -d -M intel -S add_lib.o

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
[root@luoahong c]# objdump -d -M intel -S add_lib.o
 
add_lib.o:     file format elf64-x86-64
 
 
Disassembly of section .text:
 
0000000000000000 <add>:
int add(int a, int b)
{
   0:   55                      push   rbp
   1:   48 89 e5                mov    rbp,rsp
   4:   89 7d fc                mov    DWORD PTR [rbp-0x4],edi
   7:   89 75 f8                mov    DWORD PTR [rbp-0x8],esi
    return a+b;
   a:   8b 45 f8                mov    eax,DWORD PTR [rbp-0x8]
   d:   8b 55 fc                mov    edx,DWORD PTR [rbp-0x4]
  10:   01 d0                   add    eax,edx
}
  12:   5d                      pop    rbp
  13:   c3                      ret

objdump -d -M intel -S link_example.o

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
[root@luoahong c]# objdump -d -M intel -S link_example.o
 
link_example.o:     file format elf64-x86-64
 
 
Disassembly of section .text:
 
0000000000000000 <main>:
#include <stdio.h>
int main()
{
   0:   55                      push   rbp
   1:   48 89 e5                mov    rbp,rsp
   4:   48 83 ec 10             sub    rsp,0x10
    int a = 10;
   8:   c7 45 fc 0a 00 00 00    mov    DWORD PTR [rbp-0x4],0xa
    int b = 5;
   f:   c7 45 f8 05 00 00 00    mov    DWORD PTR [rbp-0x8],0x5
    int c = add(a, b);
  16:   8b 55 f8                mov    edx,DWORD PTR [rbp-0x8]
  19:   8b 45 fc                mov    eax,DWORD PTR [rbp-0x4]
  1c:   89 d6                   mov    esi,edx
  1e:   89 c7                   mov    edi,eax
  20:   b8 00 00 00 00          mov    eax,0x0
  25:   e8 00 00 00 00          call   2a <main+0x2a>
  2a:   89 45 f4                mov    DWORD PTR [rbp-0xc],eax
    printf("c = %d\n", c);
  2d:   8b 45 f4                mov    eax,DWORD PTR [rbp-0xc]
  30:   89 c6                   mov    esi,eax
  32:   bf 00 00 00 00          mov    edi,0x0
  37:   b8 00 00 00 00          mov    eax,0x0
  3c:   e8 00 00 00 00          call   41 <main+0x41>
}
  41:   c9                      leave
  42:   c3                      ret

2、文件没有执行权限

1
2
[root@luoahong c]# ./link_example.o
-bash: ./link_example.o: Permission denied

3、通过chmod命令赋予文件可执行的权限,故障依旧

1
2
3
4
5
[root@luoahong c]# chmod +x link_example.o
[root@luoahong c]# ll link_example.o
-rwxr-xr-x 1 root root 3408 May 16 17:06 link_example.o
[root@luoahong c]# ./link_example.o
-bash: ./link_example.o: cannot execute binary file

我们再仔细看一下 objdump 出来的两个文件的代码,会发现两个程序的地址都是从 0 开始的。如果地址是一样的,程序如果需要通过 call 指令调用函数的话,它怎么知道应该跳转到哪一个文件里呢?

这么说吧,无论是这里的运行报错,还是 objdump 出来的汇编代码里面的重复地址,都是因为add_lib.o 以及 link_example.o 并不一个可执行文件(Executable Program),而是目标文

件(Object File)。只有通过链接器(Linker)把多个目标文件以及调用的各种函数库链接起来,我们才能得到一个可执行文件。

4、通过gcc的-o参数完美解决Permission denied

 我们通过 gcc 的 -o 参数,可以生成对应的可执行文件,对应执行之后,就可以得到这个简单的加法调用函数的结果。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
[root@luoahong c]# gcc -o link-example add_lib.o link_example.o
[root@luoahong c]# ll
total 44
-rw-r--r-- 1 root root   43 May 16 17:04 add_lib.c
-rw-r--r-- 1 root root 2576 May 16 17:38 add_lib.o
-rw-r--r-- 1 root root  140 May 16 14:21 function_example.c
-rw-r--r-- 1 root root 3288 May 16 14:22 function_example.o
-rwxr-xr-x 1 root root 9912 May 16 17:39 link-example
-rw-r--r-- 1 root root  115 May 16 17:05 link_example.c
-rw-r--r-- 1 root root 3408 May 16 17:38 link_example.o
-rw-r--r-- 1 root root   98 May 14 17:42 test.c
-rw-r--r-- 1 root root 2632 May 14 17:42 test.o
[root@luoahong c]# ./link-example
c = 15

 

二、C 语言程序是如何变成一个可执行程序的。

实际上,“C 语言代码 - 汇编代码 - 机器码” 这个过,在我们的计算机上进行的时候是由两部分组成的。

第一个部分由编译(Compile)、汇编(Assemble)以及链接(Link)三个阶段组成。在这三个阶段完成之后,我们就生成了一个可执行文件。

第二部分,我们通过装载器(Loader)把可执行文件装载(Load)到内存中。CPU 从内存中读取指令和数据,来开始真正执行程序。

三、ELF 格式和链接:理解链接过程

1、用objdump查看执行文件内容

程序最终是通过装载器变成指令和数据的,所以其实我们生成的可执行代码也并不仅仅是一条条的指令。我们还是通过objdump指令,把可执行文件内容拿出来看看

2、执行文件和目标代码的区别

1、和之前的目标代码长的差不多,但是长了很多,因为在linux下,可执行文件和目标文件所使用的都是一种叫ELF的文件格式,中文名字叫可执行与可链接文件格式,

2、这里面不仅存放了编译成汇编指令,还保留了很多别的数据

  比如我们过去所有 objdump 出来的代码里,你都可以看到对应的函数名称,像 add、main 等等,乃至你自己定义的全局可以访问的变量名称,都存放在这个 ELF 格式文件里。

  这些名字和它们对应的地址,在 ELF 文件里面,存储在一个叫作符号表的位置里。符号表相当于一个地址簿,把名字和地址关联了起来。

3、main 函数里调用add 的跳转地址,不再是下一条指令的地址了,而是 add 函数的入口地址了

 

我们先只关注和我们的 add 以及 main 函数相关的部分。你会发现,这里面,main 函数里调用add 的跳转地址,不再是下一条指令的地址了,

而是 add 函数的入口地址了,这就是 EFL 格式和链接器的功劳。

四、EFL文件格式

 

ELF 文件格式把各种信息,分成一个一个的 Section 保存起来。ELF 有一个基本的文件头(File Header),用来表示这个文件的基本属性,比如是否是可执行文件,对应的CPU、操作系统等等,除了这些基本属性之外,大部分程序还有这么一些Section:

链接器会扫描所有输入的目标文件,然后把所有的符号表里的信息收集起来,构成一个全局的符号表,然后再根据重定位表把所有不确定要跳转地址的代码,

根据符号表里面的存储地址,进行一次修正,最后,把所有的目标文件的对应进行一次合并,变成了最终的可执行代码,这也是为什么,可执行文件里面的函数调用的地址都是正确的

在链接器把程序变成可执行文件之后,要装载器去执行程序就容易多了。装载器不再需要考虑地址跳转的问题,只需要解析 ELF 文件,把对应的指令和数据,加载到内存里面供 CPU 执行就可以了。

五、小结与延伸

讲到这里,相信你已经猜到,为什么同样一个程序,在Linux下可以执行而Windows下不能执行了?

1、其中一个非常重要的原因就是,两个操作系统下可执行文件的格式不一样

2、我们今天讲的事Linux下的ELF文件格式,而Windows的可执行文件格式是一种叫做PE的文件格式Linux下的装饰器只能解析ELF格式而不能解析PE格式而不能解析PE格式

3、如果我们有一个可以能够解析PE格式的装载器,我们就有可能在下Linux运行Windows里面也提供了WSL也就是Windows Subsystem for Linux,可以.解析和加载ELF格式的文件

我们去写可用的程序,也不仅仅是把所有代码放在一个文件里来编译执行,而是可以拆分成不同的函数库,最后通过一个静态链接的机制,

使得不同的文件之间既有分工有能通过静态链接来“合作“,变成了一个可执行的程序

4、对于ELF格式的文件,为了能够实现这样一个静态链接的机制,里面不只是简单罗列了程序所需要执行的指令,还会包括链接所需要的重定位表和符号表

posted @   活的潇洒80  阅读(1393)  评论(0编辑  收藏  举报
编辑推荐:
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
阅读排行:
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 【译】Visual Studio 中新的强大生产力特性
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 【设计模式】告别冗长if-else语句:使用策略模式优化代码结构
历史上的今天:
2018-05-16 pycharm的一些快捷键
点击右上角即可分享
微信分享提示