Java虚拟机的基本结构

一.Java虚拟机介绍

所谓虚拟机，就是一台虚拟的计算机，它是一款软件，用来执行一些列虚拟计算机指令。虚拟机是Java跨平台特性的主要原因，通过将程序变异成虚拟机识别的字节码，从而达到一次编译到处运行的目的。

Java虚拟机是一台执行Java字节码的虚拟计算机，拥有独立的运行机制，其运行的Java字节码也未必由Java语言编译而成，像Groovy,Scala等语言生成的Java字节码也可以由Java虚拟机执行。

二.虚拟机的基本结构

1.类加载子系统负责从文件系统或者网络中加载Class信息，加载的类信息存放于一块称为方法区的内存空间。除了类的信息外，方法区中可能还会存放运行时常量池信息，常量，静态变量等数据。(常量池用于存放编译期生成的各种字面量和符号引用)

2.Java堆在虚拟机启动的时候建立，几乎所有的对象实例都存放于Java堆中。堆空间是有所线程共享的。Java堆可以处于物理上不连续的内存空间中，只要逻辑上是连续的即可。主流的虚拟机堆的大小都是按照可扩展来实现的,通过

-Xmx和-Xms控制。

3.直接内存是在Java堆外的，直接向系统申请的内存空间。Java的NIO库允许Java程序使用直接内存。通常，访问直接内存的速度会优于Java堆，一次出于性能考虑，读写频繁的场合可能会使用直接内存。由于直接内存存在于Java堆外，因此它的大小不会受限于Xmx指定的最大堆大小，但是系统内存是有限的，Java堆和直接内存的总和依然受限于操作系统能给出的最大内存。

4.垃圾回收系统是Java虚拟机的重要组成部分，垃圾回收器可以对方法区，Java堆和直接内存进行回收。其中，Java堆是垃圾收集器的工作重点。

5.Java栈是线程私有的，生命周期与线程相同。Java栈中保存着局部变量，方法参数，同时和Java方法的调用，返回，密切相关。

6.本地方法栈和Java栈非常类似，最大的不同在于Java栈用于Java方法的调用，而本地方法栈用于本地方法调用，Java虚拟机允许Java直接调用本地方法(通常使用C编写)。

7.PC寄存器也是每个线程私有的空间，Java虚拟机会为每一个Java线程创建PC寄存器，在任意时刻，一个Java线程总是在执行一个方法，这个正在被执行的方法成为当前方法。如果当前方法不是本地方法，PC寄存器就会指向当前正在被执行的指令，如果当前方法是本地方法，那么PC寄存器的值就是undefined.。

8.执行引擎是Java虚拟机的最核心组件之一，负责执行虚拟机的字节码。

三.Java堆

Java堆是和Java应用程序关系最为密切的内存空间，几乎所有的对象都存放在堆中。并且Java堆是完全自动化管理的，通过垃圾回收机制，垃圾对象会被自动清理，而不需要显示地释放。

根据垃圾回收机制的不同，Java对有可能拥有不同的结构。最为常见的一种构成是将整个Java堆分为新生代和老年代。其中新生代存放新生对象或者年龄不大的对象，老年代则存放老年对象。新生代可能分为eden区，s0区,s1区，

s0和s1也被称为from和to区域，他们是两块大小相等，可以互换角色的内存空间。

在大多数情况下，对象首先分配在eden区，在一次新生代回收后，如果对象还存活，则会进入s0或者s1，之后，每经过一次新生代回收，如果对象存活，它的年龄就会加1,。当对象的年龄达到一定条件后( MaxTenuringThreshold 垃圾最大年龄)，就会被认为是老年对象，从而进入老年代。

四.Java栈

Java栈是一块线程私有的内存空间。如果说，Java堆和程序数据密切相关，那么Java栈就和线程执行密切相关。线程执行的基本行为是函数调用，每次函数调用的数据都是通过Java栈传递的。

在Java栈中保存的主要内容是栈帧，每一次函数调用都会有一个对应的栈帧被压入Java栈，每个函数调用结束，都会有一个栈帧被弹出Java栈。在一个栈帧中，至少要包含局部变量表，操作数栈和帧数据区几个部分。

由于每次函数调用都会生成对应的栈帧，从而占用一定的栈空间，如果栈空间不足，函数调用就无法继续，当请求的栈深度大于最大可用栈深度时，系统就会抛出StackOverFlowError栈溢出错误。

Java虚拟机提供了参数-Xss来指定线程的最大栈空间，这个参数也直接决定了函数调用的最大深度。

1.局部变量表

局部变量表是栈帧的重要组成部分之一。它用于保存函数的参数以及局部变量。局部变量表中的变量只在当前函数调用中有效，当函数调用结束后，随着函数栈帧的销毁，局部变量表也会随之销毁。，

由于局部变量表在栈帧中，因此如果函数的参数和局部变量较多，会使得局部变量表膨胀，进而每一次函数调用会占用很多的栈空间，最终导致函数的嵌套调用次数减少。

栈帧中的局部变量表中的槽位是可以复用的，如果一个局部变量过了其作用域，那么在其作用域之后申明的新的局部变量就很有可能会符合用过期局部变量的槽位，从而达到节省资源的目的。

局部变量表中的变量某些情况下会影响垃圾回收机制，只要被局部变量表中直接或间接引用的对象都是不会被回收的，因此，理解局部变量表对理解垃圾回收也有一定帮助。

2.操作数栈

操作数栈也是栈帧中重要的内容之一，它主要用于保存计算过程的中间结果，同时作为计算过程中变量临时的存储空间，许多Java字节码指令都需要通过操作数栈进行参数传递。

3.帧数据区

除了局部变量表和操作数栈外，Java栈帧还需要一些数据来支持常量池解析，正常方法返回和异常处理等。大部分Java字节码指令需要进行常量池访问，在帧数据区中保存着访问常量池的指针，方便程序访问常量池。

4.栈上分配

栈上分配是Java虚拟机提供的一项优化技术，基本思想是，对于那些线程私有的对象(这里指不可能呗其他线程访问的对象)，可以将它们打散分配在栈上，而不是分配在堆上。分配在栈上的好处是可以在函数调用结束后自行销毁，而不需要垃圾回收器的介入，从而提高系统的性能。栈上分配的一个技术基础是进行逃逸分析，逃逸分析的目的是判断对象的作用域是否有可能逃逸出函数体。-XX:+DoEscapeAnalysis启用逃逸分析,-XX:+EliminateAllocations允许将对象打散分配在栈上。

五.方法区

和Java堆一样，方法区是一块所有线程共享的内存区域，用于保存系统的类信息，比如类的字段，方法，常量池等，方法区的大小决定了系统可以保存多少个类，如果系统定义了太多的类，导致方法区溢出，虚拟机同样会抛出内存溢出错误。在JDK1.6，1.7中，方法区可以理解为永久区，永久区使用参数-XX:PermSize和-XX:MaxPermSize指定。如果系统使用了一些动态代理，那么有可能会在运行时生成大量的类，如果这样，就需要设置一个合理的永久区大小。

在JDK1.8中，永久区已经被彻底移除，取而代之的是元数据区，元数据区大小可以使用参数-XX:MaxMetaspaceSize指定(一个大的元数据区可以使系统支持更多的类)，这是一块堆外的直接内存。与永久区不同，如果不指定大小，默认情况下，虚拟机将会耗尽所有的可用系统内存。