编译原理－何炎祥-第九章.pptVIP

第九章 运行时的存储组织与管理 翻译程序必须分配目标程序运行时所需的存储空间，本章先介绍数据区和属性字的概念，然后讨论各种数据结构的存储组织，最后，分别给出具有嵌套结构的语言的一种存储组织方式和一种堆式存储分配方案。 9.1 数据区和属性字 数据区是指一片连续的存储单元。在编译时，任何变量运行时的存储单元都可由一个对偶(数据区编号，位移)表示，数据区编号是分配给数据区的唯一编号，位移是指该存储单元相对于该数据区首地址的距离(或单元数)。 程序中变量的属性常常不能在编译阶段全部确定出来。为此，编译阶段在给变量分配存储地址的同时，还为它分配一个属性字，用以记录该变量在运行时所确定的属性， 9.2 基本数据类型的存储分配 基本数据类型通常包括整型、实型、布尔型和指示器型。 整型变量通常占用数据区中的一个单元。 实型变量通常占用一个字或采用双倍字长的浮点形式。 布尔变量占用一个字或用一个二进位表示一个布尔变量，并尽可能把许多布尔变量合并在一个字中。 指示器型数据通常在数据区中占用一个单元。 9.3 数组的存储分配 9.3.1 单块存储方式 单块存储方式就是把数据区中的一片相连单元分配给数组的元素，数组的所有元素则按次序连续地存储在这片数据区中。 元素的排列次序通常为两种：按行的次序和按列的次序。 9.3 数组的存储分配 9.3 数组的存储分配 9.3.2 信息向量与数组分配程序 有的语言中，数组的上、下界要到运行时才能计算出来，则需要在数据区中安排数组的信息向量(包括：维数，各维的上、下界，数组的首地址，数组元素类型等信息)所需的单元(这些单元的大小是可以在编译时刻计算出来的)，在运行时刻再根据实际数组元素的多少而安排数组元素的存储分配。 9.3 数组的存储分配 9.3.3 多块存储方式 多块存储方式是对每一行都分配一个单块数据区，每行的元素按递增次序存放在这块数据区中。此外，还设一个指示器表，用以指示这些单块数据区的开始位置。 9.3 数组的存储分配 9.4 记录结构的存储分配 记录结构是由不同类型的数据组合起来的一种结构。 一个记录通常有若干个分量，不同分量的数据类型可以不同，但分量的名字必须是唯一的。 记录结构最简单的存储分配方式就是将其分量依次连续存储在一个数据区中。 9.5 参数传递方式及其实现 一个过程或子程序一经定义，就可以被调用。调用与被调用者之间的信息交流是通过全局量或经由参数传递的方式进行。 不同语言的形实参数结合方式不同，解决的方法也各不相同。 9.5 参数传递方式及其实现 9.5.1 换名 这是一种用实在参数的地址计算程序对形式参数进行原文替换的调用方式。 在调用者中，对应每一个实行名字调用的实参都编制一个单独的程序(称形实替换程序)，该程序负责计算实参的地址。 当调用时，将此形实替换程序的入口地址传递给被调用者。被调用者每遇到形参，就按此入口地址调用形实替换程序，计算实参的地址，并按计算出的地址引用实参。 9.5 参数传递方式及其实现 9.5.2 传值 将实参值送被调用者的临时单元，被调用者使用此临时单元引用实参数。 每个形式参数在数据区中需要一个存放实参值的单元。被调用者对形参的所有引用都是对存放值的形参单元的引用。 9.5 参数传递方式及其实现 9.5.3 传地址 如果实参是 ①简单变量/临时变量，则将其地址送到被调用者形参中; ②常量，则将其值存放到临时单元中，将临时单元的地址送到被调用者形参中； ③表达式，计算出其值并存放在临时单元中，将临时单元地址送到被调用者形参中。 每个形式参数在数据区中需要一个存放实参地址的单元。被调用者对形参的所有引用都是对实参的直接引用。 9.5 参数传递方式及其实现 9.5.4 传结果 实参的值和地址分别被送到被调用者存放实参值的单元X和存放实参地址的单元Y。 每个形式参数在数据区中需要一个存放实参值的单元X和一个存放实参地址的单元Y。被调用者通过X取值使用，调用结束后，在返回时，按Y地址将结果写入实参对应的单元。 9.5 参数传递方式及其实现 9.5.5 数组名用做实参 在实参和形参都是数组时，把实参的首地址或信息向量的首地址传递给被调用者，被调用者按此地址引用实参。 9.5.6 过程名用做实参 把实参的第一条指令地址传递给被调用者。 9.6 栈式存储分配方法 9.6.1 概述 栈式存储分配方法指把整个程序的存储（数据）空间都安排在一个栈内，其主要思路是 ① 进入主程序时，将主程序定义的各类量（全程量）所需存储空间分配于栈的顶部； ② 每当调用一个子程序（过程/函数）时，就将它所需的存储空间分配于栈的当