编译器设计库珀,托克森　著,郭旭　译

基本信息

书名:编译器设计

定价：99元

作者:(美)库珀,(美)托克森　著,郭旭　译

出版社：人民邮电出版社

出版日期：2013-01-01

ISBN：9787115301949

字数：990000

页码：578

版次：

装帧：平装

开本：16开

商品重量：

编辑推荐

　　深入剖析现代编译器运用的算法和技术。强调代码优化和代码生成。体现编译原理教学的理念

内容提要

　　《编译器设计(第2版)》是编译器设计领域的经典著作，主要从以下四部分详解了编译器的设计过程。部分涵盖编译器前端设计和建立前端所用工具的设计和构建；第二部分探讨从源代码到编译器中间形式的映射，考察前端为优化器和后端所生成代码的种类；第三部分介绍代码优化，同时包含对分析和转换的进一步处理；第四部分专门讲解编译器后端使用的算法。

　　《编译器设计(第2版)》适合作为高等院校计算机专业本科生和研究生编译课程的教材和参考书，也可供相关技术人员参考。

目录

章 　编译概观
1.1 　简介
1.2 　编译器结构
1.3 　转换概述
1.3.1 　前端
1.3.2 　优化器
1.3.3 　后端
1.4 　小结和展望
第2章 　词法分析器
2.1 　简介
2.2 　识别单词
2.2.1 　识别器的形式化
2.2.2 　识别更复杂的单词
2.3 　正则表达式<p>章 　编译概观<br />1.1 　简介<br />1.2 　编译器结构<br />1.3 　转换概述<br />1.3.1 　前端<br />1.3.2 　优化器<br />1.3.3 　后端<br />1.4 　小结和展望<br />第2章 　词法分析器<br />2.1 　简介<br />2.2 　识别单词<br />2.2.1 　识别器的形式化<br />2.2.2 　识别更复杂的单词<br />2.3 　正则表达式<br />2.3.1 　符号表示法的形式化<br />2.3.2 　示例<br />2.3.3 　RE的闭包性质<br />2.4 　从正则表达式到词法分析器<br />2.4.1 　非确定性有限自动机<br />2.4.2 　从正则表达式到NFA：Thompson构造法<br />2.4.3 　从NFA到DFA：子集构造法<br />2.4.4 　从DFA到 小DFA：Hopcroft算法<br />2.4.5 　将DFA用做识别器<br />2.5 　实现词法分析器<br />2.5.1 　表驱动词法分析器<br />2.5.2 　直接编码的词法分析器<br />2.5.3 　手工编码的词法分析器<br />2.5.4 　处理关键字<br />2.6 　高级主题<br />2.6.1 　从DFA到正则表达式<br />2.6.2 　DFA 小化的另一种方法：Brzozowski算法<br />2.6.3 　无闭包的正则表达式<br />2.7 　小结和展望<br />第3章 　语法分析器<br />3.1 　简介<br />3.2 　语法的表示<br />3.2.1 　为什么不使用正则表达式<br />3.2.2 　上下文无关语法<br />3.2.3 　更复杂的例子<br />3.2.4 　将语义编码到结构中<br />3.2.5 　为输入符号串找到推导<br />3.3 　自顶向下语法分析<br />3.3.1 　为进行自顶向下语法分析而转换语法<br />3.3.2 　自顶向下的递归下降语法分析器<br />3.3.3 　表驱动的LL(1)语法分析器<br />3.4 　自底向上语法分析<br />3.4.1 　LR(1)语法分析算法<br />3.4.2 　构建LR(1)表<br />3.4.3 　表构造过程中的错误<br />3.5 　实际问题<br />3.5.1 　出错恢复<br />3.5.2 　一元运算符<br />3.5.3 　处理上下文相关的二义性<br />3.5.4 　左递归与右递归<br />3.6 　高级主题<br />3.6.1 　优化语法<br />3.6.2 　减小LR(1)表的规模<br />3.7 　小结和展望<br />第4章 　上下文相关分析<br />4.1 　简介<br />4.2 　类型系统简介<br />4.2.1 　类型系统的目标<br />4.2.2 　类型系统的组件<br />4.3 　属性语法框架<br />4.3.1 　求值的方法<br />4.3.2 　环<br />4.3.3 　扩展实例<br />4.3.4 　属性语法方法的问题<br />4.4 　特设语法制导转换<br />4.4.1 　特设语法制导转换的实现<br />4.4.2 　例子<br />4.5 　高级主题<br />4.5.1 　类型推断中更困难的问题<br />4.5.2 　改变结合性<br />4.6 　小结和展望<br />第5章 　中间表示<br />5.1 　简介<br />5.2 　图IR<br />5.2.1 　与语法相关的树<br />5.2.2 　图<br />5.3 　线性IR<br />5.3.1 　堆栈机代码<br />5.3.2 　三地址代码<br />5.3.3 　线性代码的表示<br />5.3.4 　根据线性代码建立控制流图<br />5.4 　将值映射到名字<br />5.4.1 　临时值的命名<br />5.4.2 　静态单赋值形式<br />5.4.3 　内存模型<br />5.5 　符号表<br />5.5.1 　散列表<br />5.5.2 　建立符号表<br />5.5.3 　处理嵌套的作用域<br />5.5.4 　符号表的许多用途<br />5.5.5 　符号表技术的其他用途<br />5.6 　小结和展望<br />第6章 　过程抽象<br />6.1 　简介<br />6.2 　过程调用<br />6.3 　命名空间<br />6.3.1 　类Algol语言的命名空间<br />6.3.2 　用于支持类Algol语言的运行时结构<br />6.3.3 　面向对象语言的命名空间<br />6.3.4 　支持面向对象语言的运行时结构<br />6.4 　过程之间值的传递<br />6.4.1 　传递参数<br />6.4.2 　返回值<br />6.4.3 　确定可寻址性<br />6.5 　标准化链接<br />6.6 　高级主题<br />6.6.1 　堆的显式管理<br />6.6.2 　隐式释放<br />6.7 　小结和展望<br />第7章 　代码形式<br />7.1 　简介<br />7.2 　分配存储位置<br />7.2.1 　设定运行时数据结构的位置<br />7.2.2 　数据区的布局<br />7.2.3 　将值保持在寄存器中<br />7.3 　算术运算符<br />7.3.1 　减少对寄存器的需求<br />7.3.2 　访问参数值<br />7.3.3 　表达式中的函数调用<br />7.3.4 　其他算术运算符<br />7.3.5 　混合类型表达式<br />7.3.6 　作为运算符的赋值操作<br />7.4 　布尔运算符和关系运算符<br />7.4.1 　表示<br />7.4.2 　对关系操作的硬件支持<br />7.5 　数组的存储和访问<br />7.5.1 　引用向量元素<br />7.5.2 　数组存储布局<br />7.5.3 　引用数组元素<br />7.5.4 　范围检查<br />7.6 　字符串<br />7.6.1 　字符串表示<br />7.6.2 　字符串赋值<br />7.6.3 　字符串连接<br />7.6.4 　字符串长度<br />7.7 　结构引用<br />7.7.1 　理解结构布局<br />7.7.2 　结构数组<br />7.7.3 　联合和运行时标记<br />7.7.4 　指针和匿名值<br />7.8 　控制流结构<br />7.8.1 　条件执行<br />7.8.2 　循环和迭代<br />7.8.3 　case语句<br />7.9 　过程调用<br />7.9.1 　实参求值<br />7.9.2 　保存和恢复寄存器<br />7.10 　小结和展望<br />第8章 　优化简介<br />8.1 　简介<br />8.2 　背景<br />8.2.1 　例子<br />8.2.2 　对优化的考虑<br />8.2.3 　优化的时机<br />8.3 　优化的范围<br />8.4 　局部优化<br />8.4.1 　局部值编号<br />8.4.2 　树高平衡<br />8.5 　区域优化<br />8.5.1 　超局部值编号<br />8.5.2 　循环展开<br />8.6 　全局优化<br />8.6.1 　利用活动信息查找未初始化变量<br />8.6.2 　全局代码置放<br />8.7 　过程间优化<br />8.7.1 　内联替换<br />8.7.2 　过程置放<br />8.7.3 　针对过程间优化的编译器组织结构<br />8.8 　小结和展望<br />第9章 　数据流分析<br />9.1 　简介<br />9.2 　迭代数据流分析<br />9.2.1 　支配性<br />9.2.2 　活动变量分析<br />9.2.3 　数据流分析的局限性<br />9.2.4 　其他数据流问题<br />9.3 　静态单赋值形式<br />9.3.1 　构造静态单赋值形式的简单方法<br />9.3.2 　支配边界<br />9.3.3 　放置 函数<br />9.3.4 　重命名<br />9.3.5 　从静态单赋值形式到其他形式的转换<br />9.3.6 　使用静态单赋值形式<br />9.4 　过程间分析<br />9.4.1 　构建调用图<br />9.4.2 　过程间常量传播<br />9.5 　高级主题<br />9.5.1 　结构性数据流算法和可归约性<br />9.5.2 　加速计算支配性的迭代框架算法的执行<br />9.6 　小结和展望<br />0章 　标量优化<br />10.1 　简介<br />10.2 　消除无用和不可达代码<br />10.2.1 　消除无用代码<br />10.2.2 　消除无用控制流<br />10.2.3 　消除不可达代码<br />10.3 　代码移动<br />10.3.1 　缓式代码移动<br />10.3.2 　代码提升<br />10.4 　特化<br />10.4.1 　尾调用优化<br />10.4.2 　叶调用优化<br />10.4.3 　参数提升<br />10.5 　冗余消除<br />10.5.1 　值相同与名字相同<br />10.5.2 　基于支配者的值编号算法<br />10.6 　为其他变换制造时机<br />10.6.1 　超级块复制<br />10.6.2 　过程复制<br />10.6.3 　循环外提<br />10.6.4 　重命名<br />10.7 　高级主题<br />10.7.1 　合并优化<br />10.7.2 　强度削减<br />10.7.3 　选择一种优化序列<br />10.8 　小结和展望<br />1章 　指令选择<br />11.1 　简介<br />11.2 　代码生成<br />11.3 　扩展简单的树遍历方案<br />11.4 　通过树模式匹配进行指令选择<br />11.4.1 　重写规则<br />11.4.2 　找到平铺方案<br />11.4.3 　工具<br />11.5 　通过窥孔优化进行指令选择<br />11.5.1 　窥孔优化<br />11.5.2 　窥孔变换程序<br />11.6 　高级主题<br />11.6.1 　学习窥孔模式<br />11.6.2 　生成指令序列<br />11.7 　小结和展望<br />2章 　指令调度<br />12.1 　简介<br />12.2 　指令调度问题<br />12.2.1 　度量调度质量的其他方式<br />12.2.2 　是什么使调度这样难<br />12.3 　局部表调度<br />12.3.1 　算法<br />12.3.2 　调度具有可变延迟的操作<br />12.3.3 　扩展算法<br />12.3.4 　在表调度算法中打破平局<br />12.3.5 　前向表调度与后向表调度<br />12.3.6 　提高表调度的效率<br />12.4 　区域性调度<br />12.4.1 　调度扩展基本程序块<br />12.4.2 　跟踪调度<br />12.4.3 　通过复制构建适当的上下文环境<br />12.5 　高级主题<br />12.5.1 　软件流水线的策略<br />12.5.2 　用于实现软件流水线的算法<br />12.6 　小结和展望<br />3章 　寄存器分配<br />13.1 　简介<br />13.2 　背景问题<br />13.2.1 　内存与寄存器<br />13.2.2 　分配与指派<br />13.2.3 　寄存器类别<br />13.3 　局部寄存器分配和指派<br />13.3.1 　自顶向下的局部寄存器分配<br />13.3.2 　自底向上的局部寄存器分配<br />13.3.3 　单个程序块<br />13.4 　全局寄存器分配和指派<br />13.4.1 　找到全局活动范围<br />13.4.2 　估算全局逐出代价<br />13.4.3 　冲突和冲突图<br />13.4.4 　自顶向下着色<br />13.4.5 　自底向上着色<br />13.4.6 　合并副本以减小度数<br />13.4.7 　比较自顶向下和自底向上全局分配器<br />13.4.8 　将机器的约束条件编码到冲突图中<br />13.5 　高级主题<br />13.5.1 　图着色寄存器分配方法的变体<br />13.5.2 　静态单赋值形式上的全局寄存器分配<br />13.6 　小结和展望<br />附录A 　ILOC<br />附录B 　数据结构<br />参考文献<br />索引</p> href="#catalog" class="section_show_more" id="catalog-btn" dd_name="显示信息">显示信息

作者介绍

　　Keith D.Cooper是莱斯大学的计算工程Doerr讲席教授。他研究过编译后代码优化领域的大量问题，包括过程间数据流分析及其应用、值编号、代数重新关联、寄存器分配和指令调度等。他近期的工作专注于从根本上重新考察传统编译器的结构和行为。他讲授过各种本科生水平的课程，从程序设计入门到研究生水平的代码优化等。他还是ACM院士。LindaTorczon是莱斯大学计算机科学系的高级研究科学家，她是PACE（平台可感知编译环境）项目的首席研究员，该项目由DARPA（国防高级研究计划局）赞助，意在开发一种优化编译器环境，能够针对新平台自动地调整其优化机制和策略。从1990年到2000年，Torczon担任并行计算研究中心的执行总监，该中心是美国国家科学基金会下属的一个科技中心。她还担任过HiPerSoft、洛斯阿拉莫斯计算机科学研究所和虚拟网格应用开发软件项目的执行总监。

序言