Java虛擬機規(guī)范（Java SE 7版）

譯者序
前言
第2版前言
第1版前言
第1章　引言
　1.1　簡史
　1.2　Java虛擬機
　1.3　各章節(jié)摘要
　1.4　說明
第2章　Java虛擬機結(jié)構(gòu)
　2.1　class文件格式
　2.2　數(shù)據(jù)類型
　2.3　原始類型與值
　2.3.1　整數(shù)類型與整型值
　2.3.2　浮點類型、取值集合及浮點值
　2.3.3　returnAddress類型和值
　2.3.4　boolean類型
　2.4　引用類型與值
　2.5　運行時數(shù)據(jù)區(qū)
　2.5.1　pc寄存器
　2.5.2　Java虛擬機棧
　2.5.3　Java堆
　2.5.4　方法區(qū)
　2.5.5　運行時常量池
　2.5.6　本地方法棧
　2.6　棧幀
　2.6.1　局部變量表
　2.6.2　操作數(shù)棧
　2.6.3　動態(tài)鏈接
　2.6.4　方法正常調(diào)用完成
　2.6.5　方法異常調(diào)用完成
　2.7　對象的表示
　2.8　浮點算法
　2.8.1　Java虛擬機和IEEE 754中的浮點算法
　2.8.2　浮點模式
　2.8.3　數(shù)值集合轉(zhuǎn)換
　2.9　特殊方法
　2.10　異常
　2.11　字節(jié)碼指令集簡介
　2.11.1　數(shù)據(jù)類型與Java虛擬機
　2.11.2　加載和存儲指令
　2.11.3　算術(shù)指令
　2.11.4　類型轉(zhuǎn)換指令
　2.11.5　對象創(chuàng)建與操作
　2.11.6　操作數(shù)棧管理指令
　2.11.7　控制轉(zhuǎn)移指令
　2.11.8　方法調(diào)用和返回指令
　2.11.9　拋出異常
　2.11.10　同步
　2.12　類庫
　2.13　公有設(shè)計，私有實現(xiàn)
第3章　Java虛擬機編譯器
　3.1　示例的格式說明
　3.2　常量、局部變量和控制結(jié)構(gòu)的使用
　3.3　算術(shù)運算
　3.4　訪問運行時常量池
　3.5　更多控制結(jié)構(gòu)示例
　3.6　接收參數(shù)
　3.7　方法調(diào)用
　3.8　使用類實例
　3.9　數(shù)組
　3.10　編譯switch語句
　3.11　使用操作數(shù)棧
　3.12　拋出異常和處理異常
　3.13　編譯finally語句塊
　3.14　同步
　3.15　注解
第4章　class文件格式
　4.1　ClassFile結(jié)構(gòu)
　4.2　各種內(nèi)部表示名稱
　4.2.1　類和接口的二進制名稱
　4.2.2　非全限定名
　4.3　描述符和簽名
　4.3.1　語法符號
　4.3.2　字段描述符
　4.3.3　方法描述符
　4.3.4　簽名
　4.4　常量池
　4.4.1　CONSTANT_Class_info結(jié)構(gòu)
　4.4.2　CONSTANT_Fieldref_info、CONSTANT_Methodref_info和CONSTANT_Interface Methodref_info結(jié)構(gòu)
　4.4.3　CONSTANT_String_info結(jié)構(gòu)
　4.4.4　CONSTANT_Integer_info和CONSTANT_Float_info結(jié)構(gòu)
　4.4.5　CONSTANT_Long_info和CONSTANT_Double_info結(jié)構(gòu)
　4.4.6　CONSTANT_NameAndType_info結(jié)構(gòu)
　4.4.7　CONSTANT_Utf8_info結(jié)構(gòu)
　4.4.8　CONSTANT_MethodHandle_info結(jié)構(gòu)
　4.4.9　CONSTANT_MethodType_info結(jié)構(gòu)
　4.4.10　CONSTANT_InvokeDynamic_info結(jié)構(gòu)
　4.5　字段
　4.6　方法
　4.7　屬性
　4.7.1　自定義和命名新的屬性
　4.7.2　ConstantValue屬性
　4.7.3　Code屬性
　4.7.4　StackMapTable屬性
　4.7.5　Exceptions屬性
　4.7.6　InnerClasses屬性
　4.7.7　EnclosingMethod屬性
　4.7.8　Synthetic屬性
　4.7.9　Signature屬性
　4.7.10　SourceFile屬性
　4.7.11　SourceDebugExtension屬性
　4.7.12　LineNumberTable屬性
　4.7.13　LocalVariableTable屬性
　4.7.14　LocalVariableTypeTable屬性
　4.7.15　Deprecated屬性
　4.7.16　RuntimeVisibleAnnotations屬性
　4.7.17　RuntimeInvisible Annotations屬性
　4.7.18　RuntimeVisibleParameter Annotations屬性
　4.7.19　RuntimeInvisibleParameter Annotations屬性
　4.7.20　AnnotationDefault屬性
　4.7.21　BootstrapMethods屬性
　4.8　格式檢查
　4.9　Java虛擬機代碼約束
　4.9.1　靜態(tài)約束
　4.9.2　結(jié)構(gòu)化約束
　4.10　class文件校驗
　4.10.1　類型檢查驗證
　4.10.2　類型推導(dǎo)驗證
　4.11　Java虛擬機限制
第5章　加載、鏈接與初始化
　5.1　運行時常量池
　5.2　虛擬機啟動
　5.3　創(chuàng)建和加載
　5.3.1　使用引導(dǎo)類加載器來加載類型
　5.3.2　使用用戶自定義類加載器來加載類型
　5.3.3　創(chuàng)建數(shù)組類
　5.3.4　加載限制
　5.3.5　從class文件表示得到類
　5.4　鏈接
　5.4.1　驗證
　5.4.2　準(zhǔn)備
　5.4.3　解析
　5.4.4　訪問控制
　5.4.5　方法覆蓋
　5.5　初始化
　5.6　綁定本地方法實現(xiàn)
　5.7　Java虛擬機退出
第6章　Java虛擬機指令集
　6.1　設(shè)定：“必須”的含義
　6.2　保留操作碼
　6.3　虛擬機錯誤
　6.4　指令描述格式
　6.5　指令集描述
第7章　操作碼助記符
附錄A　Limited License Grant