现代体系结构的优化编译器
现代体系结构的优化编译器
基本信息
原书名： Optimizing Compilers for Modern Architectures,A Dependence-Based Approach
原出版社： Elsevier Science作者： （美）Randy Allen,Ken Kennedy
译者： 张兆庆 乔如良 冯晓兵 吴承勇 连瑞琦 刘旸
丛书名： 计算机科学丛书
出版社：机械工业出版社
ISBN：7111141229
上架时间：2004-6-17
出版日期：2004 年7月
开本：16开
页码：573
版次：1-1
内容简介
本书介绍对现代体系结构的编译器进行优化的方法，理论基础是基于循环依赖的。分析基于依赖的变换的正确性论述和依赖测试的详细过程。剖析怎样扩展依赖去处理循环嵌套中的控制流以及跨越整个程序的过程。本书还讨论怎样能用依赖来回答现代计算机系统编译中的众多重要问题，包括支持不同类型体系结构(例如，向量、多处理器、超标量)的并行化，存储层次结构的编译器管理，带指令级并行性的机器的指令调度。最后，介绍一些不大为人熟知的应用，如硬件设计、数组语言实现以及消息传递系统的编译。
设计具有高性能微处理器的现代计算机体系结构，能够极大地提高计算机在性能方面的潜在优势。然而其高度的复杂性使得产生有效代码和实现其全部优势变得愈加困难。这本出自两位学术权威的具有里程碑意义的教科书，重点阐述了编译器对于解决这个至关重要问题所起到的关键作用。
数据依赖是在高性能微处理器和并行体系结构上优化程序的基本编译器分析工具。它能使所编写的编译器自动地将简单的串行程序转换成具有现代体系结构特征的程序。数据依赖支持许多变换策略，也应用于一些重要的优化问题，本书对此做了全面介绍，并对基于数据依赖的编译器优化的重要性和广泛应用性进行了论证，给出了理解和实现它们所需要的基础，同时还为手工转换程序提供了详细说明。
书中介绍的方法是基于过去二十多年的研究成果．取材于在美国rice大学的研究原型和几个有关的商业系统中实现的策略。致力于现代计算机体系结构设计和优化编译器的研究人员、业界专家和研究生都可以从本书中获益。
目录
第1章 高性能体系结构对编译器的挑战
1．1 概述和目标
1．2 流水线
1．2．1 流水线指令部件
1．2．2 流水线执行部件
1．2．3 并行功能部件
1．2．4 标量流水线编译
1．3 向量指令
1．3．1 向量硬件概述
1．3．2 向量流水线编译
1．4 超标量处理器和vliw处理器
1．4．1 多发射指令部件
1．4．2 多发射处理器的编译
1．5 处理器并行性
1．5．1 处理器并行性概述
1．5．2 异步并行性的编译
1．6 存储层次结构
1．6．1 存储系统概述
1．6．2 存储层次结构的编译
1．7 实例研究：矩阵乘法