编译原理教程第二版教学课件作者胡元义第－章第章.pdfVIP

第6章　运行时存储空间组织 第6章 运行时存储空间组织 6.1 静态存储分配 6.2 简单的栈式存储分配 6.3 嵌套过程语言的栈式实现 6.4 堆式动态存储分配 *6.5 参数传递补遗 习题六 第6章　运行时存储空间组织 6.1 静态存储分配 　　如果在编译时就能够确定一个程序在运行时所需的存储空 间大小，则在编译时就能够安排好目标程序运行时的全部数据 空间，并能确定每个数据项的单元地址，存储空间的这种分配 方法叫做静态分配。 　　对FORTRAN语言来说，其特点是不允许过程有递归性，每 个数据名所需的存储空间大小都是常量( 即不允许含可变体积的 数据，如可变数组) ，并且所有数据名的性质是完全确定的(不允 许出现在运行时再动态确定其性质的名字这种情况) 。这些特点 确保整个程序所需数据空间的总量在编译时是完全确定的，从 而每个数据名的地址就可静态地进行分配。 第6章　运行时存储空间组织 　　静态存储分配是一种最简单的存储管理。一般而言，适于 静态存储分配的语言必须满足以下条件： 　　(1) 数组的上下界必须是常数； 　　(2) 过程调用不允许递归； 　　(3) 不允许采用动态的数据结构(即在程序运行过程中申请和 释放的数据结构) 。 第6章　运行时存储空间组织 　　满足这些条件的语言除了FORTRAN之外，还有BASIC等语 言。在这些语言中，编译程序可以完全确定程序中数据项所在的 地址(通常为相对于各数据区起始地址的位移量) 。由于过程调用 不允许递归，因此数据项的存储地址就与过程相联系。过程调用 所使用的局部数据区可以直接安排在过程的目标代码之后，并把 各数据项的存储地址填入相关的目标代码中，以便在过程运行时 访问这个局部数据区。在此，不存在对存储区的再利用问题，目 标程序执行时不必进行运行时的存储空间管理，过程的进入和退 出变得极为简单。 第6章　运行时存储空间组织 　　FORTRAN语言的静态存储管理特点是FORTRAN程序中的 各程序段均可独立地进行编译。在编译过程中，给程序中的变 量或数组分配存储单元的一般做法是：为每一个变量(或数组) 确定一个有序的整数对；其中，第一个整数用来指示数据区(局 部数据区或公用区) 的编号，第二个整数则用来指明该变量(或 数组)所对应的存储起始单元相对于其所在数据区起点的位移 ( 即相对于数据区起点的地址) ，并将这一对整数填入符号表相 应登记项的信息栏中。至于各数据区的起始地址在编译时可暂 不确定，待各程序段全部编译完成之后，再由连接装配程序最 终确定，并将各程序段的目标代码组装成一个完整的目标程序。 　　一个FORTRAN程序段的局部数据区可由图6–1所示的项目 组成。其中，隐参数是指过程调用时的连接信息(不在源程序中 明显出现) ，如调用时的返回地址、调用时寄存器的保护等；形 式单元用来存放过程调用时形参与实参结合的实参地址或值。 第6章　运行时存储空间组织 图6–1 一个FORTRAN程序段的局部数据区 第6章　运行时存储空间组织 6.2 简单的栈式存储分配 　　我们首先考虑一种简单程序语言的实现，这种语言没有分程 序结构，过程定义不允许嵌套，但允许过程的递归调用，允许过 程含有可变数组。例如，C语言除不允许含有可变数组外，就是 这样一种语言。C语言的程序结构如下： 全局数据说明 main( ) { 　main 中的数据说明  } 第6章　运行时存储空间组织 void R( ) { 　R 中的数据说明 