中国传媒大学《编译原理》课件-第5章运行时存储空间组织.pptVIP

CompilerPrinciples * 2.活动记录 C的活动纪录有以下四个项目： ? 连接数据，有两个： ?老SP值，即前一个活动纪 录的地址； ?返回地址。 ? 参数个数。 ?形式单元（存放实在参数的值或地址）。 ?过程的局部变量、数组内情向量和临时工作单元。 临时工作单元 内情向量 简单变量 形式单元 参数个数 返回地址 老SP Top SP CompilerPrinciples * 3. C的过程调用、过程进入、数组空间分配和过程返回 前面谈过，过程调用的四元式序列： par T1 par T2 … par Tn call P, n 现在我们考虑在运行时四元式par和call是如何执行的，或者说，对于par和call应该生成些什么目标代码。由于TOP总是指向栈顶，而形式单元和活动纪录起点之间的距离是确定的（等于3），因此每个par Ti (i= 1,2,…n ) 可直接翻译成如下指令： CompilerPrinciples * （i+3)[TOP]:=Ti (传递参数值） 或（i+3)[TOP]:=addr(Ti) (传递参数的地址） 这些指令的作用是将实参的值或地址一一传进新的过程的形式单元中。此处我们假定每个形式单元，不论用来存放实参的值或地址，均只用一个机器字。注意，在执行这些指令时TOP的值不受影响。 四元式call P, n应被翻译成： 1[TOP]:= SP (保护现行SP ） 3[TOP]:= n (传送参数个数） JSR P (转子指令，转向P的第一条指令 ） 转进过程P后，首先要做的工作是定义新活动纪录的SP，保护返回地址和定义这个纪录的TOP值。也就是说执行如下指令： SP:=TOP +1 (定义新SP ） 1[SP]:=返回地址 （保护返回地址 ） TOP:=TOP + L (定义新的TOP ） CompilerPrinciples * 其中，L是过程P 的活动纪录所需的单元数，这个数在编译是可静态地计算出来。 在过程段执行语句的工作过程中，凡引用形式参数、局部变量或数组元素都是以SP为变址器进行变址访问的。 C语言以及其它一些相似的语言含有下面形式的返回语句： return (E) 其中，E为表达式。假定E的值已计算出来并已放到某个特定的寄存器中（调用段将从这个特定的寄存器中获得被调用过程的结果值）。然后，剩下的工作是恢复SP和TOP为进入过程前的老值，并返回地址实行无条件转移。即执行下述指令序列： TOP := SP-1 SP := 0[SP] X := 2[TOP] (X为某一变址器） UJ 0[X] 此处 UJ为无条件转移指令，按 X 中的返回地址实行变址转移。 CompilerPrinciples * 二、嵌套过程语言的栈式实现 我们前面说过，C语言是不允许过程嵌套的，即不允许一个过程定义出现在另一个过程定义之内。而在Pascal中却允许过程嵌套，下面我们来谈一谈如何处理这一类的过程调用。 这里常常要用到过程定义的“嵌套层次”（简称层次），我们始终假定主过程的层次为0，因此，主程序称为第0层过程。如过程Q是在层数为i的过程P内定义，并且P是包围Q的最小过程，那么Q的层数为i+1 .这时，我们把P称为Q的直接外层过程，而Q称为P的内层过程。当编译程序处理过程说明时，过程的层数将作为过程名的一个重要属性登记在符号表中。计数每个过程的层数是很容易的。使用一个计数器level（初始值为0），每逢遇到proc Begin 时，将它累加1；每逢遇到 proc end 时将它递减1。于是对于每个过程说明我们就可用level来定义它的层数。 CompilerPrinciples * 由于过程的定义是嵌套的，一个过程可以引用包围它的任意过程所定义的变量或数组，也就是说，运行时，一个过程Q可能引用它的任意一个外层过程P的最新活动纪录中的某些数据（这些数据视为过程Q的非局部量）。 为了在活动纪录中查找