资源描述：
《存储空间组织-5节(节选)》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、§8.5嵌套过程语言的栈式存储分配 （PASCAL语言）§8.5.1语言特性：⑴.过程允许递归调用；⑵.可变数组；⑶.过程嵌套定义；(内层过程可引用外层过程定义的名字)层数：过程定义的嵌套层次；约定：主程序的层数=0；P中定义:Q,R，若P的层数=n,则：Q的层数=n+1；R的层数=n+1；称：P是Q，R的直接外层过程，Q,R是P的内层过程Q,R是同层的过程ProcPProcQProcRProgramP;vara,x:integer;procedureQ(b:integer);vari:integer;procedureR(u:integer;varv:in
2、teger);varc,d:integer;begin…ifu=1thenR(u+1,v);v:=(a+c)*(b-d)+i;——L处……end;{R}begin……R(1,x);……;end;{Q}procedureS;varc,i:integer;begin…a:=1;Q(c);…end;{S}begina:=0;S;…end;{P,主程序}0层1层2层1层名字的作用域a,xb,iu,v,c,dc,i值参变参L处：P→S→Q→R1→R2数据区TOP→R2←c,dSP→R1Q←b,iSP←a返回pascal子程序的调用规定：⑴任何子程序都不能调用主程序。⑵
3、任何子程序（包括主程序）可调用自己的直接内层子程序，但不能调用隔层的内层子程序。(图1)⑶子程序可以调用自己，以及它的任何一层外层子程序（不包括主程序）。（图2）P1P2CallP2P1调用P2P2是P1的直接内层图1P2调用P0P0是P2的外层P0P2P1CallP0图2pascal子程序的调用规定：⑷并列子程序中后说明的可以调用先说明的，而先说明的不能调用后说明的（除非采用向前引用）。⑸一个子程序可以调用所有与自己的某个外层子程序并列的子程序（其说明先于这个外层子程序）。P0P1P2CallP2P1调用P2P1、P2并列图1图2P0P2P1CallP1P
4、3P3调用P1P1与P3的外层并列§8.5.2非局部名字的访问的实现TOP→临时单元内情向量局部变量形参单元形参个数*静态链返回地址连接数据SP→动态链(老SP)/1.实现方案Ⅰ：静态链活动记录中，加“静态链”，指向静态直接外层过程的最新活动记录的地址(有多次调用时,以最后一次为准)。数据区TOP→R2←c,dSP→R1Q←b,iSP←aR2中:v:=(a+c)*(b-d)+i;要访问b,i(Q)，或a(P),必须知道外层过程的活动记录首址，即：SPQ，SPP活动记录TOP→临时单元内情向量局部变量形参单元主程序P没有形参个数静态链返回地址连接数据SP→
5、动态链(老SP)/PASCAL中，主程序无参数项，所以主程序的活动记录中没有形参单元、形参个数。P活动记录xL=5a静态链:0返回地址老SP临时单元内情向量局部变量形参单元形参个数静态链返回地址动态链(老SP)活动记录格式过程参数局部名P(主)a,xQbiRu,vc,dSc,iProgramP;vara,x:integer;procedureQ(b);vari:integer;procedureR(u,v);varc,d:integer;begin…end;{R}begin…end;{Q}procedureS;varc,i:integer;begin…end
6、;{S}begin…end;{P}ProcPProcQProcRProcS程序结构Q活动记录i形参单元:bL=6形参个数:1静态链:SPP返回地址老SP临时单元内情向量局部变量形参单元形参个数静态链返回地址动态链(老SP)活动记录格式过程参数局部名P(主)a,xQbiRu,vc,dSc,iProgramP;vara,x:integer;procedureQ(b);vari:integer;procedureR(u,v);varc,d:integer;begin…end;{R}begin…end;{Q}procedureS;varc,i:integer;beg
7、in…end;{S}begin…end;{P}R活动记录dc形参单元:v形参单元:uL=8形参个数:2静态链:SPQ返回地址老SP临时单元内情向量局部变量形参单元形参个数静态链返回地址动态链(老SP)活动记录格式过程参数局部名P(主)a,xQbiRu,vc,dSc,iProgramP;vara,x:integer;procedureQ(b);vari:integer;procedureR(u,v);varc,d:integer;begin…end;{R}begin…end;{Q}procedureS;varc,i:integer;begin…end;{S}b
8、egin…end;{P}临时单元内情向量局部变量形参
