第八章存储空间组织.ppt

§8.5 嵌套过程语言的栈式存储分配 （PASCAL语言）;层数：过程定义的嵌套层次； 约定：主程序的层数=0；;;pascal子程序的调用规定： ⑴ 任何子程序都不能调用主程序。 ⑵ 任何子程序（包括主程序）可调用自己的直接内 层子程序，但不能调用隔层的内层子程序。(图1) ⑶ 子程序可以调用自己，以及它的任何一层外层子 程序（不包括主程序）。（图2）;pascal子程序的调用规定： ⑷ 并列子程序中后说明的可以调用先说明的，而先 说明的不能调用后说明的（除非采用向前引用）。 ⑸ 一个子程序可以调用所有与自己的某个外层子程 序并列的子程序（其说明先于这个外层子程序）。;§8.5.2 非局部名字的访问的实现;;;;;;;;;2.实现方案Ⅱ：DISPLAY表（嵌套层次显示表）;;;;;b) 子程序可以调用自己， 以及它的任何一层外层子程序 P的D表中，共有nP+1项， ∵ P是P2的外层， ∴ “P的D表前nP项” 与“P2的D表前nP项”相同;;;若有过程：P ，Q ，R P调用Q ， Q递归调用自己m次， Q调用R， 则有： DQ1 = DP前nQ项+SPQ1 DQ2 = DQ1前nQ项+SPQ2 = DP前nQ项+SPQ2 … DQm = DQm-1前nQ项+SPQm = DP前nQ项+SPQm DQm+1 = DQm前nQ项+SPQm+1 = DP前nQ项+SPQm+1 DR = DQm+1前nR项+SPR;;;;;;§8.5.3 主要处理工作1. 过程调用 (红色标注);2.过程进入(蓝色标注);3.数组分配空间 ⑴ 对可变数组，计算每维的上限、下限、维长， 填入内情向量； ⑵ 将TOP+1填入数组内情向量的a处(起始地址)； ⑶ 设数组大小=M， TOP:=TOP+M ； 4. 引用各种数据的方式 ⑴ 参数、局部量、临时单元、内情向量： 设相对数=x，以SP为变址器访问：x[SP];⑵ 数组元素 * 从内情向量查出a，C，维长等，计算出相对数x； * 变址访问 x[a] ⑶ 非局部量： 设：相对数=x， 所在层数=k， D表的相对数=d，（d[SP]：活动记录起始地址） LD R1, (d+k)[SP] (第k层过程的必威体育精装版活动记录的SP) LD R2, x[R1] (取出值传送到R2);5.过程返回 （与C相同）;;;;;;