编译原理教程第二版课件作者胡元义第6－8章节第6章节.pptVIP

图6–8 活动记录结构 6.3.2 嵌套过程的执行 　　1．过程调用 　　过程调用所做的工作与简单栈式存储分配大体相同，只是增加了一个连接数据，所以每个par Ti 相应的指令应改为 (i+4)[TOP]=Ti 或者 (i+4)[TOP]=addr[Ti ] 　　call P,n所对应的指令应为 1[TOP]=SP /*保护现行SP*/ 3[TOP]=SP+d /*将直接外层的DISPLAY表起始地址作为P的全局DISPLAY表地址*/ 4[TOP]=n /*传递参数个数*/ JSR P /*转向P的第一条指令*/ 　　2．过程进入 　　转入过程P后，首先执行和简单栈式存储分配相同的指令： SP= TOP+1 /*定义新的SP*/ 1[SP]=返回地址 /*保护返回地址*/ TOP=TOP+L /*定义新的TOP*/ 　　其次，应按第三项连接数据所提供的全局DISPLAY表地址，自下而上地抄录k个单元内容(k为P的层次)，最后再添上新的SP值形成现行过程P的DISPLAY表(共k+1个单元)。其过程如图6–9所示。 图6–9 过程P进入示意 　　3．过程返回 　　当过程P工作完毕要返回到调用段时，若return语句含有返回值或P是函数过程，则把已算好的值传送到某个特定的寄存器，然后执行： TOP= SP?1 /*恢复调用过程的TOP值*/ SP=0[SP] /*恢复调用过程的SP值*/ X=2[TOP] /*将返回地址送X*/ UJ 0[X] /*无条件转移，返回*/ 　　过程返回执行的指令与简单栈式存储分配的过程返回完全一样。 6.3.3 访问非局部名的另一种实现方法 　　在允许嵌套的过程中，一个过程可以引用包围它的任一外层过程所定义的变量或数组；也即在运行时，一个过程Q可能引用它的任一外层过程P的最新活动记录中的某些数据(这些数据视为过程Q的非局部量)。为了在活动记录中查找非局部名字所对应的存储空间，过程Q运行时必须知道它的所有外层过程的最新活动记录的地址。因为过程活动记录的位置(即使是相对位置)往往也因过程的递归而变迁，所以必须设法跟踪每个外层过程的最新活动记录的位置。跟踪的一种有效办法是采用嵌套层次显示(DISPLAY)表，其优点是访问非局部量的速度较快。在此，我们介绍另一种访问非局部名的方法——存取链(也称静态链)方法。 　　存取链方法引入一个称为存取链的指针，该指针作为活动记录的一项指向直接外层的最新活动记录的地址，这就意味着在运行时栈中的每个数据区(活动记录)之间又拉出一条链，这个链称为存取链。注意，运行时栈中数据区之间原先就存在一条链，即每个活动记录中所保存的老SP值这一项，它是指向调用该过程(子过程)的那个过程(父过程)的最新活动记录的起点，由此向前形成了一条SP链。为了区别于存取链，称SP链为控制链(也称动态链)，它记录了在运行中过程之间相互调用的关系。注意，控制链是动态的，而存取链是静态的。控制链记录了当前时刻程序中各过程相互调用的情况；而存取链则始终记录着程序静态定义时该过程所有的直接外层(嵌套过程规定，内层过程只允许调用其静态定义时的外层过程说明的变量和数组)。因此，存取链指出了一个过程的当前活动记录指向其直接定义的外层过程直至最外层的最新活动记录的起点。具有存取链的活动记录结构如图6–10所示。 图6–10 具有存取链的活动记录结构 　　假定过程的嵌套关系如下： 　　程序中每个过程的静态结构(嵌套层次)是确定的，如嵌套深度为2的过程R引用了非局部量a和b，其嵌套深度分别为0和1。从R的活动记录开始，分别沿着2???0?=?2和2?1=1个存取链向前查找，则可找到包含这两个非局部量的活动记录。 　　上述过程P调用S以及S调用Q运行时栈的变化过程如图6–11(a)、(b)所示。 　　由图6–11可以看出，指针SP总是指向当前正在执行过程的活动记录起点，控制链(老SP)则指向调用运行过程的父过程的活动记录起点。因此，当运行过程调用结束返回时，利用控制链老SP值可以得到调用前原父过程活动记录的起点。从程序的静态结构来看，P是S和Q的静态直接外层，因此，S和Q活动记录中的存取链均指向其直接外层P的活动记录起点。 图6–1