运行时存储空间结构PPT课件

1、 活动记录的详细结构 活动记录活动记录动态链地址返回地址返回值临时变量 形 参局部变量 过程层次空间大小 寄存器状态变量访问环境 spoffsetInitOff第1页/共17页AR中每一项的详细解释 sp:指向当前AR空间的首地址;(寄存器) 动态链地址:动态链地址对应的就是当前函数的调用函数的AR首地址; 返回地址: 保存本函数执行结束后应返回的代码地址; 即当前函数调用的下一条代码的地址; 活动记录长度:当前活动记录的空间大小; 过程层次:本函数的层数;第2页/共17页AR中每一项的详细解释 寄存器状态:保存在函数调用之前的所有寄存器的值; 返回值:保存函数的返回值; 访问环境: 保存相关

2、信息,方便确定变量的存储地址; 对于C语言来讲,可以不用(因为层数最大为1); 形参变量区:存放参数的值的空间; 局部变量区:存放局部变量的值的空间; 临时变量区:存放临时变量的值的空间;第3页/共17页AR的例子 #define n 2 int sum = 0; int fac(int i) if (i=0) return 1; if (i0) return -1; return (i*fac(i-1); void main () sum = fac(n); 第4页/共17页活动记录的管理 Who? 目标代码完成AR的管理; When? 函数调用时: f(e1, , en) 函数返回时：re

3、turn How? 调用时申请活动记录空间并填写相关内容 返回时-释放活动记录的空间等第5页/共17页活动记录的填写 对应实际函数调用 四元式包括 (VALACT, result, offset, size) (CALL, f, true, t) 需要做的事情 将实参放到对应的形参单元中; 将t(返回值应存放的变量)的地址存放在返回值单元; 把sp的值放到动态链地址单元; 填写层数; (可能不一定需要) 保存返回地址(当前目标代码地址); 保存变量访问环境;(可能不一定需要) 保存AR长度size; (可能不一定需要) 改变sp的值; 转向f 的入口地址;动态链地址 返回地址 返回值 临时变

4、量形 参局部变 量过程层次 空间大小 寄存器 状态变量访问 环境spCurrentAR第6页/共17页活动记录的填写 对应形参函数调用 四元式包括 (VALACT, result, offset, size) (CALL, f, false, t) 需要做的事情 确定f作为形参的(level和offset); 在当前的AR的形参区中可以找到对应的地址, 其中存放的是对应实际函数的(层次,空间大小,入口地址); 根据上述信息, 做实际函数调用的事情;动态 链地址返回 地址返回值 临时变量 形 参局部变量 过程 层次空间 大小寄存 器状态变量访 问环境spCurrentAR第7页/共17页活动记录

5、的释放 对应函数返回 四元式包括 (ENDFUNC, _, _, _) 需要做的事情 恢复寄存器; 改变sp的值, sp = 动态链地址空间存的值; 转向返回地址对应的代码执行;动态链地址返回地址返回值临时变量形参局部变量过程层次空间大小寄存器状态变量访问环境spPreAR第8页/共17页关于返回值的处理 对应返回值 四元式包括 (RETURN, _, _, t) (RETURN, _, _, _) AR中返回值单元的内容存放的是一个地址; 需要做的事情 把返回值赋值给返回值单元对应地址的空间动态链地址返回地址返回值临时变量形参局部变量过程层次空间大小寄存器状态变量访问环境spPreAR返回值

6、第9页/共17页9.3 变量访问环境 What? 目标程序运行时,如何保存相关信息,从而保证找到变量的当前值 实现抽象地址到具体地址的计算 完全静态运行环境 一到一的映射，可静态确定 完全动态运行环境 动态确定，随时分配 栈式运行环境 (L, offset, mode) (spL + InitOff + offset)第10页/共17页C语言的变量访问环境的实现 变量的抽象地址到目标地址 (0, off, mode)表示该变量是全局变量, 并且保存在距离全局变量区首地址off个位置的单元中, 即其具体地址应为: gp +off, 其中gp表示的是全局变量区首地址 (1, off, mode)表

7、示该变量是定义在某一个函数中的局部变量,并且保存在该函数当前AR的距离局部变量区首地址off位置的单元中,即其具体地址为: sp + InitOff + off, 其中sp对应的是该函数当前AR的首地址, InitOff对应的是局部变量区之前的区距; (-1, off, mode)表示的是临时变量,保存在该函数当前AR的距离局部变量区首地址off位置的单元中,即其具体地址为: sp + InitOff + off 第11页/共17页C语言变量访问环境的实现 C语言变量访问环境的实现(1)记录全局变量区首地址到gp;(2)每次函数调用时, 把gp的值保存到变量访问环境单元中; (不是必须) 活动

8、记录活动记录动态链地 址返回地 址返回 值临时变 量形 参局部变 量过程层 次空间大 小寄存器状 态变量访问环境 gpInitOff第12页/共17页例子 #define n 2 int sum = 0; int fac(int i) if (i=0) return 1; if (i0) return -1; return (i*fac(i-1); void main () sum = fac(n); 内存内存Code area (代码区) sum : 0mainARsum: (0, 0)i: (1, 0)gpgp临时变 量facARgp i: 2 临时变 量facARgp i: 1 临时变量

9、 sppc第13页/共17页Pascal语言变量访问环境的实现 Pascal语言是嵌套式语言，即函数声明中仍可嵌套声明其它函数的语言。 嵌套语言的这种特性，增加了运行时存储空间管理的复杂度。第14页/共17页program M;var x,y,z:integer;procedure P();var x,y:integer; procedure Q(); var x,z:real; begin x=y+z;end; procedure R(); var y,z:real; begin x=y+z;Q();end; begin x=y+z;R();end;begin P();end.第15页/共17