深入理解JVM--内存模型及其内存溢出异常

要想深入理解JVM，必然先理解JVM的内存模型。根据Java虚拟机规范，Java虚拟机所管理的内存区域包括以下几个运行时内存区域，如下图所示。接下来逐一讲解每个内存区域的具体作用。

1.程序计数器（线程私有）

程序计数器是一块很小的内存区域，它可以看作是当前线程所执行的字节码的行号指示器。字节码解释器工作时就是通过改变这个计数器的值来选取下一条要执行的字节码指令，比如分值、循环、跳转、异常、线程恢复等基础功能都需要依赖这个计数器来完成。

由于Java虚拟机的多线程是通过线程轮流切换并分配处理器执行时间的方式实现的，在任何一个确定的时刻，一个处理器都只会执行一条线程中的指令，因此为了线程切换后能恢复到正确的执行位置，每条线程都需要有一个独立的的程序计数器，各条线程之间的计数器是互不影响的独立存储，我们称这类内存区域为“线程私有”内存。

此内存区域是唯一一个Java虚拟机规范中没有任何规定任何OutOfMemoryError(OOM异常)情况的区域。

2.Java虚拟机栈（线程私有）

与程序计数器一样，Java虚拟机栈也是线程私有的，它的生命周期与线程相同。虚拟机栈描述的额是Java方法执行的内存模型：每个方法在执行的同时都会创建一个栈帧用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行完毕的过程，就对应着一个栈帧在虚拟机中入栈到出栈的过程。

局部变量表存放了编译期可知的各种基本数据类型、对象引用（它不等于对象本身，可能是一个指向对象起始地址的应用指针，也可能是指向一个代表对象的句柄或者其他与此对象相关的位置。在hotspot虚拟机中，它指的是前者，一个指向对象起始地址的应用指针）。

在Java虚拟机规范中，对这个区域规定了两种异常状况：如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError异常；如果虚拟机栈可以动态扩展（当前大部分Java虚拟机都可以动态扩展，只不过Java虚拟机规范中也允许固定长度的虚拟机）如果扩展时无法申请到足够的内存，就会抛出OutOfMemoryError异常。

3.本地方法栈（线程私有）

本地方法栈与虚拟机方法栈所发挥的作用非常相似，它们之间的区别不过是虚拟机栈为虚拟机执行Java方法服务，而本地方法栈则为虚拟机使用到的native方法服务（在hotspot虚拟机中，直接把本地方法栈和虚拟机栈合二为一。）与Java虚拟机栈一样，本地方法栈区域也会抛出StackOverflowError 和 OutOfMemoryError 异常。

4.Java堆（线程共享）

Java堆可以说是Java虚拟机内存中最大的一块，也是所有线程共享的一块区域。在虚拟机启动时创建。此区域的唯一目的就是存放对象实例，几乎所有的对象实例都在这里分配内存。Java堆是垃圾收集器管理的主要区域。从内存回收的角度来看，由于现在的收集器基本都采用分代收集算法，所以Java堆中还可以细分为：新生代和老年代，再细致一点的有Eden区，Survivor1、Survivor2区等。

根据Java虚拟机规范的规定，Java堆可以处于物理上不连续的内存空间中，只要逻辑上是连续的即可，就像我们的额磁盘空间一样。在实现时，既可以实现成固定的，也可以是扩展的。如果在堆中没有内存完成得实例分配，并且堆也无法再扩展时，将会抛出OutOfMemoryError 异常。

5.方法区（线程共享）

方法区与Java堆一样是各个线程共享的内存区域，它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译后的代码等数据。对hotspot虚拟机，往往会把该区称为“永久代（Permanent Generation）”。

Java虚拟机规范对方法区的限制非常宽松，除了和Java堆一样不需要连续的内存和可以选择固定大小或者可扩展外，还可以选择不实现垃圾收集。相对而言，垃圾收集行为在这个区域是比较少的。

根据Java虚拟机规范的规定：当方法区无法满足内存分配需求时，将抛出OutOfMemoryError 异常。