第8章 存储空间的分配解说.ppt

进入过程P后的目标动作(确定新sp、top位置) sp:=top+1; top:=top+L; //L：活动记录长度 top:=top+V; //V：数组体积 建立新的display R:=2[sp]; //取出老display的地址 d[sp]:=0[R]; d+1[sp]:=1[R]; … (d+i-1)[sp]:=(i-1)[R]; (d+i)[sp]:=sp; //新加入的display项 抄老display d sp top 返回地址 参数个数 形式单元 新display 内情向量 临时变量 老sp 简单变量 老display地址 * 1[sp]:=返回地址;//保存返回地址 从过程返回: top:=sp-1; sp:=0[sp]; //取老sp 无条件转2[top] 返回地址 参数个数 形式单元 新display 内情向量 临时变量 老sp 简单变量 老display地址 * Program P; Var a,x: integer;Procedure Q(b:int )Var i:integer;Procedure R( u:int; Var v:int);Var c,d: integerbeginif u=1 then R(u+1,v)……V:=(a+c)*(b-d); ……end {R}begin……R(1,x);end{Q}procedure S;var c,i: integer; begina:=1; Q(c); … end {S} begin a:=0; S; … end 0 1 2 1 Display表示例1 P调用S时 P的活 动记录 S的活 动记录 SP TOP 返回地址 简单变量:a 简单变量: x 老sp:0 老display:2 参数个数:0 老sp:0 返回地址 display:0 简单变量:i 简单变量:c 5 0 9 1 3 4 5 7 8 0 6 2 11 10 12 display 0层（主程序）过程的display只含1项，这一项就是主程序开始工作时所建立的第1个SP值。 * Program P; Var a,x: integer;Procedure Q(b:int )Var i:integer;Procedure R( u:int; Var v:int);Var c,d: integerbeginif u=1 then R(u+1,v)……V:=(a+c)*(b-d); ……end {R}begin……R(1,x);end{Q}procedure S;var c,i: integer; begina:=1; Q(c); … end {S} begin a:=0; S; … end 0 1 2 1 Display表示例2 过程S中调用Q时 P的活 动记录 S的活 动记录 SP TOP display display 返回地址 简单变量:a 简单变量: x 老sp:0 老display:2 参数个数:0 老sp:0 返回地址 display:0 简单变量:i 简单变量:c 5 0 老sp:5 老display:9 参数个数:1 返回地址 13 0 形参:b 1 3 4 5 7 8 0 6 2 12 11 10 9 13 15 16 14 19 18 17 Q的活 动记录 * Program P; Var a,x: integer;Procedure Q(b:int )Var i:integer;Procedure R( u:int; Var v:int);Var c,d: integerbeginif u=1 then R(u+1,v)……V:=(a+c)*(b-d); ……end {R}begin……R(1,x);end{Q}procedure S;var c,i: integer; begina:=1; Q(c); … end {S} begin a:=0; S; … end 0 1 2 1 Display表示例3 过程Q中调用R时 P S SP TOP Q 返回地址 简单变量:a 简单变量: x 老sp:0 老display:2 参数个数:0 老sp:0 返回地址 display:0 5 简单变量:i 老sp:5 0 简单变量:c 老display:9 返回地址 参数个数:1 0 13 形参:b 返回地址 老sp:13 老display:18 参数个数:2 形参:u 1 3 4 5 7 8 0 6 2 10 12 13 9 11 15 14 16 18 19 17 21 20 22 23 24 形参:v 25 0 26 13 27 20 28 简单变量:c 29 简单变量