《现代体系结构的优化编译器》
基本信息
- 书名: Advanced Compiler Design and Implementation
- 作者: Doug Burger, R. Thomas Wilkinson
- 页数: 833页
- 类型: 文本型PDF
核心观点
本书是基于依赖分析的编译器优化技术的经典教材，总结了作者团队在Rice大学20年的研究成果。核心思想是：依赖分析是编译器优化的基础，所有优化变换都必须保证依赖关系不改变。
关键概念
1. 依赖（Dependence）理论
- 流依赖（Flow Dependence）：写后读，true dependence
- 反依赖（Anti-dependence）：读后写，anti-dependence
- 输出依赖（Output Dependence）：写后写，output dependence
- 距离向量（Distance Vector）：描述循环依赖的距离
- 方向向量（Direction Vector）：描述依赖的方向（<、=、>）
2. 主要优化技术
- 循环交换（Loop Interchange）：改善内存访问局部性
- 循环分块（Blocking/tiling）：提高缓存命中率
- 标量扩展（Scalar Expansion）：消除反依赖
- 循环融合（Loop Fusion）：减少内存访问
- 循环展开（Loop Unrolling）：提高指令级并行
- 软件预取（Software Prefetching）：隐藏内存延迟
- 标量替换（Scalar Replacement）：寄存器分配优化
3. 并行化技术
- 细粒度并行：循环内操作并行
- 粗粒度并行：循环间并行
- 向量化：利用SIMD指令
- 多处理机分配：数据分布与通信优化
章节结构
| 章节 | 主题 |
|---|---|
| 第1章 | 编译器对高性能架构的挑战 |
| 第2章 | 依赖理论与实践 |
| 第3章 | 依赖测试方法 |
| 第4章 | 初步变换 |
| 第5章 | 增强细粒度并行 |
| 第6章 | 创建粗粒度并行 |
| 第7章 | 控制依赖 |
| 第8章 | 寄存器使用优化 |
| 第9章 | 缓存管理 |
| 第10章 | 调度 |
| 第11章 | 过程间分析与优化 |
| 第12章 | 依赖的其他应用 |
| 第13章 | 数组赋值编译 |
| 第14章 | 高性能Fortran编译 |
| 附录 | Fortran 90基础 |
核心原则
变换合法性检查
任何循环变换都必须满足：
- 保持所有依赖关系不变
- 保持程序语义等价
- 不引入新的依赖
性能目标
- 最大化指令级并行（ILP）
- 最小化内存访问延迟
- 充分利用向量/并行单元
- 优化缓存利用率
重要结论
- 依赖分析是核心：所有优化变换的合法性检查都基于依赖分析
- 层次化优化：从细粒度并行到粗粒度并行，层层递进
- 硬件-aware设计：编译器必须了解目标架构的特性
- 实际有效：书中的技术已被应用于多个商业编译器（IBM Vector Feature、Parafrase等）
应用场景
- 高性能计算（HPC）编译器开发
- 科学计算代码优化
- 并行程序自动并行化
- 向量化编译器设计
与其他知识的关联
- 《深入理解计算机系统》 - 计算机体系结构基础
- 《程序员的自我修养》 - 链接、装载与库，理解编译输出的后续处理
- 《C++ Concurrency in Action》 - 现代并发编程，理解并行化的实际应用
- 《数据并行程序设计》 - 并行计算模型，与本书的技术互补
可行动点
- 对于性能敏感的科学计算代码，考虑使用OpenMP或MPI进行并行化
- 理解循环变换的合法性条件，避免错误优化
- 关注内存访问模式，利用缓存友好性优化代码
- 学习Fortran 90/HPF中的并行特性，理解现代编程语言的设计思路
备注
本书基于Rice University的研究成果，是编译器优化领域的经典教材。内容较为理论化，适合研究者和高级开发者阅读。