《编译原理课程教案》第6章：运行时存储分配

《《编译原理课程教案》第6章：运行时存储分配》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、运行时存储空间的组织第六章本章要求主要内容：程序的静态文本与它运行时的活动之间的关系，源程序运行时各种对象的存储空间主要有三种方式分配方式：静态存储分配、栈式存储分配和堆式存储分配重点掌握：源程序运行时的活动，参数传递方式，程序中名字的作用域，局部数据区的内容，存储空间的分配方式6.1程序执行时的活动静态和动态的联系名字和数据对象数据对象的动态表示名字的作用域数据对象的存储分配过程和活动参数处理运行时支撑程序包过程相关的几个概念过程定义是一个声明，它的最简单的形式是把一个标识符（过程的名字）和一段语句联系起来。当过程名出现在可执行语句中时，则称过程在该点被调用出现在过程定义中的标识符称为

2、形式参数（或形参）出现在过程调用中的标识符或常数称为实在参数（或实参）一个过程的一次执行指的是从过程体的起点开始，最后退出该过程，将控制返回到该过程被调用之后的位置。一个过程的活动指的是该过程的一次执行。就是说，每次执行一个过程体就产生该过程的一个活动。从执行该过程体的第一步操作到最后一步操作之间的操作序列所花的时间称为该过程的一个活动的生存期声明的作用域语言中名字的声明是把信息与名字联系起来的语法结构。区分同名程序声明：最接近的嵌套规则inta,b;int*p;intfoo(inta){intb,c;char*p;p=malloc(sizeof(char));b=foo(1);…}作用

3、域：一个声明起作用的程序部分称为该声明的作用域局部和非局部：过程中名字的出现，如果是在该过程的一个声明的作用域内，则这个出现称为局部于该过程参数的传递传地址（常用）：把实在参数的地址传递给相应的形式参数传值（常用）：调用段把实在参数的值传给被调用段。被调用段把实参值抄进形式单元中，再使用。得结果：形式参数对应有两个单元，第一个单元放实参的地址，第二个单元放实参的值。对形式参数的任何引用或赋值都看成是对第二个单元的直接访问，过程返回前必须把第二个单元的内容存放到第一个单元所指的那个实参单元之中传名：(ALGOL60)过程调用相当于把被调过程的过程体抄到调用出现的位置，把其中任一出现的形式参

4、数都替换成相应的实在参数（文字替换）名字的绑定静态概念动态概念过程的定义名字的声明声明的作用域过程的活动名字的绑定绑定的生命期程序中声明的名字和动态数据对象的关系数据对象是保存值的存储单元一个名字可能代表不同的数据对象环境：表示将名字映射到存储单元（即名字的左值）的函数状态：表示将存储单元映射到它所保存的值（即名字的右值）的函数赋值操作只改变状态，但不改变环境结合：如果环境把存储单元s联系到名字x，则称x绑定到s，这个联系本身称为x的绑定名字绑定要考虑的问题过程是否递归当控制从过程的活动返回时，局部名字的值是否要保留过程能否引用非局部的名字过程调用时参数是如何传递的过程是否可以作为参数被

5、传递过程能否作为结果值返回存储区能否在程序控制下动态地分配存储区是否必须显式地释放6.2运行时内存的划分程序运行时如何使用内存：目标代码的存放目标代码可以存放在静态确定的区域，其长度在编译时即可确定数据对象可静态分配的数据对象，其地址可以编译到目标代码中动态分配控制栈：记录过程活动堆：可以存放动态分配的数据等，但开销要比栈大过程1的目标代码代码区过程2的目标代码……过程n的目标代码全局变量和静态变量静态数据栈自由空间堆动态数据局部数据区的内容活动记录：过程的依次执行所需要的信息用一块连续的存储区来管理，这块存储区叫做活动记录或帧并不是所有的语言或编译器都是如此寄存器的使用活动记录的操

6、作：过程被调用时入栈过程返回时出栈活动记录的各个域的作用临时数据：临时变量的存储等局部数据：局部于过程执行的数据机器状态：保存过程调用前的机器状态信息返回地址可选的访问链：用于非局部数据的访问可选的控制链：指向调用者的活动记录实在参数域：参数个数较少时，可以考虑用寄存器传递，效率高；参数多时用用这个域传递返回值域：用于存放被调用过程返回给调用过程的值，也可以用寄存器返回（效率高，但形式受限制）6.3存储分配策略静态存储分配栈式存储分配堆式存储分配静态存储分配策略名字的绑定：编译时实现，不需要运行时支撑程序名字和存储的绑定是固定的允许名字的值在过程停止活动后保持根据名字的类型，编译器可以在

7、静态时刻确定该名字所需的存储空间，效率局限：数据对象的长度和它在内存中位置的限制必须在编译时知道不允许递归过程不允许有动态数据结构在FORTRAN77中，静态存储分配策略，每个过程的活动记录可以与它的代码放在一起静态存储分配策略（2）PROGRAMCNSUMECHARACTER*50BUFINTEGERNEXTCHARACTERC,PRDUCEDATANEXT/1/,BUF/‘’/6C=PRDUCE()BUF(NEXT,NEXT)=