演示文稿第九章.pptVIP

第九章 目标程序运行时的存储组织 概述 简单的栈式分配方案 参数传递 概 述 代码生成前如何安排目标机资源 运行时组织的几个问题 数据表示-如何在目标机中表示每个源语言类型的值 表达式求值-如何组织表达式的计算 存储分配-如何组织不同作用域变量的存储 过程实现-如何以例程实现过程，函数，参数传递 从逻辑上看，在代码生成前，编译程序必须进行目标程序运行环境的设计和数据空间的分配。一般来讲，假如编译程序从操作系统中得到一块存储区以使目标程序在其上运行，该存储区需容纳生成的目标代码和目标代码运行时的数据空间。 数据空间应包括：用户定义的各种类型的数据对象（变量和常数）所需的存储空间，作为保留中间结果和传递参数的临时工作单元，调用过程时所需的连接单元，以及组织输入/输出所需的缓冲区。目标代码所占用空间的大小，在编译时能确定，有些数据对象所占用的空间也能在编译时确定，其地址可以编译进目标代码中。但有些数据对象具有可变体积和待编译性质，而无法在编译时确定存储空间的位置。 因此运行时的存储区常常划分成：目标区、静态数据区、栈区和堆区， 编译程序分配目标程序运行时的数据空间的基本依据是程序语言设计时对程序运行中存储空间的使用和管理办法的规定。 所谓数据空间的分配，本质上看，是将程序中的每个名字与一个存储位置关联起来，该存储位置用以容纳名字的值。我们知道，即便有些名字在程序中只声明了一次，但该名字可能对应运行时不同的运行空间位置以容纳每次执行时的值。 因此，源语言的结构特点、源语言数据类型、源语言中决定名字作用域的规则等因素影响存储空间的管理和组织的复杂程序，决定数据空间分配的基本策略。 术语 静态：如果一个名字的性质通过说明语句或隐或显规则而定义，则称这种性质是“静态”确定的。 动态：如果名字的性质只有在程序运行时才能知道，则称这种性质为“动态”确定的。 可变 (动态)数组： 若一个数组所需的存储空间的大小在编译时就已知道，则称它为确定数组，否则称为可变(动态)数组。 如像FORTRAN这样的语言，其程序是段结构的，即由主程序段和若干子程序段组成。各程序段中定义的名字一般是彼此独立的（除公共块和等价语句说明的名字以外），也即各段的数据对象名的作用域在各段中，同一个名字在不同的程序段表示不同的存储单元，不会在不同段间互相引用、赋值。 过程所需的数据空间包括两部分，一部分是生存期在本过程这次活动中的数据对象，如局部变量、参数单元、临时变量等等；另一部分则是用以管理过程活动的记录信息，即当一次过程调用出现时，调用该过程的那个过程的活动即被中断，当前机器的状态信息，诸如程序计数器（返地址）、寄存器的值等，也都必须保留在栈中。 当控制从调用返回时，便根据栈中记录的信息恢复机器状态，使该过程的活动重新开始。 这种情况下通常使用一种称为堆式的动态存储分配方案。假设程序运行时有一个大的存储空间，每当需要时就从这片空间中借用一块，不用时再退还。 Program main； 全局变量的说明； proc R； …… end R; proc Q； …… end Q; 主程序执行语句 end .( main) 嵌套过程语言的栈式分配方案 主要特点： （语言）一个过程可以引用包围它的任一外层过程所定义的标识符（如变量，数组或过程等）。 （实现）一个过程可以引用它的任一外层过程的最新活动记录中的某些数据。 关键技术：解决对非局部量的引用（存取）。 设法跟踪每个外层过程的最新活动记录AR的位置。 跟踪办法： 1. 用静态链（如PL/0的SL）。 2. 用DISPLAY表。 解决对非局部量的引用（存取）用Display表 Display表---嵌套层次显示表 当前激活过程的层次为K，它的Display表含有K+1个单元，依次存放着现行层，直接外层…直至最外层的每一过程的最新活动记录的基地址 用Display表的方案 (1)主程序---(2)P---(3)Q---(4)R 用Display表的方案 主程序---P---Q---R DISPLAY表的维护和建立 DISPLAY表d 运