编译原理 教学课件 作者 李冬梅 施海虎 第7章 运行时的存储组织与分配.pptVIP

* * * * * * * 编 译 原 理 * 第7章　运行时的存储组织与分配 要求明确静态存储分配和动态存储分配的含义 明确活动记录的含义及组成 了解静态、动态存储分配的策略 掌握PL/0的存储分配策略 教学目标 S.P O.P 语义分析、生成中间代码 生成目标程序 代码优化 语法分析程序 词法分析程序 错 误 处 理 符 号 表 管 理 编译程序在编译阶段要为源程序中出现的变量、常量等组织好在运行阶段的存储空间 将这种组织形式通过生成的目标代码体现出来 为运行阶段实现存储奠定基础 7.1 存储组织概述 7.2 静态存储分配 7.3 栈式动态存储分配 7.4 堆式动态存储分配 7.5 PL/0编译程序目标代码解释执行时的存储分配 教学内容 7.1　存储组织概述 运行时存储空间的划分 代码空间 数据空间 目标代码空间 静态数据空间 栈 自由空间 堆 过程的活动和活动记录 一个过程的活动：该过程的一次执行。 即每次执行一个过程体，就产生该过程的一个活动。 活动记录：为了管理过程在一次执行中所需要的信息，使用一段连续的存储区 活动记录的结构 7.2　静态存储分配 在编译阶段由编译程序实现对存储空间的 管理，为源程序中的变量分配存储单元。（如看电影） 条件 在编译时能够确定变量在运行时的数据空间大小 运行时不改变 FORTRAN程序的静态分配 动态存储分配 在目标程序运行阶段由目标程序实现对存 储空间的组织与管理，为源程序中的变量分配存储单元 特点 在目标程序运行时进行分配 编译时为运行阶段设计好存储组织形式，即为每个数据项安排好它在数据区中的相对位置 C语言引用sizeof进行计算时，是在编译阶段完成的，还是在运行阶段完成的？ （如开大会） 7.3　栈式动态存储分配 变量生存期具有嵌套特性，即后进先出的特性（如递归） 进入时：在栈顶为其分配一个数据区 退出时：撤消过程数据区 练习 下面程序的运行结果是什么？如果把第6行的(i+1)*fact( )改成fact( )*(i+1)的话，则程序的运行结果是有什么变化？试分析为什么会有这两种不同的结果。 int fact( ) { static int i=5; if(i==0) return 1; else { i--; return((i+1)*fact( )); //第6行 }} main( ) { printf(factor of 5!=%d\n,fact());} 7.4　堆式动态存储分配 变量生存期具有随机交叉特性，即非后进先出的特性（如程序运行时动态申请存储空间） 给运行的程序划分一个大的存储区(称为堆) 每当需要时可从堆中分得一块 用完之后再退还给堆 7.5　PL/0目标代码解释执行时的存储分配 code 程序存储器 s 数据存储器 i 指令寄存器 b 基本地址寄存器 t 地址寄存器 p 程序地址寄存器 pcode解释器的结构 保存目标代码 执行时的数据栈 （1）程序存储器code struct instruction{ enum fct f ; int l; int a; }; struct instruction code[CXMAX+1]; （2）数据存储器s int s[STACKSIZE]; 在调用一个过程时，先要在数据栈顶为过程及其变量分配一些位置。所有操作运算都在栈顶找到它的操作数，并以计算结果代之。栈顶数据元素在数据栈的位置通过地址寄存器t标记。 （3）程序地址寄存器p int p=0; p是code数组的索引地址，用来存放下一条要解释执行指令在程序存储器code里的位置。在解释执行时才用到，初值为0，即第1条要解释执行的指令存放在code[0]。 （4）地址寄存器t int t=0; 地址寄存器t是s数组的索引地址，由于数据存储器被当作数据栈使用，它用来存放数据栈s的栈顶位置。在解释执行时才用到，初值为0，在解释执行前，数据栈是空栈。。 （5）指令寄存器i struct instruction i; 用来存放正在解释执行的一条目标代码指令。在解释程序里，每次通过i=code[p]；和p=p+1；这两条赋值语句，完成从程序存储器code中取指令，以及使程序地址寄存器p指向下一条指令位置的任务。 （6）基本地址寄存器b int b=1; 在解释执行时用到，初值为1，它等于正在执行的过程段在数据栈的起始地址。