实验8-过程调用的机器级表示

过程调用的机器级表示

1. P将入口参数（实参）放到Q能访问的地方（栈中）；

2. P保存返回地址（压栈），然后将控制转移到Q;

3. Q保存P的现场，并为自己的非静态局部变量分配空间；

4. 执行Q的过程体（函数体）；

5. Q恢复P的现场，释放局部变量空间；

6. Q取出返回地址，将控制转移到P

一个例子

问题描述

实验：编写如下程序，编译、运行、反汇编、调试
（1）分析哪些指令对应上述各步骤（如：将入口参数送入栈中、为非静态局部变量分配空间、保存调用者ebp值等）；
（2）画出调用swap过程前后的栈帧结构，标明主要内容，如参数的数值和栈帧地址、ebp和esp的值。

#include <stdio.h>

void swap(int *x,int *y)
{
	int t = *x;
	*x=*y;
	*y=t;
}

void main()
{
	int a=16,b=28;
	printf("before:\ta=%d\tb=%d\n",a,b);
	swap(&a,&b);
	printf("after:\ta=%d\tb=%d\n",a,b);
}

实验过程

（1）单步调试，程序断点停留在swap调用位置处：显示当前esp、ebp和eip内容，画出当前栈帧结构

（2）执行call指令之前的五条指令（si单机器指令运行）：显示esp、ebp和eip内容，画出当前栈帧结构

（3）执行call指令：显示esp、ebp和eip内容，画出当前栈帧结构

（4）进入swap过程执行，执行前两条指令：显示esp、ebp和eip内容，画出当前栈帧结构

前两条指令是保存ebp旧值改变ebp指向，为过程swap划分空间起始地址

执行第三条指令：显示esp、ebp和eip内容，画出当前栈帧结构

（5）执行swap过程体，运行至leave指令处：显示esp、ebp和eip内容，画出当前栈帧结构

（6）执行leave指令：显示esp、ebp和eip内容，画出当前栈帧结

（7）执行ret指令：显示esp、ebp和eip内容，画出当前栈帧结构

（8）执行call指令后的add指令：显示esp、ebp和eip内容，画出当前栈帧结构