第十章目标程序运行时的组织..ppt

第十章 目标程序运行时的组织 10.1 概述 2数据表示 10.3目标程序运行时的栈式存储组织 10.4 参数传递 10.5堆式存储组织的讨论 概述-代码生成解决语义gap 高级语言支持的概念 Type value expression Variable procedure Function parameters 目标机支持的概念 bits bytes words Registers Stack address Routine(sub routine) 概述 代码生成前如何安排目标机资源 运行时组织的几个问题 数据表示-如何在目标机中表示每个源语言类型的值 表达式求值-如何组织表达式的计算 存储分配-如何组织不同作用域变量的存储 过程实现-如何以例程实现过程，函数，参数传递 概述 任务：编译程序对目标程序运行时的组织（设计运行环境和分配存储） 如 通常存储区布局可为： 运行环境和存储分配设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联（Binding） 将源程序的文本 ? 程序运行动作的实现 源文件中的名字N ? 运行时的存储S 在语义学中，使用术语environment函数表示 env: N→S (N到S的映射) 术语 静态：如果一个名字的性质通过说明语句或隐或显规则而定义，则称这种性质是“静态”确定的。 动态：如果名字的性质只有在程序运行时才能知道，则称这种性质为“动态”确定的。 例 procedure A(m,n:integer); begin real z; array B[m:n]; begin · · · end; end; 数据表示各种数据对象的存储分配 数据对象的属性 name 名字，名称 type 类型 location 内存地址 value 值 component 成分 数据表示（固定长度，直接或间接表示） 简单变量： char: 1 byte integers: 2 or 4 bytes floats: 4 to 16 bytes booleans: 1 bit (but usually 1 byte) 指针：unsigned integers 一维数组：一块连续的存储区 多维数组：一块连续的存储区，按行存放 结构（记录）：把所有域（field)存放在一块连续的存储区 对象：类的实例变量象结构的域一样存放在一块连续的存储区， 但方法（成员函数）不存在该对象里 指令： 目标程序运行时的存储组织 存储分配策略： 简单的栈式分配方案 嵌套过程的栈式分配方案 分程序结构的存储分配方案 简单的栈式分配方案 程序结构特点:过程定义不嵌套，过程可递归调用，含可变数组; 例: main 全局变量的说明 proc R …… end R; proc Q …… end Q; 主程序执行语句 end main 嵌套过程语言的栈式分配方案 主要特点： （语言）一个过程可以引用包围它的任一外层过程所定义的标识符（如变量，数组或过程等）。 （实现）一个过程可以引用它的任一外层过程的必威体育精装版活动记录中的某些数据。 关键技术：解决对非局部量的引用（存取）。 设法跟踪每个外层过程的必威体育精装版活动记录AR的位置。 跟踪办法： 1. 用静态链（如PL/0的SL）。 2. 用DISPLAY表。 const a=10;var b,c;procedure p; begin c:=b+a; end;begin read(b); while b#0 do begin call p; write(2*c); read(b); endend. ( 0) jmp 0