目标程序运行时的存储组织概述.ppt

《目标程序运行时的存储组织概述.ppt》由会员上传分享，免费在线阅读，更多相关内容在PPT专区-天天文库。

1、第10章目标程序运行时的存储组织10.1概述10.2栈式存储分配的实现10.3参数传递10.4过程调用、过程进入和过程返回教学内容：教学方式：讲授式+启发式教学目的：1、介绍目标程序运行时的存储组织方式，包括静态存储分配和动态存储分配。2、要求掌握各种存储组织形式的基本方法。教学重点：1、静态分配策略和动态分配策略基本思想。2、嵌套过程语言栈式分配。3、活动记录、运行时栈的组织。教学难点：1、嵌套过程语言栈式分配。2、活动记录、运行时栈的组织。教学时数：2学时10.1概述任务：编译程序对目标程序运行时的数据空间的组织和管理（设计运行环境

2、和分配存储）如通常存储分配布局可为：目标代码区静态数据区Stackheap运行环境和存储分配设计分析逻辑阶段：在目标代码生成前，作准备实质：关联（Binding）将源程序的文本程序运行动作的实现源文件中的名字N运行时的存储S在语义学中，使用术语environment函数表示env:N→S(N到S的映射)术语静态：如果一个名字的性质通过说明语句或隐或显规则而定义，则称这种性质是“静态”确定的。动态：如果名字的性质只有在程序运行时才能知道，则称这种性质为“动态”确定的。可变(动态)数组：若一个数组所需的存储空间的大小在编译时就已知道，则称

3、它为确定数组，否则称为可变(动态)数组。例procedureA(m,n:integer);beginrealz;arrayB[m:n];begin···end;end;10.2栈式存储分配的实现1、简单的栈式存储分配的实现2、嵌套过程语言的栈式实现3、分程序结构的存储管理1、简单的栈式分配方案程序结构特点:没有分程序结构，过程定义不嵌套，过程可递归调用。例:main全局变量的说明procR……endR;procQ……endQ;主程序执行语句endmain2、嵌套过程语言的栈式分配方案主要特点：（语言）一个过程可以引用包围它的任一外层过程

4、所定义的标识符（如变量，数组或过程等）。（实现）一个过程可以引用它的任一外层过程的最新活动记录中的某些数据。关键技术：解决对非局部量的引用（存取）。设法跟踪每个外层过程的最新活动记录AR的位置。跟踪办法：1.用静态链（如PL/0的SL）。2.用DISPLAY表。DISPLAY表的维护和建立DISPLAY表d运行栈0主程序活动记录地址1R活动记录地址DISPLAY表是一个指针数组d（小栈），自顶向下每个单元依次存放现行层，直接外层，……直至最外层（0层）等每层的最新活动记录地址。...用Display表的方案(1)主程序--->(2)P--

5、->(3)Q--->(4)RP的活动记录主程序的活动记录d[1]d[0]displaysptop主程序的活动记录d[0]spdisplaytop（1）（2）用Display表的方案主程序--->P--->Q--->RR的活动记录Q的活动记录P的活动记录主程序的活动记录Q的活动记录P的活动记录主程序的活动记录displayd[2]d[1]d[0]d[1]d[0]displaysptoptopsp（3）（4）当过程的层次为n，它的display为n+1个值。一个过程被调用时，从调用过程的DISPLAY表中自下向上抄录n个SP值，再加上本层的S

6、P值。全局DISPLAY地址Display作为活动记录的一部分ProcedureA(m,n);integerm,n;B1:beginrealz;arrayB[m:n];B2:beginreald,e;L3:2end;B4:beginarrayC[1:m];1B5:beginreale;L6:54end;end;L8:end;3、分程序结构的存储配方案处理分程序结构存储分配方案的一种简单办法是，把分程序看成“无参过程”，它在哪里定义就在哪里被调用。因此，可以把处理过程的存储办法应用到处理分程序中。但这种做法是极为低效的。一则，每逢进入一个分

7、程序，就照样建立连接数据和DISPLAY表,这是不必要的。二则，当从内层分程序向外层转移时，可能同时要结束若干个分程序。按照过程处理办法，意味着必须一层一层地通过“返回”来恢复所要到达的那个分程序的数据区，但不能直接到达。例如：如果有一个从第5层分程序转出到达第1层分程序的标号L，虽然在第5层分程序工作时知道L所属的层数，我们极易从DISPLAY中获得第1层分程序的活动记录基址（SP），但是怎么知道第1层分程序进入时的TOP呢？唯一的办法是从5,4,3和2各层顺序退出。但这种办法是很浪费时间的。为了解决上述问题，可采取两种措施。第一，对每

8、个过程或分程序都建立有自己的栈顶指示器TOP，代替原来仅有过程的栈顶指示器,每个TOP的值保存在各自活动记录中。这样，上述的第二个问题便可解决。第二，不把分程序看作“无参过程”，每个分程序享用