编译原理课件compiler_slide_ch7.pdf

第7 章 运行环境 7.1 关于存储组织 7.2 静态存储分配 7.3 基于栈的存储分配策略 Ch7 运行环境 7.1 关于程序运行环境与存储组织 7.1.1 概述 问题的提出 源程序最终需要运行。因此必须了解：与源程序等 价的目标程序如何在内存中运行，为了程序的正确运行 需要什么样的支持。 函数 不同的源语言结构，所需的运行环境和支持不同。 本章仅以最简单的、基于过程的、顺序执行的程序为前 提讨论，即源程序的基本结构是顺序执行的过程，过程 与过程之间仅通过子程序调用的方式进行控制流的转移。 Ch7 运行环境 7.1 关于程序运行环境与存储组织 7.1.1 概述 过程、活动、生存期 过程的每一次运行称为一次活动(activation) 。活动是一个动态的概念，它有有限的生存期 (life time) 。 活动的生存期是指从进入活动的第一条指令 执行到离开此活动前的最后一条指令执行的这段 时间，其中包括调用其它过程时其它活动的生存 期。 7.1 关于程序运行环境与存储组织 7.1.2 运行环境与名字的绑定 静态与动态 名字的声明与名字的绑定均需要有对应的存储空 间，而存储空间的对应方式，一个是静态的，一个是 动态的。 声明时关心的是声明的作用域，即当一个名字被 引用时，在不同的作用域中与该名字的不同声明结合； 绑定时关心的是绑定的生存期，即当一个名字在 运行时被实际分配的存储单元，名字与存储单元结合 的这段时间被称为绑定的生存期，显然此生存期应该 和名字的生存期一致。 7.1 关于程序运行环境与存储组织 7.1.2 运行环境与名字的绑定 静态与动态(续) 静态：如果一个名字的性质通过说明语句 或隐或显规则而定义，则称这种性 质是“静态”确定的。 动态：如果名字的性质只有在程序运行时 才能知道，则称这种性质为“动态” 确定的。 7.1 关于程序运行环境与存储组织 7.1.2 运行环境与名字的绑定 静态与动态(续) 静 态 动 态 过程的定义 过程的活动 名字的声明 名字的绑定 声明的作用域 绑定的生存期 符号表 活动记录 运行环境 指目标计算机的寄存器及存储器结构，用来管 理存储器并保存执行过程所需的信息。 7.1 关于程序运行环境与存储组织 7.1.2 运行环境与名字的绑定 变量与值的两步映射 环境(绑定) 状态(赋值) 名字（标识符） 存储位置 值 Compiler/running running 变量名字的映射 环境(绑定) 名字 右值 常量名字的映射 7.1 关于程序运行环境与存储组织 7.1.2 运行环境与名字的