运行时存储空间的划分 活动记录概念 存储空间分配策略 1、静态存储分配 2、动态存储分配 简单栈式存储分配 嵌套过程语言的栈式分配 典型范例解析

概述 三条优化原则 局部优化 基本块的划分 基本块的变换 基本块优化的实现（DAG的使用） 流图 (控制流程图) 循环 循环查找 前置结点 可归纳流图 循环优化常用方法

属性文法和语法制导翻译 属性文法 综合属性 继承属性 基于属性文法的处理方法 依赖图 属性的计算次序 树遍历的属性计算方法 一遍扫描的处理方法 抽象语法树 S-属性文法的自下而上计算 分析栈中的综合属性 L属性文法和自顶向下翻译 翻译模式 自顶向下翻译 递归下降翻译器的设计 自下而上计算继承属性 从翻译模式中去掉嵌入在产生式中间的动作 分析栈中的继承属性 模拟继承属性的计算 用综合属性代替继承属性

代码优化是从生成的目标代码中识别出那些可以经过变换而提高效率的部分，并实施这种变换。这种优化并不是极值理论中的那种求极值点的优化，它只追求变换后的代码要比变换前的效率要高些

– 使用指令级并行的基础问题 – 提取并行的数据相关性分析 – 代码调度的基本概念 – 基本块调度的技术、发现通用程序中的高度数据相关控制流的方法、调度数值程序的软件流水线技术 – 在多处理器系统上，使用数组的计算密集型程序的并行化和数据局部性优化的概念和方法

• 一个简单的代码生成算法 – 涉及存储管理、指令选择、寄存器分配和计算次序选择等基本问题 • 通过一个完整的例子来介绍代码优化

– 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 – 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查

介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间形式

– 通过实例来介绍代码改进的主要机会 – 数据流分析包括的几类重要的全局收集的信息 – 数据流分析的一般框架 – 和一般框架有区别的常量传播 – 部分冗余删除的优化技术 – 循环的识别和分析

1、介绍语义描述的一种形式方法：语法制导的翻译，它包括两种具体形式： –语法制导的定义 –翻译方案 2、介绍语法制导翻译的实现方法