《编译原理及实践--运行时环境》中学生教育文学丛书.pdfVIP

下载 下载 第7章 运行时环境 本章要点 • 程序执行时的存储器组织 • 动态存储 • 完全静态运行时环境 • 参数传递机制 • 基于栈的运行时环境 • TINY语言的运行时环境 在前几章中，我们已研究了实现源语言静态分析的编译程序各阶段。该内容包括了扫描、 分析和静态语义分析。这个分析仅仅取决于源语言的特性，它与目标 (汇编或机器)语言及目标 机器和它的操作系统的特性完全无关。 在本章及下一章中，我们将转向研究编译程序如何生成可执行代码的问题。这个研究包括 了附加分析，例如由优化程序实现的分析，其中的一些可以与机器无关。但是代码生成的许 多任务都依赖于具体的目标机器。然而同样地代码生成的一般特征在体系结构上仍保留了很 大的变化。运行时环境 (runtime environment)尤为如此，运行时环境指的是目标计算机的寄存 器以及存储器的结构，用来管理存储器并保存指导执行过程所需的信息。实际上，几乎所有 的程序设计语言都使用运行时环境的 3个类型中的某一个，它的主要结构并不依赖于目标机器 的特定细节。环境的这3个类型分别是：F O RT R A N 7 7 的完全静态环境(fully static environment) 特征、像 C 、C + + 、P a s c a l 以及A d a这些语言的基于栈的环境 (stack-based environment) ，以及 像L I S P这样的函数语言的完全动态环境 (fully dynamic environment) 。这3种类型的混合形式 也是可能的。 本章将按顺序逐个讨论这 3种环境，还指出哪些环境是可行的语言特征以及它们必须具有 的特性。这包括了作用域及分配问题、过程调用的本质和不同的参数传递机制。这一章集中讨 论的是环境的一般结构，而第 8章着重于维护环境需要生成的真实代码。在这一点上，大家应 记住编译程序只能间接地维护环境，在程序执行期间它必须生成代码进行必要的维护操作。相 反地由于解释程序可以在其自己的数据结构中直接维护环境，因而它的任务就很简单。 本章的第一节包括了对所有运行时环境的一般特征及其与目标机器的体系结构之间的关系 的论述；之后的两节探讨了静态环境和基于栈的环境，以及执行时的操作示例。由于基于栈的 环境是最常见的，所以我们对于基于栈系统的不同变型和结构又要着重讲述。在这之后是一些 动态存储问题，其中包括了完全动态环境和面向对象的环境。下面还会讲到有关环境操作的各 种参数传递技术。本章最后简要描述了实现 T I N Y语言所需的简单环境。 7.1 程序执行时的存储器组织 典型计算机的存储器可分为寄存器区域和较慢的直接编址的随机访问存储器 ( R A M ) 。 R A M 区域还可再分为代码区和数据区。在绝大多数的语言中，执行时不可能改变代码区，且 在概念上可将代码和数据区看作是独立的。另外由于代码区在执行之前是固定，所以在编译时 所有代码的地址都是可计算的，代码区可如下所示： 第 7章 运行时环境 2 6 7 下载 过程1的入口点 过程1的代码 过程2 的入口点 过程2 的代码 过程n 的入口点 过程n 的代码 代码存储器 特别地，在编译时还可以知道每个过程的入口点和函数 。对数据的分配不能这样说，它只有