编译第七章运行时环境.pptVIP

第 7 章 运行时环境;目标代码;词法分析, 语法分析和静态语义分析 是编译器中实现源语言静态分析的编译程序各阶段，这些分析仅取决于源语言的特性 代码生成 的任务依赖于具体的目标机器。 然而同样地代码生成的一般特征在体系结构上仍保留了很大的变化, 例如 运行时环境;运行时环境 指的是目标计算机的寄存器以及存储器的结构，用来管理存储器并保存指导执行过程所需的信息。 寄存器和存储器分配是在运行阶段进行的 编译阶段设计运行时环境只能间接地维护环境 在程序执行期间它必须生成代码进行必要的维护操作;;7.1 程序运行时的存储器组织 7.2 三种运行时环境 7.3 参数传递机制 ;7.1 程序运行时的存储器组织;RAM 区域还可以再分为代码区和数据区 代码区 代码区在执行之前是固定的，在编译时所有代码的地址都是可计算的;;数据区的分类 全局/静态区 在执行之前，将数据固定在存储器中，包括了程序的全局和静态数据 这些数据通常都在一个固定区域内并以类似的风格单独分配给代码;栈区 栈区域用于其分配发生在后进先出LIFO风格中的数据 堆区 堆区域用于不符合LIFO协议的动态分配 例如指针的分配与回收: C++的new 和 delete ，C的 malloc 和 free;一般的运行时存储器组织;7.2 三类运行时环境;例如: FORTRAN 程序 Program CNSUME //主程序段 …… Character function PRDUCE() //子程序段 ……;基于栈的运行时环境 当进行一个新的过程调用时，每个新的活动记录部分都分配在栈顶，当调用退出时则再次解除分配 标准命令式语言（如C，Pascal）中常见的运行时环境格式，这种语言: 允许递归调用 每一个调用都重新分配局部变量;Program main; 全局变量定义; Procedure R; … End(R); Procedure Q; … End(Q); 主程序执行体 End.(main);完全动态运行时环境 完全动态运行时环境 数据空间在执行时可以任意次地分配与回收。 活动数据仅在对它们所有的引用都消失了才再重新分配 完全动态运行时环境比基于栈的运行环境要复杂许多，因为它包含了要在执行时跟踪引用，以及在执行时任意次地找寻和重新分配存储器的不可访问区域（这种处理称为垃圾回收）;堆管理和完全动态运行时环境 ???管理使用 分配操作和释放操作处理指针分配和重新分配, 这是管理堆的手工方法，因为程序员必须编写出分配和释放存储器的明确的调用 在一种需要完全动态的运行时环境的语言中，堆必须自动管理;7.3 参数传递机制;参数传递 在过程调用中，参数是如何通过调用程序在跳到被调用过程的代码之前与活动记录中的位置相对应的 参数的值是如何由过程代码解释依赖于源程序采用的特定 参数传递机制;;1 传值;;例如 //过程定义 procedure SWAP(n, m: real); var j: real; begin j:=n; n:=m; m:=j end; //主程序 int i; int k[10]; i:=5; k[i]:=6; SWAP(i, k[i]);;执行了过程语句后 “j:=n;n:=m;m:=j”;2 引用传递;;例如 //过程定义 procedure SWAP(n, m: real); var j: real; begin j:=n; n:=m; m:=j end; //主程序 int i; int k[10]; i:=5; k[i]:=6; SWAP(i, k[i]);;过程代码执行后“j:=n;n:=m;m:=j”;3 值结果传递;例如 //过程定义 procedure SWAP(n, m: real); var j: real; begin j:=n; n:=m; m:=j end; //主程序 int i; int k[10]; i:=5; k[i]:=6; SWAP(i, k[i]);;过程代码执行后 “j:=n;n:=m;m:=j”;4 名字传递;传名 主程序的 SWAP(i, k[i]) 被替换为;