通过汇编简单C程序来理解计算机如何工作

最新推荐文章于 2024-11-01 15:32:36 发布

amjb67459

最新推荐文章于 2024-11-01 15:32:36 发布

阅读量112

点赞数

文章标签：操作系统运维

原文链接：http://www.cnblogs.com/newc/p/5222403.html

版权

试验截图

小小吐槽

汇编代码长度太长，不利于截图（主要是一页放不下整个代码）；且在实验楼环境中，毕竟虚拟机中，即便是阅读代码也不如本机来得自如方便。所以，试验截图仅仅为了说明我是确确实实在实验楼中做过这个试验，具体汇编代码分析，会有更具体的非截图显示的代码。

具体截图

汇编代码工作中的堆栈变化分析

以下代码都是在实验楼环境下试验之后，下载到本地的代码。

main.c文件

与老师代码不同的是，我加入了一些局部变量，同时f函数使其传入两个参数。

int f(int x, int y){
    int i = 1;
    int j = 2;
    int k = 3;
    return i + j + k + x + y;
}

int g(int x){
    return f(1, 2) + x;
}

int main(){
    int i = 1;
    return g(i) + 2;
}

去除干扰项后干净的main.o文件

先说下生成main.o的命令:

gcc –S –o main.s main.c -m32

-m32是为了在64位环境下生成生成32位的中间代码。

把前缀是.的无关项都去掉，就生成了下面所示的汇编代码了：

f:
    pushl   %ebp
    movl    %esp, %ebp
    subl    $16, %esp
    movl    $1, -12(%ebp)
    movl    $2, -8(%ebp)
    movl    $3, -4(%ebp)
    movl    -8(%ebp), %eax
    movl    -12(%ebp), %edx
    addl    %eax, %edx
    movl    -4(%ebp), %eax
    addl    %eax, %edx
    movl    8(%ebp), %eax
    addl    %eax, %edx
    movl    12(%ebp), %eax
    addl    %edx, %eax
    leave
    ret
g:
    pushl   %ebp
    movl    %esp, %ebp
    subl    $8, %esp
    movl    $2, 4(%esp)
    movl    $1, (%esp)
    call    f
    movl    8(%ebp), %edx
    addl    %edx, %eax
    leave
    ret
main:
    pushl   %ebp
    movl    %esp, %ebp
    subl    $20, %esp
    movl    $1, -4(%ebp)
    movl    -4(%ebp), %eax
    movl    %eax, (%esp)
    call    g
    addl    $2, %eax
    leave
    ret

程序执行过程中栈变化图示

程序执行过程中栈变化的分析

大体的程序执行流程，通过上述栈的示意图能看得很清楚。

执行call指令后，CPU把返回地址压入栈，再转移到被调用函数执行，esp在执行过程中随时会用到，用esp来存取局部变量是不现实的，所以用ebp来作为局部变量指针。

pushl %ebp
movl %esp, %ebp

leave

两相配合，使得esp可以更安全、自由的使用，同时借助ebp保证了每次都能返回正确的地方。

以ebp为中间分界线，ebp本身指向原ebp值，ebp+4指向由call指令推入的返回地址，ebp+8及以上则为调用函数传入被调用函数的实参值；ebp以下即为局部变量。

ebp所存放的就是在刚进入被调用函数时候的esp的值，需要在堆栈中预留空间来存放局部变量，使用subl $预留空间, %esp。这个预留空间是如何确定的，这是目前面临的问题。

堆栈预留空间

通过一些小的试验来猜测该预留多大的栈空间。

测试代码

void a(char c){}
void b(){
    char c = 1;
}
void c(){
    int i = 1;
    int j = 2;
    int k = 3;
    int n = 4;
    char c = 1;
}
void d(){
    a(1);
}
void e(){
    char c = 1;
    a(c);
}

所得汇编代码

只写出相关部分

a:
    ...
    subl    $4, %esp
    movl    8(%ebp), %eax
    movb    %al, -4(%ebp)
    ...
b:
    ...
    subl    $16, %esp
    movb    $1, -1(%ebp)
    ...
c:
    ...
    subl    $32, %esp
    movl    $1, -16(%ebp)
    movl    $2, -12(%ebp)
    movl    $3, -8(%ebp)
    movl    $4, -4(%ebp)
    movb    $1, -17(%ebp)
    ...
d:
    ...
    subl    $4, %esp
    movl    $1, (%esp)
    ...
e:
    ...
    subl    $20, %esp
    movb    $1, -1(%ebp)
    movsbl  -1(%ebp), %eax
    movl    %eax, (%esp)
    ...