現(xiàn)代編譯器的Java實現(xiàn)（第2版）

第一部分 編譯基礎(chǔ)
第1章 概述
1.1 模塊及接口
1.1.1 階段的描述
1.2 工具和軟件
1.3 樹型語言的數(shù)據(jù)結(jié)構(gòu)
程序設(shè)計：直線程序解釋器
習題
第2章 詞法分析
2.1 詞法記號
2.2 正則表達式
2.3 有限自動機
2.3.1 識別最長的匹配
2.4 非確定有限自動機
2.4.1 正規(guī)文法轉(zhuǎn)換為NFA
2.4.2 NFA轉(zhuǎn)換為DFA
2.5 詞法分析生成器
2.5.1 JAVACC
2.5.2 SableCC
程序設(shè)計：詞法分析
進一步閱讀
習題
第3章 語法分析
3.1 上下文無關(guān)文法
3.1.1 推導
3.1.2 分析樹
3.1.3 二義性文法
3.1.4 文件結(jié)束符
3.2 預測分析
3.2.1 FIRST和FOLLOW集
3.2.2 構(gòu)造一個預測分析器
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 文法類型的層次結(jié)構(gòu)
3.3.7 二義性文法的LR分析
3.4 使用分析器生成器
3.4.1 JAVACC
3.4.2 SableCC
3.4.3 算符優(yōu)先分析法
3.4.4 語法和語義
3.5 出錯恢復
3.5.1 用error符號恢復
3.5.2 全局出錯修復
程序設(shè)計：實現(xiàn)分析器
進一步閱讀
習題
第4章 抽象語法
4.1 語義分析
4.1.1遞歸下降
4.1.2 自動生成分析器
4.2 抽象分析樹
4.2.1位置
4.3 訪問者
4.3.1 MiniJava的抽象語法
程序設(shè)計：抽象語法
進一步閱讀
習題
第5章 語義分析
5.1 符號表
5.1.1 多重符號表
5.1.2 高效率的命令符號表
5.1.3 高效率的功能符號表
5.1.4 符號
5.2 MiniJava的類型檢查
5.2.1 錯誤處理
程序設(shè)計：類型檢查
習題
第6章 活動紀錄
6.1 堆棧幀
6.1.1 幀指針
6.1.2 寄存器
6.1.3 參數(shù)傳遞
6.1.4 返回地址
6.1.5 常駐幀變量
6.1.6 靜態(tài)連接
6.2 MiniJava語言編譯器中的幀
6.2.1 幀的表示
6.2.2 局部變量
6.2.3 臨時(局部)變量和標號
6.2.4 靜態(tài)連接的管理
程序設(shè)計：幀
進一步閱讀
習題
第7章 翻譯成中間代碼
7.1 中間樹
7.2 樹的翻譯
7.2.1 表達式的類型
7.2.2 簡單變量
7.2.3 數(shù)組變量
7.2.4 結(jié)構(gòu)化的L-值
7.2.5 下標和域選擇
7.2.6 關(guān)于安全性
7.2.7 算術(shù)運算
7.2.8 條件
7.2.9 字符串
7.2.10 記錄和數(shù)組的創(chuàng)建
7.2.11 while循環(huán)
7.2.12 for循環(huán)
7.2.13 函數(shù)調(diào)用
7.2.14 靜態(tài)連接
7.3 聲明
7.3.1 變量定義
7.3.2 函數(shù)定義
7.3.3 段
7.3.4 類和對象
程序設(shè)計：翻譯為樹
習題
第8章 基本塊和軌跡
8.1 規(guī)范樹
8.1.1 ESEO的翻譯
8.1.2 常用重寫規(guī)則
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 動態(tài)編程
9.1.3 樹的文法規(guī)則
9.1.4 快速匹配
9.1.5表示算法的效率
9.2 CISC機
9.3 MiniJava編譯器中的指令選擇
9.3.1 抽象的匯編語言指令
9.3.2 生成匯編指令
9.3.3 過程調(diào)用
9.3.4 如果不存在幀指針
程序設(shè)計：指令選擇
進一步閱讀
習題
第10章 活性分析
10.1 數(shù)據(jù)流的解
10.1.1 活性的計算
10.1.2 集合的表示
10.1.3 時間復雜度
10.1.4 最少的確定點
10.1.5 靜態(tài)與動態(tài)活性
10.1.6 干擾圖
10.2 MiniJava編譯器中的活性分析
10.2.1 圖
10.2.2 控制流圖
10.2.3 活性分析
程序設(shè)計：構(gòu)造流圖
程序設(shè)計：活性
習題
第11章 寄存器分配
11.1 簡化著色
11.1.1 舉例
11.2結(jié)合
11.2.1 溢出
11.3 預著色節(jié)點
11.3.1 機器寄存器臨時變量的復制
11.3.2 調(diào)用保存寄存器和被調(diào)用保存寄存器
11.3.3 預著色節(jié)點的例子
11.4 圖著色實現(xiàn)
11.4.1 數(shù)據(jù)結(jié)構(gòu)
11.4.2 不變量
11.4.3 程序代碼
11.5 樹的寄存器分配
程序設(shè)計：圖著色
進一步閱讀
習題
第12章 使之成為整體
程序設(shè)計進入/退出過程
程序設(shè)計：使程序運行
第二部分 高級課題
第13章 無用信息收集
13.1 標記一清除收集機制
13.2 引用計數(shù)
13.3 復制收集
13.4 世代收集
13.5 增量收集
13.6 Baker算法
13.7 編譯器接口
13.7.1 快速分配
13.7.2 數(shù)據(jù)分布描述
13.7.3 派生指針
程序設(shè)計：描述符
程序設(shè)計：無用信息收集
進一步閱讀
習題
第14章 面向?qū)ο笳Z言
14.1 類擴展
14.2 數(shù)據(jù)字段的單繼承
14.2.1 方法
14.3 多繼承
14.4 類成員測試
14.5 私有字段成員和方法
14.6 無類語言
14.7 優(yōu)化面向?qū)ο蟪绦?br />程序設(shè)計：帶類擴展的MiniJava
進一步閱讀
習題
第15章 函數(shù)式編程語言
15.1 一種簡單的函數(shù)式語言
15.2 閉包
15.2.1 堆分配激活記錄
15.3 恒變量
15.3.1 基于連續(xù)的I/O
15.3.2 語言變換
15.3.3 純函數(shù)式語言的優(yōu)化
15.4 內(nèi)部擴展
15.5 閉包轉(zhuǎn)換
15.6 有效尾部遞歸
15.7 惰性評估
15.7.1 按名調(diào)用評估
15.7.2 按需調(diào)用
15.7.3 一個惰性程序的計算
15.7.4 推高不變量
15.7.5 惰性函數(shù)式程序的優(yōu)化
15.7.6 嚴格性分析
進一步閱讀
程序設(shè)計：編譯函數(shù)式語言
習題
第16章 多態(tài)類型
16.1 參數(shù)多態(tài)
16.2 多態(tài)類型檢查
16.3 多態(tài)程序的翻譯
16.3.1 指針、整型和包裝
16.4 靜態(tài)重載的解決方法
進一步閱讀
習題
第17章 數(shù)據(jù)流分析
17.1 流分析的中間表示
17.1.1 四元組
17.2 多種的數(shù)據(jù)流分析
17.2.1 到達定義
17.2.2 可用表達式
17.2.3 到達表達式
17.2.4 活性分析
17.3 使用數(shù)據(jù)流分析的變換
17.3.1 公用子表達式消除
17.3.2 常量傳播
17.3.3 復制傳播
17.3.4 死代碼消除
17.4 加快數(shù)據(jù)流分析
17.4.1 位向量
17.4.2 基本塊
17.4.3 節(jié)點排序
17.4.4 use-def和def-use鏈
17.4.5 work-list算法
17.4.6 增量式數(shù)據(jù)流分析
17.5 別名分析
17.5.1 基于類型的別名分析
17.5.2 基于流的別名分析
17.5.3 使用may-alias信息
17.5.4 嚴格純函數(shù)式語言中的別名分析
進一步閱讀
習題
第18章 循環(huán)優(yōu)化
18.1 必經(jīng)節(jié)點
18.1.1 尋找必經(jīng)節(jié)點的算法
18.1.2 直接必經(jīng)節(jié)點
18.1.3 循環(huán)
18.1.4 循環(huán)前置首部
18.2 循環(huán)不變量的計算
18.2.1 提升
18.3 歸納變量
18.3.1 歸納變量檢查
18.3.2 強度削減
18.3.3 消除
18.3.4 重寫比較
18.4 數(shù)組邊界檢查
18.5 循環(huán)展開
進一步閱讀
習題
第19章 靜態(tài)單賦值表
19.1 轉(zhuǎn)化為SSA表
19.1.1 插入∮-function的準則
19.1.2 必經(jīng)前端
19.1.3 插入∮-function
19.1.4 變量重命名
19.1.5 邊分離
19.2 必經(jīng)節(jié)點樹的有效計算
19.2.1 深度優(yōu)先生成(spanning)樹
19.2.2 半必經(jīng)節(jié)點
19.2.3 Lengauer-Tarjan算法
19.3 采用SSA優(yōu)化算法
19.3.1 消除死代碼
19.3.2 簡單常量傳播
19.3.3 條件常量復制
19.3.4 保存必經(jīng)性質(zhì)
19.4 數(shù)組，指針和存儲
19.4.1 存儲相關(guān)
19.5 控制相關(guān)圖
19.5.1 積極的死代碼消除
19.6 從SSA表后的轉(zhuǎn)換
19.6.1 關(guān)于SSA的活性的分析
19.7 函數(shù)式中介表
進一步閱讀
習題
第20章 流水線和調(diào)度
20.1 不受資源限制的循環(huán)調(diào)度
20.2 資源限制循環(huán)流水線
20.2.1 模調(diào)度
20.2.2 發(fā)現(xiàn)最小啟動間隔
20.2.3 其他控制流
20.2.4 編譯器應該調(diào)度指令嗎
20.3 分支預測
20.3.1 靜態(tài)轉(zhuǎn)移預測
20.3.2 編譯器應該預測分支轉(zhuǎn)移嗎?
進一步閱讀
習題
第21章 分級存儲器體系
21.1 高速緩沖存儲器結(jié)構(gòu)
21.2 cache塊的排列
21.2.1 指令cache的對齊
21.3 預取指令
21.4 循環(huán)交換
21.5 分塊
21.6 無用信息收集和分級存儲器體系
進一步閱讀
習題
附錄 MiniJava語言參考手冊
參考文獻