8hh第6章运行时存储空间组织.pptVIP

第6章 运行时存储空间组织 前面讨论了对源程序进行静态分析的编译程序的不同阶段, 这些分析仅取决于源程序本身的特性, 与目标机及目标机的操作系统特性无关。 但编译程序的最终目的是把源程序翻译成能在目标机上运行的目标程序, 这就要求编译程序不仅能生成目标代码, 还要在生成目标代码之前进行目标程序运行环境的设计和数据空间的分配。 例如, 目标程序运行时, 源程序中各种变量、常量等如何在存储器中存放? 如何对它们进行访问? 源程序中各种变量、常量的作用域和生存期如何确定? 递归过程的数据空间如何在运行过程中实现动态的分配? 这些问题对于编译程序是非常复杂又十分重要的。 分配目标程序数据空间的基本策略: 1. 静态分配策略 若一个程序语言不允许有递归过程, 不允许含可变体积的数据项或待定性质的名字, 则在编译时能完全确定其程序的每个数据项目的存储空间位置, 这种策略叫静态分配策略。 例如, FORTRAN语言 2. 栈式动态分配策略 若程序语言允许有递归过程和可变数组, 则程序数据空间的分配需采用动态策略, 即在程序运行时进行数据空间的分配, 此时目标程序可用栈作为动态的数据空间。 程序运行时, 每当进入一个子程序, 其所需的数据空间就动态地分配于栈顶, 一旦该子程序运行结束, 其所占用的空间就释放, 这种方法叫栈式动态分配策略。 3. 堆式动态分配策略 若程序语言允许用户动态地申请和释放存储空间, 并且申请和释放之间不一定遵守“先申请后释放”的原则, 则必须让运行程序拥有一个大存储区(堆), 申请时从堆中分配一块, 释放时退还给堆, 这种方法叫堆式动态分配策略。 6.1 静态存储分配 6.2 简单的栈式存储分配 6.3 嵌套过程语言的栈式实现 6.4 堆式动态存储分配 6.5 参数传递补遗 6.1 静态存储分配 若编译时能确定程序运行时所需存储空间的大小, 则编译时能安排好程序运行时的全部数据空间, 并能确定每个数据项的地址, 这种存储分配方法叫做静态分配。 FORTRAN语言不允许有递归过程,每个数据名所需存储空间的大小是常量(即不允许含可变体积的数据), 且所有数据名的性质是完全确定的(不允许出现动态确定其性质的数据名)。故FORTRAN程序可静态分配存储空间。 (1) 数组的上下界必须是常数; (2) 过程调用不允许递归; (3)不允许采用动态数据结构, 即程序运行过程中不允许申请和释放存储空间。 适于静态存储分配的语言需满足的条件: 满足条件的语言有FORTRAN, BASIC等。 这些语言的编译程序可完全确定程序中数据项所在地址(通常为相应于各数据区起始地址的位移量)。 由于过程调用不允许递归, 因此数据项的存储地址与过程相联系。 过程调用所使用的局部数据区直接安排在过程的目标代码后, 并把各数据项的存储地址填入相关的目标代码, 以便在过程运行时访问这个局部数据区。 采用静态存储分配时, 不存在对存储区的再利用问题, 目标程序执行时不必进行运行时存储空间管理, 因此, 过程进入和退出很简单。 FORTRAN语言的静态存储管理特点使FORTRAN程序中各程序段可独立地进行编译。 在编译过程中, 给程序中变量或数组分配存储单元的一般方法为: 为每个变量(或数组)确定一个有序整数对, 并把这一对整数填入符号表相应登记项的信息栏中。 其中第一个整数指示数据区的编号, 第二个整数指明该变量(或数组)所对应的存储起始单元相应于其所在数据区起点的位移。 各数据区的起始地址在编译时暂不确定, 待各程序段全部编译完后, 再由连接装配程序最终确定, 并将各程序段的目标代码组装成一个完整的目标程序。 FORTRAN程序段的局部数据区可由图6-1所示的项目组成: 隐参数指过程调用时的连接信息, 如返回地址、寄存器保护区等; 形式单元用来存放过程调用时与形参对应的实参地址或值。 首先考虑一种简单程序语言: 没有分程序结构, 过程定义不允许嵌套, 但允许过程的递归调用, 允许过程含可变数组。 C语言除了不允许含可变数组外, 就是这样一种语言。 6.2 简单的栈式存储分配 C语言的程序结构如下: 全局数据说明 main( ) 　{main中的数据说明} void R( ) 　{R中的数据说明 } void Q( ) 　{Q中的数据说明 } 计算n!的C程序的执行过程可用栈实现: # include “stdio.h” long factorial (int n) { if (n1) return (n*factorial(n-1)); else return (1); } main ( ) { int num; do{ scanf (“%d” , num); if (n