第10章运行时存储空间的组织.pptVIP

int add(int x, int y ) { int r; r=x+y; return r; } int a=0; main( ) { int x=1; int y=6; int z; a=x+y; z=add(y-x,x); } 100: r := x+y return …….. x := 1 y := 6 a := x+y T1 := y-x par T1 par x call add add Int …. add_x Int …. add_y Int …. add_r Int …. a int ….. x Int …. y Int …. z int …. 小结 编译程序必须为目标程序的运行分配存储空间。在编译阶段进行的存储空间分配工作称为静态存储分配。静态分配工作一般在词法分析阶段完成，而在运行连接阶段进行的存储空间分配工作称为动态存储分配。 栈式存储分配方法是把整个程序的存储空间都安排在一个栈里，这种方法特别适用于带有嵌套结构的程序设计语言中。 若一个程序设计语言允许用户动态申请和释放存储空间，而且申请和释放之间不一定遵循“后申请先归还”的原则，那么栈式动态分配方案就不适应了。在这种情况下，通常适应堆式存储结构。 数组的存储分配工作借助于信息向量表和数组处理程序来完成。 编译原理 计算机学院 第10章 目标程序运行时的存储组织 本章学习内容 翻译程序必须分配目标程序运行时所需要的存储空间以容纳生成的目标代码和目标代码运行时的数据空间。 这些数据空间包括： 用户定义的各类型的变量和常数所需要的存储空间； 作为保留中间结果和参数传递用的临时工作单元； 调用过程或函数时所需要的连接单元、返回地址以及组织输入/输出所需要的缓冲区。 本章主要内容: 静态存储分配 栈式存储分配 堆式动态存储分配 目标程序运行时的存储组织 数据空间的分配： 将程序中的每个名字与一个存储位置关联起来，该存储位置用以容纳名字的值。 编译时不能确定所占用的空间大小 运行时的存储区常常划分成：目标区、静态数据区、栈区和堆区 目标程序运行时存储区的典型划分 数据空间的三种不同使用方法和管理方法 数据空间的使用和管理方法可以分成三种： 静态存储分配 栈式动态存储分配 堆式动态存储分配。 静态存储分配 静态分配技术 在编译时就能够确定一个程序在运行时所需的存储空间大小，并能确定每个数据项的单元地址。 对于FORTRAN语言来说，其特点是不允许过程有递归性，每个数据名所需要的存储空间大小都是常量；并且所有数据名的性质是完全确定的。这些特点确保整个程序所需要数据空间的总量在编译时是完全确定的，从而每个数据名的地址就可静态地进行分配。 静态分配是一种最简单的存储管理。适应静态存储分配的语言必须满足以下条件： （1）数组的上下界必须是常数。 （2）过程调用不允许递归。 （3）不允许采用动态的数据结构。 满足这些条件的语言除了FORTRAN之外，还有BASIC等语言。 动态存储分配 对于PASCAL语言和C语言是不能仅仅使用静态存储分配的，这是因为，对于这样的语言： （1）有些数据对象的大小在编译时刻不能确定，也可能对它们在内存中位置不能确定。 （2）需要支持递归过程的实现，一个过程的不同活动不能有相同的局部名字结合。 （3）需要动态建立数据结构，即用户可以自由的申请和释放空间. 动态存储分配方法：栈式（stack）和堆式（heap） 栈式动态存储分配 将整个程序的数据空间设计为一个栈。适用于Pascal，C，ALGOL之类的语言的实现。 每当调用一个过程，所需数据空间分配在栈顶，过程工作结束时释放这部分空间。 数据空间包括两部分： 生存期在本过程这次活动中的数据对象，如局部变量、参数单元、临时变量等等 管理过程活动的记录信息，当前机器的状态信息（程序计数器（返回地址）、寄存器的值等等） 堆式动态存储分配 如果一种程序语言允许数据对象能够自由地分配和释放，那么只有栈式存储分配就不适应了。 在这种情况下，通常使用一种称为堆式动态存储分配方案。假定运行程序有一个大的存储空间，需要时就从这个空间中借用一块。不用时再退还给它。经过一段时间，存储空间就会变成许多小块。 对于堆式存储分配，需要解决两个问题：一是堆空间的分配；另一个问题是堆空间的回收。 在许多语言中，都有显式的堆空间分配的分配和回收函数。例如PASCAL语言中的new和dispose。C语言中的alloc和free以及C++语言中的new和delete。 栈式存储分配的实现 使用栈式存储分配策略，运行时每当进入一个过程，就在栈顶为该过程分配所需要的数据空间，当一个过程执行完毕，就将栈顶的数据空间释放。 为了