第十章目标程序运行时的存储组织分析.pptVIP

第10章 目标程序运行时的存储组织 目标程序运行时的存储组织 目标代码生成前如何安排目标机资源 程序运行时必须由操作系统分配一定的运行空间，编译程序应该完成对该存储空间的划分和使用 运行时组织的几个问题 数据表示-如何在目标机中表示每个源语言类型的值 表达式求值-如何组织表达式的计算 存储分配-如何组织不同作用域变量的存储 过程实现-如何以例程实现过程，函数，参数传递 一个目标程序运行所需的存储空间包括: 存放目标代码的空间 存放数据项目的空间 存放程序运行的控制或连接数据所需单元(控制栈) 一个程序在运行时刻的内存划分: 10.1 数据空间的三种不同分配策略 静态分配策略 动态分配策略 栈式动态分配 堆式动态分配 10.1.1 静态分配策略 特点 是指在编译时就能确定每个数据目标在运行时刻的存储空间需求，因而在编译时就可以给它们分配固定的内存空间。 用途 子程序的目标代码段 全局变量 10.1.2 动态存储分配 用途 允许递归过程、可变数组或允许用户自由申请和释放空间 两种方式 栈式动态分配 堆式动态分配 栈式动态分配 用途 递归调用、嵌套调用 程序对数据区的需求在编译时是完全未知的，只有到运行的时候才能够知道，但是规定在运行中进入一个程序模块时，必须知道该程序模块所需的数据区大小才能够为其分配内存。 堆式动态分配 堆式存储分配专门负责在编译时或运行时模块入口处都无法确定存储要求的数据结构的内存分配 10.2 栈式存储分配的实现 过程的活动记录：一个过程的一次执行所需要的信息使用一个连续的存储区来管理，这个区称为过程的活动记录 一般要记录： 临时值，如计算表达式时的中间工作单元。 局部变量 保存运行过程前的状态（ 返回地址，寄存器值…… ） 存取链：对于非局部量的引用。 控制链：指向调用者的活动记录，释放栈。 实参： 形式单元 返回值：对函数 10.2.1 简单的栈式存储分配的实现 程序结构特点:没有分程序结构，过程定义不嵌套，过程可递归调用; 例: program main； 全局变量的说明 proc R …… end R; proc Q …… end Q; 主程序执行语句 end main 全局数据说明 main( ) { main中的数据说明 } void R( ) { R中的数据说明 } … void Q( ) { Q中的数据说明 } 主程序→过程Q →过程R 10.2.2 嵌套过程语言的栈式实现 主要特点： 语言允许过程嵌套定义、嵌套调用和递归调用 一个过程可以引用包围它的任一外层过程所定义的标识符（如变量，数组或过程等）。 关键技术：解决对非局部量的引用（存取）。 设法跟踪每个外层过程的最新活动记录的位置。 跟踪办法： 1. 用静态链（如PL/0的SL）。 2. 用DISPLAY表。 1. 用静态链（如PL/0的SL）。 每个过程的过程活动记录有： 3个联系单元： SL： 静态链，指向定义该过程的直接外过程 （或主程序）运行时最新数据段的基地址。 DL： 动态链，指向调用该过程前正在运行过程的数据段基地址。 RA： 返回地址，记录调用该过程时目标程序的断点，即调用过程指令的下一条指令的地址。 局部变量 中间结果 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 8 转向主程序入口 ( 1) jmp 0 2 转向过程p入口 ( 2) int 0 3 过程p入口,为过程p开辟空间 ( 3) lod 1 3 取变量b的值到栈顶 ( 4) lit 0 10 取常数10到栈顶 ( 5) opr 0 2 次栈顶与栈顶相加 ( 6) sto 1 4 栈顶值送变量c中 ( 7) opr 0 0 退栈并返回调用点(16) ( 8) int 0 5 主程序入口开辟5个栈空间 ( 9) opr 0 16 从命令行读入值置于栈顶 (10) sto 0 3 将栈顶值存入变量b中 (11) lod 0 3 将变量b的值取至栈顶 (12) lit 0 0 将常数值0进栈 (13) opr 0 9 次栈顶与栈顶是否不等 (14) jpc 0 24 等时转(24)（条件不满足转） (15) cal 0 2 调用过程p (16) lit 0 2 常数值2进栈 (17) lod 0 4