现代编译原理

出版者:人民邮电出版社

作者:(美)安佩尔

出品人:图灵教育

页数:385

译者:赵克佳

出版时间:2006-4

价格:45.00元

装帧:简裝本

isbn号码:9787115145529

丛书系列:图灵计算机科学丛书

具体描述

《现代编译原理:C语言描述》全面讲述了现代编译器的结构、编译算法和实现方法，是Andrew w．Apple的“虎书”——Modern Compiler Implementation——“红、蓝、绿”三序列之一。这三本书的内容基本相同。但是使用不同的语言来实现书中给出的一个编译器。本书使用的是更适合广大读者的c语言，而另外两本书分别采用ML语言和Java语言。本书的另一个特点是增加了一些其他编译原理教科书没有涉及的内容。前端增加了面向对象的程序设计语言、函数式程序设计语言等现代语言的编译实现方法，后端增加了针对现代计算机体系结构特征的一些比较成熟的优化方法。这部分内容展现了现代商业编译器需解决的一些关键问题，开拓了学生的视野，为学生未来进行更深入的研究奠定了基础。

《现代编译原理:C语言描述》全面讲述了现代编译器的各个组成部分，包括词法分析、语法分析、抽象语法、语义检查、中间代码表示、指令选择、数据流分析、寄存器分配以及运行时系统等。全书分成两部分，第一部分是编译的基础知识，适用于第一门编译原理课程(一个学期)；第二部分是高级主题，包括面向对象语言和函数语言、垃圾收集、循环优化、ssA(静态单赋值)形式、循环调度、存储结构优化等，适合于后续课程或研究生教学。书中专门为学生提供了一个用C语言编写的实习项目，包括前端和后端设计，学生可以在一学期内创建一个功能完整的编译器。

目录信息

第一部分 编译基本原理
第1章 绪论
1.1 模块与接口
1.2 工具和软件
1.3 树语言的数据结构
程序设计：直线式程序解释器
推荐阅读
习题
第2章 词法分析
2.1 词法单词
2.2 正则表达式
2.3 有限自动机
2.4 非确定有限自动机
2.4.1 将正则表达式转换为NFA
2.4.2 将NFA转换为DFA
2.5 Lex：词法分析器的生成器
程序设计：词法分析
推荐阅读
习题
第3章 语法分析
3.1 上下文无关文法
3.1.1 推导
3.1.2 语法分析树
3.1.3 二义性文法
3.1.4 文件结束符
3.2 预测分析
3.2.1 FIRST集合和FOLLOW集合
3.2.2 构造一个预测分析器
3.2.3 消除左递归
3.2.4 提取左因子
3.2.5 错误恢复
3.3 LR分析
3.3.1 LR分析引擎
3.3.2 LR(0)分析器生成器
3.3.3 SLR分析器的生成
3.3.4 LR(1)项和LR(1)分析表
3.3.5 LALR(1)分析表
3.3.6 各类文法的层次
3.3.7 二义性文法的LR分析
3.4 使用分析器的生成器
3.4.1 冲突
3.4.2 优先级指导
3.4.3 语法和语义
3.5 错误恢复
3.5.1 用error符号恢复
3.5.2 全局错误修复
程序设计：语法分析
推荐阅读
习题
第4章 抽象语法
4.1 语义动作
4.1.1 递归下降
4.1.2 Yacc生成的分析器
4.1.3 语义动作的解释器
4.2 抽象语法分析树
4.2.1 位置
4.2.2 Tiger的抽象语法
程序设计：抽象语法
推荐阅读
习题
第5章 语义分析
5.1 符号表
5.1.1 多个符号表
5.1.2 高效的命令式风格符号表
5.1.3 高效的函数式符号表
5.1.4 Tiger编译器的符号
5.1.5 函数式风格的符号表
5.2 Tiger编译器的绑定
5.3 表达式的类型检查
5.4 声明的类型检查
5.4.1 变量声明
5.4.2 类型声明
5.4.3 函数声明
5.4.4 递归声明
程序设计：类型检查
习题
第6章 活动记录
6.1 栈帧
6.1.1 帧指针
6.1.2 寄存器
6.1.3 参数传递
6.1.4 返回地址
6.1.5 栈帧内的变量
6.1.6 静态链
6.2 Tiger编译器的栈帧
6.2.1 栈帧描述的表示
6.2.2 局部变量
6.2.3 计算逃逸变量
6.2.4 临时变量和标号
6.2.5 两层抽象
6.2.6 管理静态链
6.2.7 追踪层次信息
程序设计：栈帧
推荐阅读
习题
第7章 翻译成中间代码
7.1 中间表示树
7.2 翻译为树中间语言
7.2.1 表达式的种类
7.2.2 简单变量
7.2.3 追随静态链
7.2.4 数组变量
7.2.5 结构化的左值
7.2.6 下标和域选择
7.2.7 关于安全性的劝告
7.2.8 算术操作
7.2.9 条件表达式
7.2.10 字符串
7.2.11 记录和数组的创建
7.2.12 while循环
7.2.13 for循环
7.2.14 函数调用
7.3 声明
7.3.1 变量定义
7.3.2 函数定义
7.3.3 片段
程序设计：翻译成树
习题
第8章 基本块和轨迹
8.1 规范树
8.1.1 ESEQ的转换
8.1.2 一般重写规则
8.1.3 将CALL移到顶层
8.1.4 线性语句表
8.2 处理条件分支
8.2.1 基本块
8.2.2 轨迹
8.2.3 完善
8.2.4 最优轨迹
推荐阅读
习题
第9章 指令选择
9.1 指令选择算法
9.1.1 Maximal Munch算法
9.1.2 动态规划
9.1.3 树文法
9.1.4 快速匹配
9.1.5 覆盖算法的效率
9.2 CISC机器
9.3 Tiger编译器的指令选择
9.3.1 抽象的汇编语言指令
9.3.2 生成汇编指令
9.3.3 过程调用
9.3.4 无帧指针的情形
程序设计：指令选择
推荐阅读
习题
第10章 活跃分析
10.1 数据流方程的解
10.1.1 活跃性计算
10.1.2 集合的表示
10.1.3 时间复杂度
10.1.4 最小不动点
10.1.5 静态活跃性与动态活跃性
10.1.6 冲突图
10.2 Tiger编译器的活跃分析
10.2.1 图
10.2.2 控制流图
10.2.3 活跃分析
程序设计：构造流图
程序设计：活跃分析模块
习题
第11章 寄存器分配
11.1 通过简化进行着色
11.2 合并
11.3 预着色的结点
11.3.1 机器寄存器的临时副本
11.3.2 调用者保护的寄存器和被调用者保护的寄存器
11.3.3 含预着色结点的例子
11.4 图着色的实现
11.4.1 传送指令工作表的管理
11.4.2 数据结构
11.4.3 程序代码
11.5 针对树的寄存器分配
程序设计：图着色
推荐阅读
习题
第12章 整合为一体
程序设计：过程入口/出口
程序设计：创建一个可运行的编译器
第二部分 高级主题
第13章 垃圾收集
13.1 标记-清扫式收集
13.2 引用计数
13.3 复制式收集
13.4 分代收集
13.5 增量式收集
13.6 Baker算法
13.7 编译器接口
13.7.1 快速分配
13.7.2 数据布局的描述
13.7.3 导出指针
程序设计：描述字
程序设计：垃圾收集
推荐阅读
习题
第14章 面向对象的语言
14.1 类
14.2 数据域的单继承性
14.3 多继承性
14.4 测试类成员关系
14.5 私有域和私有方法
14.6 无类语言
14.7 向对象程序的优化
程序设计：OBJECT Tiger
推荐阅读
习题
第15章 函数式程序设计语言
15.1 一个简单的函数式语言
15.2 闭包
15.3 不变的变量
15.3.1 基于延续的……I/O226
15.3.2 语言上的变化
15.3.3 纯函数式语言的优化
15.4 内联扩展
15.5 闭包变换
15.6 高效的尾递归
15.7 懒惰计算
15.7.1 传名调用计算
15.7.2 按需调用
15.7.3 懒惰程序的计算
15.7.4 懒惰函数式程序的优化
15.7.5 严格性分析
推荐阅读
程序设计：编译函数式语言
习题
第16章 多态类型
16.1 参数多态性
16.1.1 显式带类型的多态语言
16.1.2 多态类型的检查
16.2 类型推论
16.2.1 一个隐式类型的多态语言
16.2.2 类型推论算法
16.2.3 递归的数据类型
16.2.4 Hindley Milner类型的能力
16.3 多态变量的表示
16.3.1 多态函数的扩展
16.3.2 完全的装箱转换
16.3.3 基于强制的表示分析
16.3.4 将类型作为运行时参数传递
16.4 静态重载的解决方法
推荐阅读
习题
第17章 数据流分析
17.1 流分析使用的中间表示
17.2 各种数据流分析
17.2.1 到达定值
17.2.2 可用表达式
17.2.3 到达表达式
17.2.4 活跃分析
17.3 使用数据流分析结果的几种转换
17.3.1 公共子表达式删除
17.3.2 常数传播
17.3.3 复写传播
17.3.4 死代码删除
17.4 加快数据流分析
17.4.1 位向量
17.4.2 基本块
17.4.3 结点排序
17.4.4 使用-定值链和定值-使用链
17.4.5 工作表算法
17.4.6 增量式数据流分析
17.5 别名分析
17.5.1 基于类型的别名分析
17.5.2 基于流的别名分析
17.5.3 使用可能别名信息
17.5.4 严格的纯函数式语言中的别名分析
推荐阅读
习题
第18章 循环优化
18.1 必经结点
18.1.1 寻找必经结点的算法
18.1.2 直接必经结点
18.1.3 循环
18.1.4 循环前置结点
18.2 循环不变量计算
18.3 归纳变量
18.3.1 发现归纳变量
18.3.2 强度削弱
18.3.3 删除
18.3.4 重写比较
18.4 数组边界检查
18.5 循环展开
推荐阅读
习题
第19章 静态单赋值形式
19.1 转化为SSA形式
19.1.1 插入Φ函数的标准
19.1.2 必经结点边界
19.1.3 插入Φ函数
19.1.4 变量重命名
19.1.5 边分割
19.2 必经结点树的高效计算
19.2.1 深度优先生成树
19.2.2 半必经结点
19.2.3 Lengauer Tarjan算法
19.3 使用SSA的优化算法
19.3.1 死代码删除
19.3.2 简单的常数传播
19.3.3 条件常数传播
19.3.4 保持必经结点性质
19.4 数组、指针和存储器
19.5 控制依赖图
19.6 从SSA形式转变回来
19.7 函数式中间形式
推荐阅读
习题
第20章 流水和调度
20.1 没有资源约束时的循环调度
20.2 有资源约束的循环流水
20.2.1 模调度
20.2.2 寻找最小的启动间距
20.2.3 其他控制流
20.2.4 编译器应该调度指令吗
20.3 分支预测
20.3.1 静态分支预测
20.3.2 编译器应该预测分支吗
推荐阅读
习题
第21章 存储层次
21.1 cache的组织结构
21.2 cache块对齐
21.3 预取
21.4 循环交换
21.5 分块
21.6 垃圾收集和存储层次
推荐阅读
习题
附录 Tiger语言参考手册
参考文献
索引
· · · · · · (收起)

读后感

实在是和实际工作差的远了点，而且理论的东西太多。如果不是真的想研究编译器的话，读读知道个大概也就行了。 开始的编译树等知识还能凑和看懂，进入路径优化和寄存器分配就完全是在云里雾里的感觉。优化部分，《深入理解计算机》里讲得更实用。 书里最有意思的应该是分别把T...  

Reading now. Anyone who want to communicate the problems, just mail to me.  

比龙书要好入门，不是天才的话直接看龙书还是压力有点大，且龙书机械工业出版社的翻译版不太友好。 虎书内容要少得多，但是麻雀虽小五脏俱全，学习曲线平滑，适合本科生自学。 本书配合斯坦福的公开课，可以说是入门编译理论目前最佳教材了。想深入，可以再去查龙书，个人建议...  

Reading now. Anyone who want to communicate the problems, just mail to me.  

Reading now. Anyone who want to communicate the problems, just mail to me.

用户评价

《现代编译原理》这本书，我可以说是一个“小白”级别的读者。我一直觉得编程就像魔法，你写下一些指令，然后电脑就执行了。但这个“魔法”是怎么实现的，我完全不知道。《现代编译原理》这本书，就像给我打开了一扇新世界的大门。我之前只听说过“编译”，但具体是啥，完全没概念。这本书从最基础的“词法分析”开始讲，一点一点地拆解，让我知道原来我们写的代码，在机器眼里是那么多的“标记”和“符号”。然后是“语法分析”，就像是在给这些符号排兵布阵，看它们合不合规矩。再往后，“语义分析”，感觉像是给代码做体检，看看它有没有“病”。我最喜欢的是它用了很多形象的比喻，比如把词法分析比作给词语分类，把语法分析比作检查句子结构。虽然有些地方还是有点吃力，需要反复琢磨，但总体感觉这本书是个循序渐进的好向导，让我能一点点地建立起编译原理的知识体系。

拿到《现代编译原理》这本书，我第一时间就被它的内容吸引了。它详细地讲解了编译器的设计和实现过程，从词法分析到代码生成，再到优化，每个环节都梳理得非常清晰。我之前对编译器的了解仅限于“把高级语言变成机器语言”，但这本书让我认识到，编译过程远比我想象的要复杂和精妙。它不仅介绍了理论知识，还通过大量的实例展示了如何将这些理论应用于实际的编译器开发中。我尤其对书中关于代码优化的部分印象深刻，它讲解了各种优化技术，如常量折叠、死代码消除、循环优化等，这些技术对于提高程序的运行效率至关重要。此外，书中还对不同编程语言的编译特点进行了分析，这让我对各种语言的内部工作机制有了更深的理解。我非常欣赏作者的写作风格，语言严谨而不失生动，即使是复杂的概念，也能被讲解得通俗易懂。这本书不仅适合计算机专业的学生，也适合所有对编程语言底层原理感兴趣的开发者。

我之前对编译原理一直有一种“只可远观而不可近玩焉”的感觉，总觉得是计算机科学里非常高深莫测的一个领域，大概只有大神级的程序员才会去深入研究。拿到《现代编译原理》这本书，我最大的感受就是，它并没有我想象中那么高高在上。它用一种相对比较平易近人的方式，把编译的各个环节掰开了揉碎了讲。比如，讲到“语法制导翻译”的时候，它会一步步地告诉你，如何通过给语法规则附加动作，来生成中间代码，这种感觉就像是在玩一个搭建积木的游戏，把零散的符号按照一定的规则组合起来，然后就得到了有意义的结果。而且，它还提到了很多实际应用中会遇到的问题，比如如何处理错误、如何进行代码重构等等。这本书让我觉得，编译原理虽然复杂，但并非遥不可及，通过系统的学习，普通程序员也能掌握其中的奥秘，甚至能够自己动手去改进一些编译器相关的工具。

《现代编译原理》这本书，拿到手里就感觉沉甸甸的，不是那种轻飘飘的快餐读物。我一直对计算机底层的东西很好奇，尤其是那些我们习以为常的代码是怎么变成机器能懂的语言的。这书名听起来就很高大上，但也让我有点担心，会不会太理论化，读起来像天书一样枯燥？我希望它能在我对编译原理一片空白的基础上，一步一步地引导我，就像一个经验丰富的老师，从最基础的概念讲起，而不是直接抛给我一堆复杂的公式和算法。如果它能用生动的例子，甚至是一些通俗的类比，来解释像词法分析、语法分析、语义分析这些核心概念，那就太棒了。我特别期待能了解编译器是如何处理各种编程语言的特性，比如面向对象、函数式编程等等，以及在性能优化方面，编译器又扮演着怎样的角色。我希望这本书不是那种只关注理论，而忽略实践的教材，如果能结合一些实际的编译器的例子，或者提供一些可以动手实践的练习，那就更完美了。总而言之，我抱着学习和探索的心态，希望这本书能让我对编译原理有一个清晰、系统、且深入的认识，并且能够激发我进一步学习的兴趣。

《现代编译原理》这本书，是一本非常扎实的学术著作。它系统地介绍了现代编译器的设计和实现技术，涵盖了从理论基础到实践应用的各个方面。我特别欣赏书中对编译原理的深刻剖析，作者不仅讲解了词法分析、语法分析、语义分析等核心阶段，还深入探讨了中间代码生成、目标代码生成以及各种编译器优化技术。书中对各种算法和数据结构的运用进行了详细的阐述，并提供了清晰的图示和伪代码，这使得读者能够更直观地理解抽象的概念。我尤其对书中关于高级优化技术的部分印象深刻，例如如何利用数据流分析和控制流分析来发现并消除冗余代码，以及如何进行循环优化以提高程序执行效率。这本书的学术严谨性毋庸置疑，对于想要深入理解编译器内部工作机制的读者来说，绝对是一本不可多得的参考书。

读过一部分,其中的精髓还有待领悟...

实现一个简单的C编译器。过多强调函数编程，实现的语言语法比较“诡异”。

读过一部分,其中的精髓还有待领悟...

去年写编译原理大作业时读了前段部分，偏实践的书～很受用！！

就喜欢短小精悍的书