运行时存储空间组织.pptVIP

3)转进过程P后，首先应执行下述指令: SP:=TOP+1 (定义新的SP) 1[SP]:=返回地址 (保护返回地址) TOP:=TOP+L (新TOP)L：过程P的活动记录所需单元数， 在编译时可确定。参数个数返回地址形式单元内情向量局部变量老SP临时单元TOP?调用过程的活动记录返回地址TOP?SP?第30页，共77页，星期日，2025年，2月5日4)过程返回时，应执行下列指令: TOP:=SP-1 (恢复调用前TOP) SP:=0[SP] (恢复调用前SP) X:=2[TOP] (把返回地址取到X中) UJ0[X] (按X返回)参数个数返回地址形式单元内情向量局部变量老SP临时单元调用过程的活动记录TOP?SP?SP?TOP?第31页，共77页，星期日，2025年，2月5日9.5嵌套过程语言的栈式实现PASCAL非局部名字的访问的实现静态链和活动记录嵌套层次显示表display过程调用、过程进入、过程返回第32页，共77页，星期日，2025年，2月5日嵌套过程语言的栈式实现PASCAL非局部名字的访问的实现静态链和活动记录嵌套层次显示表display过程调用、过程进入、过程返回第33页，共77页，星期日，2025年，2月5日9.5 嵌套过程语言的栈式实现假定语言不仅允许过程的递归调用(和可变数组)，而且允许过程定义的嵌套，如PASCAL，PL语言。第34页，共77页，星期日，2025年，2月5日PASCALPASCAL程序本身可以看成是一个操作系统所调用的过程，过程可以嵌套和递归。一个PASCAL过程：过程头；说明段（由一系列的说明语句组成）；begin执行体（由一系列的执行语句组成）；end9.5 嵌套过程语言的栈式实现第35页，共77页，星期日，2025年，2月5日作用域：一个名字能被使用的区域范围称作这个名字的作用域。允许同一个标识符在不同的过程中代表不同的名字。名字作用域规则--最近嵌套原则一个在子程序B1中说明的名字X只在B1中有效（局部于B1）；如果B2是B1的一个内层子程序且B2中对标识符X没有新的说明，则原来的名字X在B2中仍然有效。如果B2对X重新作了说明，那么，B2对X的任何引用都是指重新说明过的这个X。第36页，共77页，星期日，2025年，2月5日programmainvarA,B:real;…procedureP1varB:boolean; …begin …endprocedureP2varA:integer; …begin …endbegin …endA(real)B(real)B(bool)A(integr)第37页，共77页，星期日，2025年，2月5日嵌套过程语言的栈式实现PASCAL非局部名字的访问的实现静态链和活动记录嵌套层次显示表display过程调用、过程进入、过程返回第38页，共77页，星期日，2025年，2月5日9.5.1非局部名字的访问的实现主程序的层次为0；在i层中定义的过程，其层次为i+1;(层数，偏移量)过程运行时，必须知道其所有外层过程的当前活动记录的起始地址。第39页，共77页，星期日，2025年，2月5日嵌套过程语言的栈式实现PASCAL非局部名字的访问的实现静态链和活动记录嵌套层次显示表display过程调用、过程进入、过程返回第40页，共77页，星期日，2025年，2月5日图9.15程序programP;vara,x:integer;procedureQ(b:integer); vari:integer; procedureR(u:integer;varv:integer); varc,d:integer; begin ifu=1thenR(u+1,v) ...... v:=(a+c)*(b-d); ...... end{R}begin ...... R(1,x); ......end{Q}procedureS; varc,i:integer; begin a:=1; Q(c); ...... end{S}begin a:=0; S; ......end.{P}主程序P?过程S?