编译原理实用教程杨德芳电子教案 第9章运行时存储空间的组织.pptVIP

第9章运行时存储空间的组织和管理 本章学习目标 翻译程序必须分配目标程序运行时所需要的存储空间。这些空间包括：用户定义的各类型的变量和常数所需要的存储空间；作为保留中间结果和参数传递用的临时工作单元；调用过程或函数时所需要的连接单元。返回地址以及组织输入/输出所需要的缓冲区。本章主要内容： 静态存储分配 栈式存储分配 堆式动态存储分配 9.1存储分配策略 在目标代码生成之前，编译程序必须进行目标程序运行环境的设计和数据空间的分配。编译程序需要从操作系统中为目标程序的运行申请一段存储区。这段存储空间包括两部分，一部分为容纳目标代码的区域，另一部分为目标代码运行时需要的数据空间。这部分数据空间包括：用户定义的各种类型的数据对象所需要的存储空间，作为保留中间结果和传递参数的临时工作单元，调用过程时所需要的连接单元，以及组织输入/输出所需要的缓冲区。目标代码需要的内存空间编译时可以确定，而有些数据对象只有运行时填入。 数据空间的使用和管理方法可以分成三种：静态存储分配、栈式动态存储分配和堆式动态存储分配。 9.2静态存储分配 如果在编译时就能够确定一个程序在运行时所需的存储空间大小，那么则在编译时就能安排好目标程序运行时的全部数据空间，并能确定每个数据项的单元地址。存储空间的这种分配方法叫做静态分配。对于FORTRAN语言来说，其特点是不允许过程有递归性，每个数据名所需要的存储空间大小都是常量；并且所有数据名的性质是完全确定的。这些特点确保整个程序所需要数据空间的总量在编译时是完全确定的，从而每个数据名的地址就可静态地进行分配。 静态分配是一种最简单的存储管理。适应静态存储分配的语言必须满足以下条件： （1）数组的上下界必须是常数。 （2）过程调用不允许递归。 （3）不允许采用动态的数据结构。 满足这些条件的语言除了FORTRAN之外，还有BASIC等语言。 对于PASCAL语言和C语言是不能仅仅使用静态存储分配的，这是因为，对于这样的语言： （1）有些数据对象的大小在编译时刻不能确定，也可能对它们在内存中位置的限制不能确定。 （2）需要支持递归过程的实现，一个过程的不同活动不能有相同的局部名字结合。 （3）需要动态建立数据结构。 9.3栈式存储分配 使用栈式存储分配策略，运行时每当进入一个过程，就在栈顶为该过程分配所需要的数据空间，当一个过程执行完毕，就将栈顶的数据空间释放。 为了研究方便，引进一个过程的活动记录。过程的活动记录是一段连续的存储区，存放过程依次执行所需要的信息。过程的活动记录描述如图9-1所示：（1）临时工作单元，比如计算表达式过程中需要存放中间结果的临时值的单元。 （2）局部变量，是指一个过程的变量。 （3）机器状态信息，即容纳该过程执行前关于机器状态的信息，如计数器、寄存器的值。这些值需要在控制从该过程返回时给予恢复。 （4）存取链，用以存取非局部变量，这些变量存放在其他过程活动记录中。 （5）控制链，指向调用该过程的那个过程的活动记录。 （6）实参数，也称为形式单元；是调用过程向该被调用过程提供实参的值。当然，在实际编译程序中，也用机器的寄存器传递参数。 （7）返回地址，保存该被调过程返回后的地址。 活动记录中的信息的大小在编译时就确定了。如果局部变量中含有可变数组，可以将内情向量表放入过程活动记录。下面介绍3种栈式分配的实现。 9.3.1简单的栈式存储分配 首先考虑一种简单程序设计语言的实现。这种语言没有分程序结构，过程定义不允许嵌套，但允许过程的递归调用，允许过程含有可变数组。 使用栈式存储分配意味着程序运行时，当进入一个过程就有一个相应的活动记录压入栈顶。此记录含有连接数据、形式单元、局部变量、局部数组的内情向量和临时工作单元等。在进入过程和执行过程的可执行语句之前，再把局部数组所需要的空间压入栈顶，从而形成过程工作时的完整数据区。 例如，有C语言运行程序如下： floAt x; //………块1 int m1(int ind) //………块2 { int x; x=m2(ind+1); } int m2(int j) //………块3 { int f[10]; bool test1; } mAin( ) //………块4 { int x; x=2; printf(“%d\n”,m1(x/5)); } 若主程序调用了过程Q，Q又调用了过程R，在R进入运行后的存储结构如图9-4（a）所示。若主程序调用了过程Q，Q又调用了自己，在Q过程第2次进入运行后，存储空间的分配就是9-4（b）。若主程序先调用了过程Q，执行完后又调用过程R，存储结构如9-4（c）和9-4（d）所示。 使用两个指针指示栈最顶端的数据区，一个是SP，一个为TOP。SP指向现行活动记录的的起点，TOP指向栈顶