本书整合了自1999年《Java虚拟机规范（第2版）》发布以来Java世界所出现的技术变化。另外，还修正了第2版中的许多错误，以及对目前主流Java虚拟机实现来说已经过时的内容。最后还处理了一些Java虚拟机和Java语言概念的模糊之处。 针对本书，读者有任何勘误或模糊之处，均可发邮件到jvms-comments-ww@oracle.com。 2004年发布的Java SE 5.0版为Java语言带来了翻天覆地的变化，但是对Java虚拟机设计的影响则相对较小。在Java SE 7这个版本中，我们扩充了class文件格式以便支持新的Java语言特性，譬如泛型和变长参数方法等。 2006年发布的Java SE 6.0版看起来并没有为Java语言带来什么新的变化，但是对Java虚拟机的影响就比较大。如新的字节码验证方式，它源于Eva Rose的一篇硕士论文，文中以Java Card平台为背景，展示了Java虚拟机字节码验证的另一种全新的实现思路。这促进了Java ME CLDC第1版实现的诞生，并最终成为Java SE平台class验证过程的理论基础。关于这部分内容将会在第4章中介绍。

Java虚拟机规范（Java7版，Java SE 7）pdf下载