庖丁解牛linux内核 百度云,庖丁解牛Linux内核-1

这个文集是用来记录 庖丁解牛Linux内核 这个课程的笔记和作业.错误之处,恳请指出.

实验目地

通过这个实验,主要了解到C函数的调用在汇编层面的逻辑.

实验内容

C程序

首先我们准备了一个简单的函数调用的c程序

int g(int x)

{

return x + 3;

}

int f(int x)

{

return g(x);

}

int main(void)

{

return f(8) + 1;

}

通过gcc -S -o main.S main,c -m32,可以获得main.S也就是该段代码的反汇编代码.去掉其中以"."开头的代码,因为这是汇编语言中的伪指令,是写给编译器看的,并不是真正的机器会执行的代码.然后我们得到下面的汇编代码:

g:

pushl %ebp

movl %esp, %ebp

movl 8(%ebp), %eax

addl $3, %eax

popl %ebp

ret

f:

pushl %ebp

movl %esp, %ebp

subl $4, %esp

movl 8(%ebp), %eax # 这里是要跳过call中入栈的eip,跳过前面看入栈的ebp,也就是4*2=8bytes,内存单位是1byte,那么8(%ebp)就是在ebp的基础上往前移8bytes,指向main里的立即数8.

movl %eax, (%esp)

call g

leave

ret

main:

pushl %ebp #从这一句开始执行, 把main函数的栈底地址入栈.

movl %esp, %ebp # 更新栈底地址

subl $4, %esp

movl $8, (%esp) #相当于push $8

call f # push 下条指令eip到栈中,然后修改eip为f的地址,跳到f处开始执行

addl $1, %eax

leave

ret

基本逻辑直接看我上面的注释.下面是几个注意的点

要注意的是除了最开始的初始化,esp指向的栈顶是当前有效数据的最低地址,而不是指向null的地址.那么

subl $4, %esp

movl $8, (%esp)

这两句其实就是push $8,为什么要分成两句我还不知道.

总结

计算机的工作原理其实就是讲一些代码放在连续的内存里,然后同时开辟一段堆和栈. 堆用来存储全局.

我们在调用函数时,在汇编层面的处理是:

先把CS:IP压入栈,以便函数结束后再接着当前流程执行

再把当前函数的栈顶压入

再从右到左压入函数变量