[第章运行时刻环境的组织.ppt

第一章：编译概述 编 译 原 理 杭州电子科技大学 第 6 章 运行时刻环境的组织 概述 有关源语言中的一些问题的讨论 存储组织 运行时刻存储分配策略 对非局部名字的访问 6.0 概述 在生成目标代码之前，必须了解目标代码执行时的环境 过程（或函数） 过程的活动 活动树 控制栈 说明的作用域 6.1 有关源语言中的一些问题的讨论 名字的绑定 6.1 有关源语言中的一些问题的讨论 几种典型程序设计语言的特点 6.2 存储组织 运行时刻内存的典型划分 活动记录 6.3 运行时刻存储分配策略 静态存储分配 FORTRAN 语言 程序设计语言若允许递归调用、可变数组、可变数据结构： 栈式存储分配的思想： 栈式存储分配的实现 有些程序设计语言允许用户自由申请内存空间，如 C 的 malloc 和 free，PASCAL 的 new 和 dispose 这时采用堆式存储分配方案 6.4 对非局部名字的访问 非局部名字 最近嵌套的作用域规则 main ( ) { int a = 0; int b = 0; { int b = 1; { int a = 2; } { int b = 3; } } } 分程序（块）结构 —— ALGOL 和 C 不含过程嵌套定义 —— C 有过程嵌套定义 —— PASCAL 存取链 DISPLAY表 反映在目标代码生成器的构造策略中，最终体现在生成的目标代码中 调用序列 目标代码中的一个指令序列，完成调用一个过程的一系列操作，包括为被调用过程分配一个活动记录，并在相应的域中填入信息 6.3 运行时刻存储分配策略 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 返回序列 目标代码中的一个指令序列，完成从一个被调用过程返回到它的调用过程的一系列操作，包括释放被调用过程的活动记录，并复制出返回值 具体内容：P170 6.3 运行时刻存储分配策略 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 返回值和参数 控制链 访问链和机器状态 局部数据临时数据 返回值和参数 局部数据临时数据 ? ? ? 控制链 访问链和机器状态 top_sp 被调用者的责任 调用者的责任 被调用者的活动记录 调用者的 活动记录 栈 6.3 运行时刻存储分配策略 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 何时申请何时释放由用户决定 有些程序设计语言在进行数据空间分配时不服从栈式的存储分配原则（即“先申请后释放、后申请先释放”） 6.3 运行时刻存储分配策略 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 运行空间划分一块堆区 用户（显式）或目标代码需要时从这堆中借用一块，不用时退