Java虚拟机的基本结构

        Java虚拟机的基本结构如下图所示：

        类加载子系统负责从文件系统或网络中加载Class信息，加载的类信息存放于方法区。除了类信息，方法区还会存放运行时常量池信息，包括字符串字面量和数字常量（Class文件中常量池部分的内存映射）。

        Java堆在系统启动的时候建立，几乎所有的Java对象都存放在Java堆中，堆空间是所有线程共享的。

        Java的NIO库允许Java程序使用直接内存，直接内存是在Java堆外的、直接向系统申请的内存。访问直接内存的速度会由于Java堆（避免了在Java堆和直接内存中来回复制数据），读写频繁的场合可能会使用直接内存。Java堆和直接内存的总和受限于操作系统的最大内存。

        垃圾回收系统可以对方法区、Java堆和直接内存进行回收，其中Java堆是垃圾收集器的工作重点。对于不再使用的对象，垃圾回收系统会在后台默默查找、标识并释放垃圾对象。

        每一个Java虚拟机线程都有一个私有的Java栈，Java栈在线程创建的时候被创建。Java栈中保存着帧信息（存储局部变量表，操作数栈、动态链接、方法出口等信息），方法执行的过程对应栈帧入栈与出栈的过程。

        本地方法栈和Java栈类似，用于本地方法（通常用C编写）调用，Java虚拟机允许Java直接调用本地方法。 

        PC（Program Counter）也是每个线程私有的空间，Java虚拟机会为每个Java线程创建程序计数器。任意时刻，1个Java线程总是在执行1个方法，正在被执行的方法称为当前方法。如果当前方法不是本地方法、PC寄存器就会指向当前被执行的指令，如果当前方法是本地方法，PC寄存器的值为undefined。

        执行引擎负责执行虚拟机的字节码，现代虚拟机为了提高执行效率，会使用即时编译技术将方法编译成机器码后在执行。

1、Java堆

        Java堆和程序数据密切相关，根据垃圾回收机智的不同，Java堆的结构可能不同。最常见的结构是将整个Java堆分为新生代和老年代，新生代存放新生对象或年龄不大的对象，老年代则存放老年对象。新生代分为eden区、s0区、s1区，s0和s1区也称为from和to区域，是两块大小相等、可以互换角色的内存空间。

        绝大多数情况下，对象首先分配在eden区，在1次新生代回收后，如果对象还存活，则会进入s0或s1，之后每经过1次新生代回收，存活对象的年龄加1。对象的年龄达到一定条件后，会进入老年代。

 2、Java栈

        Java栈和线程执行密切相关，线程执行的基本行为是方法调用，每次方法调用的数据都是通过Java栈传递的。Java栈中保存的主要内容为栈帧，每1次方法调用，都会有1个对应的栈帧被压入Java栈，每1个方法调用结束（方法正常返回，使用return指令；抛出异常），都有1个栈帧被弹出Java栈。

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

        一个栈帧包含局部变量表、操作数栈和帧数据区等部分。

        局部变量表用于保存函数的参数及局部变量，局部变量表中的变量只在当前方法调用中有效，方法调用结束后，局部变量表随着方法栈帧的销毁而销毁。如果方法的参数和局部变量较多，会使每1次方法调用占用更多的栈空间，导致函数的嵌套调用次数减少。栈帧中的局部变量表中的槽位是可以重用的，如果一个局部变量过了其作用域，那么在其作用域之后申明的新的局部变量可能会复用过期局部变量的槽位，从而节省资源。局部变量表中的变量也是重要的垃圾回收根节点，只要被局部变量表直接或间接引用的对象都是不会被回收的。

        操作数栈用于保存计算过程的中间结果，同时作为计算过程中变量的临时存储空间。许多Java字节码指令都需要通过操作数栈进行参数传递，比如iadd指令，会从操作数栈中弹出2个整数进行加法计算，并将计算结果入栈。

        帧数据区用于支持常量池解析、正常方法返回和异常处理等。帧数据区中保存着访问常量池的指针，方便程序访问常量池。当方法返回或出现异常时，虚拟机必须恢复调用者方法的栈帧，并使调用者方法继续执行下去。方法抛出异常时，虚拟机会查找帧数据区中的异常处理表进行处理，如果异常表中找不到合适的处理方法，会结束当前方法调用，返回调用方法，在调用方法中抛出相同的异常，并查找调用函数的异常表进行处理。

        栈上分配是虚拟机提供的一项优化技术，适用于大量的零散小对象。对于那些线程私有的对象（不可能被其他线程访问到的对象），可以将它们打散分配到栈上，而不是分配在堆上。分配在栈上的好处是可以在方法调用结束后自行销毁，不需要垃圾回收器的介入，从而提高系统性能。栈上分配的一个技术基础是进行逃逸分析，判断对象的作用域是否有可能逃逸出方法体（如类的成员变量或被方法返回的局部变量都有可能是逃逸对象）。

3、方法区

        用于保存系统的类信息，如类的字段、方法、常量池（存放编译期生成的各种字面量和符号引用，也可以在运行时将常量放入池中，如String.intern()方法）等，在JDK 1.6、JDK 1.7中，可以理解为永久区（Perm，默认64MB），在JDK  1.8中，永久区的概念被元数据区取代（默认耗尽所有的系统可用内存）。