存储空间组织节节选.pptxVIP

Proc PProc QProc R层数：过程定义的嵌套层次；约定：主程序的层数=0；P中定义: Q,R，若P的层数=n, 则：Q的层数=n+1；R的层数=n+1；称：P 是 Q，R 的直接外层过程， Q,R 是P的内层过程 Q,R 是同层的过程 Program P; var a,x : integer; procedure Q(b:integer); var i: integer; procedure R(u:integer;var v:integer); var c,d:integer; begin … if u=1 then R(u+1,v); v:=(a+c)*(b-d)+i;——L处 …… end; {R} begin …… R(1,x); …… ; end; {Q} procedure S; var c,i:integer; begin … a:=1; Q(c); … end; {S} begin a:=0; S; … end; {P,主程序}名字的作用域返回值参 变参a,x0层b,iu,v,c,d1层2层L处：P→S→Q→R1→R2数据区TOP→R2←c,dSP→R1Q←b,iSP←a1层c,iP1调用P2 P2是P1的直接内层P2调用P0 P0是P2的外层P0P1P1P2P2图1图2Call P2Call P0pascal子程序的调用规定：⑴ 任何子程序都不能调用主程序。⑵ 任何子程序（包括主程序）可调用自己的直接内 层子程序，但不能调用隔层的内层子程序。(图1)⑶ 子程序可以调用自己，以及它的任何一层外层子 程序（不包括主程序）。（图2）P0P1P2P1调用P2 P1、P2并列 P3调用P1 P1与P3的外层并列P3Call P1P0P2图1图2P1Call P2pascal子程序的调用规定：⑷ 并列子程序中后说明的可以调用先说明的，而先 说明的不能调用后说明的（除非采用向前引用）。⑸ 一个子程序可以调用所有与自己的某个外层子程 序并列的子程序（其说明先于这个外层子程序）。§8.5.2 非局部名字的访问的实现R2中: v:=(a+c)*(b-d)+i; 要访问b,i(Q)，或a(P),必须知道外层过程的活动记录首址，即：SPQ ，SPP数据区TOP→R2←c,dSP→R1Q←b,iSP←aTOP→临时单元内情向量局部变量形参单元形参个数*静态链\返回地址连接数据SP→动态链(老SP)/活动记录1.实现方案Ⅰ：静态链活动记录中，加“静态链”，指向静态直接外层过程的最新活动记录的地址(有多次调用时,以最后一次为准)。PASCAL中，主程序无参数项，所以主程序的活动记录中没有形参单元、形参个数。TOP→临时单元内情向量局部变量形参单元 主程序P没有形参个数静态链\返回地址连接数据SP→动态链(老SP)/ Program P; var a,x: integer; procedure Q(b); var i: integer; procedure R(u,v); var c,d:integer; begin … end;{R} begin … end; {Q} procedure S; var c,i:integer; begin … end; {S} begin … end; {P}Proc PProc QProc RProc S程序结构临时单元内情向量局部变量形参单元形参个数静态链返回地址动态链(老SP)活动记录格式P活动记录xL=5a静态链:0返回地址老SP过程参数局部名P(主)a,xQbiRu,vc,dSc,i Program P; var a,x: integer; procedure Q(b); var i: integer; procedure R(u,v); var c,d:integer; begin … end;{R} begin … end; {Q} procedure S; var c,i:integer; begin … end; {S} begin … end; {P}活动记录格式临时单元内情向量局部变量形参单元形参个数静态链返回地址动态链(老SP)Q活动记录i形参单元:bL=6形参个数:1静态链:SPP返回地址老SP过程参数局部名P(主)a,xQbiRu,vc,dSc,i Program P; var a,x: integer; procedure Q(b); var i: integer; procedure R(u,v); var c,d:integer; begin … end;{R} begin … end; {Q} procedure S; var c,i:integer; begin