第6章 编译原理运行时存储空间组织.ppt

第6章 运行时存储空间组织 6.1 静态存储分配 6.2 简单的栈式存储分配 6.3 嵌套过程语言的栈式实现 6.4 堆式动态存储分配 6.5 参数传递补遗 6.1 静态存储分配 如果在编译时就能够确定一个程序在运行时所需的存储空间大小，则在编译时就能够安排好目标程序运行时的全部数据空间，并能确定每个数据项的单元地址，存储空间的这种分配方法叫做静态分配。 对FORTRAN语言来说，其特点是不允许过程有递归性，每个数据名所需的存储空间大小都是常量(即不允许含可变体积的数据，如可变数组)，并且所有数据名的性质是完全确定的(不允许出现在运行时再动态确定其性质的名字这种情况)。这些特点确保整个程序所需数据空间的总量在编译时是完全确定的，从而每个数据名的地址就可静态地进行分配。 静态存储分配是一种最简单的存储管理。一般而言，适于静态存储分配的语言必须满足以下条件： (1) 数组的上下界必须是常数； (2) 过程调用不允许递归； (3) 不允许采用动态的数据结构(即在程序运行过程中申请和释放的数据结构)。 满足这些条件的语言除了FORTRAN之外，还有BASIC等语言。在这些语言中，编译程序可以完全确定程序中数据项所在的地址(通常为相对于各数据区起始地址的位移量)。由于过程