深入淺出：Java虛擬機(jī)設(shè)計(jì)與實(shí)現(xiàn)

前 言
第 1 章 虛擬機(jī)架構(gòu) /1
1.1 Java 與 Java 虛擬機(jī) /1
1.1.1 設(shè)計(jì)背景 /1
1.1.2 Java 技術(shù)棧的組成要素 /2
1.1.3 Java 字節(jié)碼 /3
1.2 Java 虛擬機(jī)架構(gòu) /5
1.3 實(shí)例：J 語(yǔ)言及其編譯 /7
1.3.1 J 語(yǔ)言語(yǔ)法 /7
1.3.2 棧式計(jì)算機(jī) /13
1.3.3 J 字節(jié)碼 /17
1.3.4 J 語(yǔ)言編譯到 J 字節(jié)碼 /19
1.4 實(shí)例：J 虛擬機(jī) /23
1.4.1 字節(jié)碼加載子系統(tǒng) /23
1.4.2 字節(jié)碼驗(yàn)證器 /24
1.4.3 解釋執(zhí)行引擎 /27
第 2 章 類(lèi)加載器 /30
2.1 實(shí)例：Java 的類(lèi)加載 /30
2.2 類(lèi)的二進(jìn)制定義 /32
2.2.1 常量池 /34
2.2.2 接口 /36
2.2.3 字段 /37
2.2.4 方法 /37
2.2.5 屬性 /38
2.3 方法區(qū) /41
2.3.1 代碼區(qū) /41
2.3.2 運(yùn)行時(shí)常量池 /45
2.3.3 類(lèi)輔助數(shù)據(jù)結(jié)構(gòu) /47
2.4 類(lèi)裝載 /49
2.4.1 遞歸下降裝載 /50
2.4.2 接口的裝載 /57
2.4.3 數(shù)組的裝載 /57
2.4.4 基本類(lèi)的裝載 /59
2.5 驗(yàn)證 /61
2.5.1 為什么要進(jìn)行驗(yàn)證 /61
2.5.2 驗(yàn)證的目標(biāo) /63
2.5.3 實(shí)例：驗(yàn)證規(guī)則 /63
2.5.4 結(jié)構(gòu)化約束 /68
2.5.5 類(lèi)型推導(dǎo) /69
2.6 準(zhǔn)備 /75
2.6.1 靜態(tài)字段的準(zhǔn)備 /76
2.6.2 非靜態(tài)字段的準(zhǔn)備 /77
2.6.3 虛方法表 /80
2.7 解析 /86
2.7.1 實(shí)例：類(lèi)的解析 /86
2.7.2 類(lèi)的解析 /88
2.7.3 字段的解析 /89
2.7.4 方法的解析 /91
2.7.5 接口方法的解析 /98
2.7.6 字符串常量的解析 /100
2.7.7 常量池其他表項(xiàng)的解析 /101
2.8 初始化 /101
2.8.1 類(lèi)初始化方法 /102
2.8.2 類(lèi)初始化算法 /103
2.9 類(lèi)加載各階段的執(zhí)行順序 /110
2.9.1 急切策略和惰性策略 /111
2.9.2 類(lèi)解析和類(lèi)初始化的耦合性 /113
2.10 自定義類(lèi)加載器 /114
2.10.1 獨(dú)立加載模型 /116
2.10.2 雙親委派模型 /118
2.11 實(shí)例：類(lèi)加載器的典型應(yīng)用 /123
2.11.1 動(dòng)態(tài)代理 /124
2.11.2 熱替換 /133
第 3 章 執(zhí)行引擎 /139
3.1 棧幀結(jié)構(gòu) /139
3.2 調(diào)用規(guī)范 /140
3.3 執(zhí)行引擎架構(gòu) /141
3.3.1 序列式架構(gòu) /142
3.3.2 跳轉(zhuǎn)表架構(gòu) /143
3.4 執(zhí)行引擎實(shí)現(xiàn) /145
3.4.1 常量加載指令 /145
3.4.2 數(shù)據(jù)加載指令 /147
3.4.3 數(shù)據(jù)存儲(chǔ)指令 /149
3.4.4 棧操作指令 /151
3.4.5 數(shù)學(xué)運(yùn)算指令 /152
3.4.6 數(shù)值轉(zhuǎn)換指令 /155
3.4.7 比較運(yùn)算指令 /157
3.4.8 控制轉(zhuǎn)移指令 /159
3.4.9 引用指令 /176
3.4.10 擴(kuò)展與虛擬機(jī)保留指令 /185
3.5 本地方法執(zhí)行引擎 /187
3.6 可重入方法 /194
3.7 匯編模板 /198
第 4 章 本地方法接口 /201
4.1 實(shí)例：Java 本地方法 /201
4.2 方法綁定 /202
4.2.1 本地方法的數(shù)據(jù)結(jié)構(gòu) /203
4.2.2 動(dòng)態(tài)庫(kù)加載 /205
4.2.3 動(dòng)態(tài)綁定 /206
4.2.4 靜態(tài)綁定 /209
4.3 本地方法攔截 /213
4.3.1 攔截機(jī)制 /213
4.3.2 耦合性 /216
4.3.3 反射 /217
4.4 本地方法回調(diào) Java 方法 /218
4.4.1 JNI 回調(diào)函數(shù) /220
4.4.2 本地方法棧幀 /223
第 5 章 異常處理 /226
5.1 實(shí)例：Java 異常處理 /226
5.2 異常棧 /228
5.3 異常表 /236
5.4 ?；貪L /243
5.5 本地方法異常 /247
5.6 其他問(wèn)題 /250
5.6.1 隱式異常 /250
5.6.2 異常處理與多線程 /253
5.6.3 執(zhí)行效率 /254
第 6 章 堆和垃圾收集 /255
6.1 實(shí)例：對(duì)象與垃圾 /255
6.1.1 語(yǔ)法垃圾與語(yǔ)義垃圾 /256
6.1.2 內(nèi)存泄漏 /257
6.2 堆 /258
6.2.1 堆數(shù)據(jù)結(jié)構(gòu) /258
6.2.2 堆分配接口 /259
6.3 存儲(chǔ)布局 /259
6.3.1 對(duì)象的存儲(chǔ)布局 /259
6.3.2 類(lèi)的存儲(chǔ)布局 /263
6.3.3 數(shù)組的存儲(chǔ)布局 /264
6.4 垃圾收集 /265
6.4.1 根節(jié)點(diǎn) /266
6.4.2 復(fù)制收集 /270
6.4.3 終結(jié) /276
6.4.4 垃圾收集的觸發(fā) /280
6.5 本地方法和垃圾收集 /281
6.5.1 局部和全局引用 /281
6.5.2 對(duì)象引用相關(guān) JNI 函數(shù)的實(shí)現(xiàn) /283
6.6 其他問(wèn)題 /285
6.6.1 多線程與垃圾收集 /285
6.6.2 無(wú)中斷垃圾收集 /289
6.6.3 類(lèi)型標(biāo)記 /291
第 7 章 多線程 /293
7.1 線程語(yǔ)義模型 /293
7.1.1 線程方法 /293
7.1.2 線程狀態(tài) /294
7.1.3 實(shí)例：線程中斷 /297
7.2 管程 /303
7.2.1 管程數(shù)據(jù)結(jié)構(gòu) /303
7.2.2 接口與實(shí)現(xiàn) /307
7.2.3 管程指令 /314
7.2.4 管程與對(duì)象 /316
7.3 多線程的實(shí)現(xiàn) /318
7.3.1 線程數(shù)據(jù)結(jié)構(gòu) /319
7.3.2 創(chuàng)建線程對(duì)象 /321
7.3.3 啟動(dòng) /323
7.3.4 讓出 /325
7.3.5 睡眠 /325
7.3.6 中斷 /327
7.3.7 停止、掛起和繼續(xù) /335
7.3.8 原子性和可見(jiàn)性 /337
7.3.9 線程與信號(hào) /338
7.4 多線程與虛擬機(jī)其他子系統(tǒng)的交互 /342
7.4.1 全局?jǐn)?shù)據(jù)結(jié)構(gòu)與鎖 /343
7.4.2 類(lèi)初始化 /345
7.4.3 垃圾收集 /350
第 8 章 調(diào)試 /357
8.1 調(diào)試器架構(gòu) /357
8.1.1 客戶(hù)端{(lán)服務(wù)器架構(gòu) /358
8.1.2 JDWP 調(diào)試協(xié)議 /359
8.1.3 數(shù)據(jù)類(lèi)型 /360
8.1.4 實(shí)例：斷點(diǎn) /361
8.2 調(diào)試代理 /364
8.2.1 通信模塊 /365
8.2.2 執(zhí)行引擎模塊 /366
8.2.3 對(duì)象管理模塊 /370
8.2.4 事件處理模塊 /371
8.3 實(shí)例：jdb 調(diào)試器 /376
8.4 調(diào)試的其他問(wèn)題 /384
8.4.1 薛定諤困境 /384