第6章运行时存储空间的组织和管理.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6.3 非局部名字的访问 过程p对变量a访问时，a的地址由下面的二元组表示： （np ? na，a在活动记录中的偏移） 第六十三页，共九十二页。 6.3 非局部名字的访问 建立访问链 假定嵌套深度为np的过程p调用嵌套深度为nx的过程x (1) np nx的情况 sort 1 readarray 2 exchange 2 quicksort 2 partition 3 这时x肯定就声明在p中 第六十四页，共九十二页。 6.3 非局部名字的访问 建立访问链 假定嵌套深度为np的过程p调用嵌套深度为nx的过程x (1) np nx的情况 被调用过程的访问链必须指向调用过程的活动记录的访问链 第六十五页，共九十二页。 6.3 非局部名字的访问 访问非局部名字的存储单元 sort readarray exchange quicksort partition s a, x q (1, 9) k, v 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 p (1, 3) i, j 访问链 e (1, 3) 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 p (1, 3) i, j 访问链 第六十六页，共九十二页。 6.3 非局部名字的访问 建立访问链 假定嵌套深度为np的过程p调用嵌套深度为nx的过程x (2) np ? nx的情况 sort 1 readarray 2 exchange 2 quicksort 2 partition 3 这时p和x的嵌套深度分别为1，2，…，nx? 1的外围过程肯定相同 第六十七页，共九十二页。 6.3 非局部名字的访问 建立访问链 假定嵌套深度为np的过程p调用嵌套深度为nx的过程x (2) np ? nx的情况 追踪访问链np ? nx + 1次，到达了静态包围x和p的且离它们最近的那个过程的最新活动记录 所到达的活动记录就是x的活动记录中的访问链应该指向的那个活动记录 第六十八页，共九十二页。 6.3 非局部名字的访问 访问非局部名字的存储单元 sort readarray exchange quicksort partition s a, x q (1, 9) k, v 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 p (1, 3) i, j 访问链 e (1, 3) 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 p (1, 3) i, j 访问链 第六十九页，共九十二页。 6.3 非局部名字的访问 program param(input, output);（过程作为参数） procedure b(function h(n: integer): integer); begin writeln(h(2)) end {b}; procedure c; var m: integer; function f(n: integer): integer; begin f := m+n end {f}; begin m := 0; b(f) end {c}; begin c end. 过程作为参数传递时，怎样在该过程被激活时建立它的访问链 从b的访问链难以建立f的访问链 第七十页，共九十二页。 6.3 非局部名字的访问 program param(input, output);（过程作为参数） procedure b(function h(… begin writeln(h(2)) end ; procedure c; var m: integer;