《Java虚拟机规范》求取 ⇩

第一章引言1

1.1 一点历史1

1.2 Java虚拟机1

1.3 各章概述2

第二章Java概念3

2.1 Unicode3

2.2 标识符3

2.3 文字4

2.4类型和值4

2.4.1 基本类型和值4

2.4.2 整型值上的操作符5

2.4.3 浮点值上的操作符5

2.4.4 boolean值上的操作符5

2.4.5 引用类型、对象和引用值6

2.4.6 类Object6

2.4.7 类String6

2.4.8 对象上的操作符6

2.5变量6

2.5.1 变量的初始值7

2.5.2 变量具有类型，对象具有类8

2.6转换和提升8

2.6.1 等同转换9

2.6.2 放宽基本转换9

2.6.3 缩窄基本转换9

2.6.4 放宽引用转换10

2.6.5 缩窄引用转换10

2.6.6 赋值转换10

2.6.7 方法调用转换11

2.6.8 类型转换11

2.6.9 数值提升12

2.7名称和包12

2.7.1 名称12

2.7.2 包12

2.7.3 成员13

2.7.4 包成员13

2.7.5 类类型的成员13

2.7.6 接口类型的成员13

2.7.7 数组类型的成员13

2.7.8 限定名称和访问控制14

2.7.9 完整限定名称14

2.8类15

2.8.1 类名称15

2.8.2 类修辞符15

2.8.3 超类和子类15

2.8.4 类成员15

2.9域16

2.9.1 域修饰符16

2.9.2 域的初始化17

2.10方法17

2.10.1 形式函数17

2.10.2 签名17

2.10.3 方法修饰符17

2.11 静态初始化函数18

2.12 构造函数18

2.13接口18

2.13.1 接口修饰符19

2.13.2 超接口19

2.13.3 接口成员19

2.13.4 接口（常数）域19

2.13.5 接口（抽象）方法20

2.13.6 接口中的覆盖、继承和重载20

2.14数组20

2.14.1 数组类型20

2.14.2 数组变量21

2.14.3 数组创建21

2.14.4 数组访问21

2.15异常21

2.15.1 引起异常的原因22

2.15.2 处理异常22

2.15.3 异常层次23

2.15.4 类Exception和RuntimeException24

2.16执行25

2.16.1 虚拟机启动25

2.16.2 装载26

2.16.3 链接：检验、准备和解析27

2.16.4 初始化28

2.16.5 详细的初始化过程29

2.16.6 新的类实例的创建30

2.16.7 类实例的终止31

2.16.8 类和接口的终止和卸载32

2.16.9 虚拟机退出32

2.17 线程32

第三章Java虚拟机的结构35

3.1 数据类型35

3.2基本类型和值35

3.2.1 整型和值36

3.2.2 浮点型和值36

3.2.3 returnAddress类型和值37

3.2.4 没有boolean类型37

3.3 引用类型和值37

3.4 字37

3.5运行期数据区37

3.5.1 pc寄存器37

3.5.2 Java栈38

3.5.3 堆38

3.5.4 方法区39

3.5.5 常数池39

3.5.6 自身方法栈40

3.6框架40

3.6.1 局部变量41

3.6.2 操作数栈41

3.6.3 动态链接41

3.6.4 正常的方法结束41

3.6.5 不正常的方法结束42

3.6.6 附加信息42

3.7 对象的表示42

3.8 特殊的初始化方法42

3.9 异常43

3.10 class文件格式43

3.11指令集概述43

3.11.1 类型和Java虚拟机44

3.11.2 装载和存储指令46

3.11.3 运算指令46

3.11.4 类型转换指令47

3.11.5 对象创建和操纵48

3.11.6 操作数栈管理指令49

3.11.7 控制转移指令49

3.11.8 方法调用和返回指令49

3.11.9 抛出和处理异常50

3.11.10 实现finally50

3.11.11 同步50

3.12 公共设计，私有实现50

第四章class文件格式51

4.1 ClassFile51

4.2 完整限定类名称的内部形式54

4.3描述符54

4.3.1 语法记号55

4.3.2 域描述符55

4.3.3 方法描述符56

4.4常数池56

4.4.1 CONSTANT_Class57

4.4.2 CONSTANT_Fieldref，CONSTANT_Methodref和CONSTANT_InterfaceMethodref58

4.4.3 CONSTANT_String59

4.4.4 CONSTANT_Integer和CONSTANT_Float59

4.4.5 CONSTANT_Long和CONSTANT_Double60

4.4.6 CONSTANT_NameAndType61

4.4.7 CONSTANT_Utf862

4.5 域63

4.6 方法64

4.7属性66

4.7.1 定义和命名新属性66

4.7.2 SourceFile属性67

4.7.3 ConstantValue属性67

4.7.4 Code属性68

4.7.5 Exceptions属性70

4.7.6 LineNumberTable属性71

4.7.7 LocalVariableTable属性72

4.8对Java虚拟机代码的约束73

4.8.1 静态约束73

4.8.2 结构约束75

4.9class文件的检验77

4.9.1 检验进程78

4.9.2 字节码检验器79

4.9.3 长整数和双精度数81

4.9.4 实例初始化方法和新创建的对象81

4.9.5 异常处理者82

4.9.6 异常和finally82

4.10 Java虚拟机和class文件格式的限制84

第五章常数池解析85

5.1类和接口解析86

5.1.1 不由类装载器装载的当前类或接口86

5.1.2 由类装载器装载的当前类或接口88

5.1.3 数组类89

5.2 域和方法解析90

5.3 接口方法解析90

5.4 字符串解析90

5.5 其他常数池项的解析91

第六章Java虚拟机指令集92

6.1 假定：“必须”的含义92

6.2 保留操作码92

6.3 虚拟机错误92

6.4 Java虚拟机指令集93

第七章为Java虚拟机编译183

7.1 范例格式183

7.2 常数、局部变量和控制构造的使用184

7.3 运算188

7.4 访问常数池189

7.5 更多控制范例190

7.6 接收参数193

7.7 调用方法194

7.8 处理类实例196

7.9 数组198

7.10 编译开关200

7.11 对操作数栈的操作202

7.12 抛出和处理异常203

7.13 编译finally207

7.14 同步210

第八章线程和锁212

8.1 术语和框架212

8.2 执行顺序和一致性213

8.3 有关变量的规则214

8.4 Double和Long变量的非原子处理215

8.5 有关锁的规则215

8.6 有关锁和变量的交互作用的规则215

8.7 有关易变变量的规则216

8.8 先见存储操作216

8.9 讨论217

8.10 范例：可能的交换217

8.11 范例：无序写220

8.12 线程222

8.13 锁和同步222

8.14 等待集和通知222

第九章优化224

9.1 通过重写动态链接224

9.2 _quick伪指令224

第十章操作码的操作码助记符247