石河子大学信息科学与技术学院编译原理课件第十章 运行时空间组织.ppt

第10章 运行空间存储 第6章 符号表 概述 任务：编译程序对目标程序运行时的组织（设计运行环境和分配存储） 如通常存储区布局可为： 运行环境和存储分配设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联（Binding） 将源程序的文本 ? 程序运行动作的实现 源文件中的名字N ? 运行时的存储S 在语义学中，使用术语environment函数表示 env: N→S (N到S的映射) 术语 静态：如果一个名字的性质通过说明语句或隐或显规则而定义，则称这种性质是“静态”确定的。 动态：如果名字的性质只有在程序运行时才能知道，则称这种性质为“动态”确定的。 例: main 全局变量的说明 proc R …… end R; proc Q …… end Q; 主程序执行语句 end main 10.4.1 分程序结构 一种可能的处理方法 把分程序看作“无参数过程”，在哪里定义就在哪里被调用 引入的 问题 1，每次进入一个分程序都要建立连接数据和 DISPLAY； 2，分程序返回时必须从各层依次退出（一次退出可以获得目标层活动纪录 地址，但是无法知道目标层的 TOP，因为 TOP 是共有的） 解决办法 1，TOP 私有化，每一个过程和每一个分程序都保有一个 TOP； 2，分程序不作为无参数过程调用处理 例子 – 新的活动纪录 1 Procedure A ( m, n ); integer m, n ; B1: begin real z ; array B [ m : n ]; B2: begin real d, e; L3: end; B4: begin array C [ 1 : m ]; B5: begin real e; L6: end; end; L8: end; 2 4 5 过程的 TOP, 指向活动纪录顶部 老 SP 返回地址 全局 DISPLAY 地址 调用时候的栈顶地址 （老 TOP） 参数个数： 2 形式单元 m, n DISPLAY B1 的 TOP 变量 z 数组 B 的内情向量 B2 的 TOP B4 的 TOP 数组 C 的内情向量 B5 的 TOP 变量 e 和 d 变量 e Procedure A 的活动纪录 SP K D 6 5 4 3 2 1 0 DISPLAY 形式单元 m, n 2 连接数据 A 的TOP 。。。 B 的内情向量 z B1 的TOP 10.4.2 分程序的进入和退出 – 以 procedure 为例 数组 B 数组 C 到达标号 B1 处 进入分程序 B1 数组 B 分配之后 进入分程序 B2 进入分程序 B4 分配数组 C 之后 进入分程序 B5 e d B2 的 TOP C 的 内情向量 B4 的 TOP e B5 的TOP 10.4.3 过程调用，进入和返回 一个例子： 过程 Q 中的某一个分程序 B 里调用了过程 P B: Proc Q ( x1, x2, … , xn ) Begin Z, A ( 1: n ) Call P, m; … end 语句 Call P, m 的执行过程: B 的 TOP 送变址器 X : X := B.TOP 建立未来的 P 的连接数据和实现转子 : 2 [ X ] := SP 4 [ X ] := SP + d 5 [ X ] := X 6 [ X ] := m JSR P 进入 P 后立即执行： SP := X +1 0 [ SP ] := X + L （L 是过程 P 的活动纪录长度） 2 [ SP ] := 返回地址 P 出口的动作： X := 2 [ SP ] SP := 1 [ SP ] UJ 0 [ X ] DISPLAY 表 形参单元 变参个数 n 全局 D 表 返回地址 老 SP Q 的 TOP B.TOP z A 的内情向量 A 数组 X + lp Q.TOP 老的 SPQ 返回地址（到分程序） SPQ + d X ( 老 TOP) m 形参 d 建立 P 的 DISPLAY 表的方法： 根据 3 [ SP ] (即：4 [ X ]) 中所指的全局 D 表 ( Q 的