Java虚构机规范 Java SE 8版

资源名称：Java虚拟机规范  Java SE 8版

内容简介：

本书完整而准确地阐释了Java虚拟机各方面的细节，围绕Java虚拟机整体架构、编译器、class文件格式、加载、链接与初始化、指令集等核心主题对Java虚拟机进行全面而深入的分析，深刻揭示Java虚拟机的工作原理。同时，书中不仅完整地讲述了由Java SE 8所引入的新特性，例如对包含默认实现代码的接口方法所做的调用，还讲述了为支持类型注解及方法参数注解而对class文件格式所做的扩展，并阐明了class文件中各属性的含义，以及字节码验证的规则。

作者简介：

从1999年4月出版《Java虚拟机规范（第2版）》至今，已经14年过去了，虽然此规范在JDK5发布的时候做了较大的更新，但却始终没有发布完整的规范。2011年6月28日，最新的《Java虚拟机规范》终于完成并在7月份正式发布。对于想了解Java虚拟机的程序员来说，本书是必须阅读的；想深入了解Java语言细节的程序员阅读本书也有极大好处，但是《Java虚拟机规范》、《Java语言规范》发布十余年，一直没有中文译本，这令国内不少对Java虚拟机感兴趣但英语能力较弱的程序员只能望书兴叹。

2011年年初，本书还处于草稿状态时，我就开始关注本书，并陆续对其中第1、2、6、7章进行了翻译，到2011年9月时完成了200余页的译稿。这时候又在国内著名Java社区ItEye中结识了另外三名译者薛笛、吴璞渊和冶秀刚，我们在随后的两个多月的时间里共同完成了其余章节的翻译和校对。在2013年，机械工业出版社获得了这本书的版权，并且采用了我们翻译的版本出版，因此有了这本中文版图书。

本书并非某一款虚拟机实现的说明书，它是一份保证各个公司的Java虚拟机实现具备统一外部接口的契约文档，书中的概念和细节描述曾经与Sun公司早期虚拟机的实现高度吻合，但是随着技术的发展，高性能虚拟机真正的细节实现方式已经渐渐与虚拟机规范所描述的内容产生了越来越大的差距。作者也在书中不同地方反复强调：虚拟机规范中所提及的“Java虚拟机”皆为虚拟机的概念模型而非具体实现。实现只要保证与概念模型最终等效即可，而具体实现的方式无需受概念模型束缚。因此，通过《Java虚拟机规范》分析程序的执行语义问题（虚拟机会做什么）是十分合适且具权威性的，但分析程序的执行行为问题（虚拟机是怎样做的、性能如何）则意义不大，如果需要对具体虚拟机实现进行调优、性能分析等，我推荐在本书基础上继续阅读《Java Performance》和《Oracle JRockit：The Definitive Guide》等书。

在翻译过程中，我们尽最大努力保证作品的准确性和可读性，力求在保证语义准确的前提下，尽可能使用通俗易懂的方式向给各位读者介绍Java虚拟机的约束与运作原理。为实现此目标，我们在翻译专有技术名词、偏僻词时用括号保留了原文，并专门在多处读者理解起来可能有困难的地方，添加了“译者注”加以解释。

囿于我们的水平和翻译时间，书中难免存在不妥之处，大家如有任何意见或建议都欢迎通过以下电子邮箱与我联系：understandingjvm@gmail.com。

资源目录：

译者序

前　言

第1章　引言1

1.1　简史1

1.2　Java虚拟机2

1.3　各章节摘要2

1.4　说明3

1.5　反馈3

第2章　Java虚拟机结构4

2.1　class文件格式4

2.2　数据类型5

2.3　原始类型与值5

2.3.1　整数类型与整型值6

2.3.2　浮点类型、取值集合及浮点值6

2.3.3　returnAddress类型和值8

2.3.4　boolean类型8

2.4　引用类型与值9

2.5　运行时数据区9

2.5.1　pc寄存器9

2.5.2　Java虚拟机栈10

2.5.3　Java堆10

2.5.4　方法区11

2.5.5　运行时常量池11

2.5.6　本地方法栈12

2.6　栈帧12

2.6.1　局部变量表13

2.6.2　操作数栈14

2.6.3　动态链接14

2.6.4　方法调用正常完成15

2.6.5　方法调用异常完成15

2.7　对象的表示15

2.8　浮点算法15

2.8.1　Java虚拟机和IEEE 754中的浮点算法15

2.8.2　浮点模式16

2.8.3　数值集合转换17

2.9　特殊方法18

2.10　异常19

2.11　字节码指令集简介20

2.11.1　数据类型与Java虚拟机21

2.11.2　加载和存储指令23

2.11.3　算术指令24

2.11.4　类型转换指令25

2.11.5　对象的创建与操作27

2.11.6　操作数栈管理指令27

2.11.7　控制转移指令27

2.11.8　方法调用和返回指令28

2.11.9　抛出异常28

2.11.10　同步28

2.12　类库29

2.13　公有设计、私有实现30

第3章　Java虚拟机编译器31

3.1　示例的格式说明31

3.2　常量、局部变量和控制结构的使用32

3.3　算术运算36

3.4　访问运行时常量池36

3.5　与控制结构有关的更多示例37

3.6　接收参数40

3.7　方法调用41

3.8　使用类实例43

3.9　数组44

3.10　编译switch语句46

3.11　使用操作数栈48

3.12　抛出异常和处理异常48

3.13　编译finally语句块51

3.14　同步54

3.15　注解55

第4章　class文件格式56

4.1　ClassFile结构57

4.2　各种名称的内部表示形式61

4.2.1　类和接口的二进制名称61

4.2.2　非限定名61

4.3　描述符62

4.3.1　语法符号62

4.3.2　字段描述符62

4.3.3　方法描述符63

4.4　常量池64

4.4.1　CONSTANT_Class_info结构65

4.4.2　CONSTANT_Fieldref_info、CONSTANT_Methodref_info和CONSTANT_InterfaceMethodref_info结构66

4.4.3　CONSTANT_String_info结构67

4.4.4　CONSTANT_Integer_info和CONSTANT_Float_info结构67

4.4.5　CONSTANT_Long_info和CONSTANT_Double_info结构68

4.4.6　CONSTANT_NameAnd-Type_info结构69

4.4.7　CONSTANT_Utf8_info结构70

4.4.8　CONSTANT_MethodHandle_info结构72

4.4.9　CONSTANT_MethodType_info结构73

4.4.10　CONSTANT_Invoke-Dynamic_info结构74

4.5　字段74

4.6　方法76

4.7　属性78

4.7.1　自定义和命名新的属性82

4.7.2　ConstantValue属性82

4.7.3　Code属性83

4.7.4　StackMapTable属性86

4.7.5　Exceptions属性92

4.7.6　InnerClasses属性93

4.7.7　EnclosingMethod属性95

4.7.8　Synthetic属性96

4.7.9　Signature属性96

4.7.10　SourceFile属性100

4.7.11　SourceDebugExtension属性101

4.7.12　LineNumberTable属性102

4.7.13　LocalVariableTable属性103

4.7.14　LocalVariableTypeTable属性104

4.7.15　Deprecated属性106

4.7.16　RuntimeVisibleAnnota-tions属性106

4.7.17　RuntimeInvisible-Annotations属性110

4.7.18　RuntimeVisibleParameterAnnotations属性111

4.7.19　RuntimeInvisiblePara-meterAnnotations属性112

4.7.20　RuntimeVisibleTypeAnnotations属性114

4.7.21　RuntimeInvisibleType-Annotations属性124

4.7.22　AnnotationDefault属性125

4.7.23　BootstrapMethods属性126

4.7.24　MethodParameters属性127

4.8　格式检查129

4.9　Java虚拟机代码约束129

4.9.1　静态约束130

4.9.2　结构化约束132

4.10　class文件校验135

4.10.1　类型检查验证136

4.10.2　类型推导验证200

4.11　Java虚拟机限制206

第5章　加载、链接与初始化208

5.1　运行时常量池208

5.2　虚拟机启动210

5.3　创建和加载211

5.3.1　使用引导类加载器来加载类型212

5.3.2　使用用户自定义类加载器来加载类型212

5.3.3　创建数组类213

5.3.4　加载限制214

5.3.5　从class文件表示得到类214

5.4　链接215

5.4.1　验证216

5.4.2　准备216

5.4.3　解析217

5.4.4　访问控制225

5.4.5　方法覆盖225

5.5　初始化226

5.6　绑定本地方法实现228

5.7　Java虚拟机退出228

第6章　Java虚拟机指令集229

6.1　设定：“必须”的含义229

6.2　保留操作码229

6.3　虚拟机错误230

6.4　指令描述格式230

6.5　指令集描述232

第7章　操作码助记符320

附录A　Limited License Grant327

资源截图：