第七章运行时存储空间管理1教学课件.ppt

栈式管理中的过程活动记录 过程的活动记录： 为管理过程、函数的一次活动所需要的信息，目标程序要在栈区中给被调过程分配一段连续的存储空间，以便存放该过程的局部变量值、控制信息和寄存器内容等，称这段连续的存储空间为过程的活动记录，简称活动记录（Activation Record），并记为AR。 栈式管理中的过程活动记录 栈式管理中的过程活动记录 （1）临时变量区 用于存放表达式计算的中间结果，当寄存器不足以存放所有这些临时变量时，可以把它们存放在临时变量区中。 （2）局部变量区 保存过程局部声明的数据。 （3）形参变量区 用于存放调用过程提供的实在参数。 （4）返回值 存放一存储空间地址，该存储空间用于存放被调用过程返回给调用过程的值。 （5）变量访问环境 提供非局部变量的访问环境。 栈式管理中的过程活动记录 （6）寄存器状态 保存刚好在过程调用前的机器状态信息，包括程序计数器的值和控制从这个过程返回时必须恢复的机器寄存器的值。 （7）过程层数 辅助变量构建访问环境和变量寻址。 （8）返回地址 指向调用者调用指令的下一条指令。 栈式管理中的过程活动记录 （9）动态链指针 用来指向调用者的活动记录。动态链也称为控制链。以便在过程调用返回时将当前活动记录恢复成调用者的活动记录； (10)活动记录空间大小 当过程的局部数据中没有动态数组等可变长数据时，过程的活动记录的长度是能够静态确定，将其记录下来，可以用于过程调用时确定现行AR的始地址。 注意:活动记录其实并没有包含过程一次执行所需的全部信息，比方说非局部数据就不在活动记录中。另外，过程运行时生成的动态变量也不在活动记录中，对它们通常采用堆式分配。 过程活动记录的申请和释放 遇到函数过程调用时申请地址，具体来看在遇到call四元式中间代码时，要生成相应的目标代码。要做的工作有两个： 产生一个新的活动记录，即sp=top，top=top+size 保存寄存器内容，填写过程活动记录的管理信息，返回地址、动态链指针等等 释放一个是遇到了return，一个是遇到了函数的结束要做的主要工作有： 恢复现场，将寄存器里的值恢复 释放当前活动记录即top=sp; sp=动态链指针 根据返回地址创建跳转指令 过程活动记录的申请和释放 调用链：调用链是过程名的序列，序列的头是主程序名M（pascal主程序、C语言的main函数）。具体地说: （M）是调用链； 若（M，…，R）是调用链，并且R中有S的调用，则（M，…，R，S）也是调用链。 对于任一过程（函数）S，其调用链不是唯一的，每个调用链对应于一个动态的过程调用序列。 用CallChain(S)=(M，…，R，S）表示S的调用链，表示当前正在执行的是S的过程体，而M，…，R则是已经开始执行但被中断了的过程。 过程活动记录的申请和释放 动态链：如果当前正在执行的是S，并且 CallChain（S）= （M，N,…，R，S），则栈的当前内容可表示为： [AR（M),AR（N),…，AR（R),AR（S）]，称它为对应调用链（M，N ， …，R，S）的动态链。 表示为： DynamicChains（S） = [AR（M),AR（N),…，AR（R),AR（S）] 调用链和动态链的示例 调用链和动态链的示例 地址分配原则回顾 值引用的形参按照类型大小分 地址引用的形参分配1 局部变量按照类型长度分 临时变量分1（一般情况下） 函数和过程作为形参分2，其中1个是实参的入口地址，另一个是先行的display表地址 抽象地址的变化规律 I.处理声明部分: 处理前可用的 处理内容 处理后可用的 抽象地址 抽象地址 （?，off） ? LabelDec ? （?，off） （?，off） ? ConstDec ? （?，off） （?，off） ? TypeDec ? （?，off） （?，off） ? Var id:T ? （?，off+nT） （?，off） ? ProcDec ? （?，off） （?，off） ? FuncDec ? （?，off） III. 处理形式参数: (?，off）? Var ID:T ?（?，off+1） (?，off）? ID:T ?（?， off+ nT ） IV.处理过程名及左括号之后: (?，off）? Proc p( ?（?+1，d） (?，off）? Func f( ?（?+1，d） (?，off）? Proc P( ?（?+1，d） (?，off）? Fucn F( ?（?+1，d） 注：小写字母的标识符表示实在标识符，大写字母的标识符