Java内存结构与内存溢出

  

Java有着内存动态分配和垃圾回收功能，对于内存的分配和回收，不需要程序员关心。而像C、C++则需要开发者手动对内存进行管理。也正在因为这个区别，JAVA在虚拟机自动内存管理的帮助下，一旦出现内存泄漏和溢出方面的问题，如果不了解虚拟机是怎样分配、回收内存的，在问题排查上会是一份艰难的工作。

 

Java虚拟机在执行Java程序时会把所管理的内存划分为若干个不同的存储区域，主要包含三块：堆、栈和方法区。

内存布局如下图所示：

 

JVM主要分为三个子系统，分别是：类加载器子系统、运行时数据区、执行引擎，下图为JVM的整体架构图。

​

​

 

 

Java堆(Heap)

堆通常是JVM管理的内存里最大的一块区域，几乎所有的对象实例都在堆中分配内存。Java堆是被所有线程共享的一块内存区域，在虚拟机启动的时候创建。

 

Java堆是垃圾收集器管理的主要区域，因此很多时候也被称做“GC堆”。如果从内存回收的角度看，由于现在收集器基本都是采用的分代收集算法，所以Java堆中还可以细分为：新生代和老年代。而年轻代又可以细分为Eden空间、From Survivor（S0）空间、To Survivor（S1）空间。

 

根据Java虚拟机规范的规定，Java堆可以处在物理上不连续的内存空间中，只要逻辑上是连续的即可。在实现时，既可以实现成固定大小的，也可以是可扩展的，不过当前主流的虚拟机都是按照可扩展来实现的（通过 -Xmx 和 -Xms 控制）。如果在堆中没有内存可分配时，并且堆也无法扩展时，将会抛出OutOfMemoryError异常。

 

通过代码模拟OutOfMemoryError异常：

public class HeapOOMExample {

    public static void main(String[] args) {
        List list = new LinkedList();

        while (true) {
            // 每次add 1M大小的byte数组
            list.add(new byte[1024 * 1024]);
        }
    }

}

 

 

相关参数：

• -Xms  设置堆的最小空间大小。
• -Xmx  设置堆的最大空间大小。
• -XX:NewSize  设置新生代最小空间大小。
• -XX:MaxNewSize  设置新生代最大空间大小。

 

 

Java虚拟机栈(JVM Stacks)

该区域也是线程私有的，它的生命周期也与线程相同。栈里面存着的是一种叫“栈帧”的东西，每个方法被执行的时候都会同时创建一个栈帧，用于存储局部变量表、操作栈、动态链接、方法出口等信息。每一个方法被调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。

 

在Java虚拟机规范中，对这个区域规定了两种异常状况：(1) 如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError异常；(2) 如果虚拟机栈可以动态扩展，当扩展时无法申请到足够的内存时会抛出OutOfMemoryError异常。

 

代码模拟StackOverflowError异常：

 

public class StackOverflowErrorExample {

    private static int stackDeep = 1;

    public void method(){
        stackDeep++;
        method();
    }

    public static void main(String[] args) {
        StackOverflowErrorExample example = new StackOverflowErrorExample();
        try {
            example.method();
        } catch (Throwable e) {
            System.out.println("stackDeep:" + stackDeep);
            e.printStackTrace();
        }
    }
}

 

相关参数：

• -Xss  设置每个线程的堆栈大小。

 

方法区(Method Area)

方法区与Java堆一样，是各个线程共享的内存区域，它用于存储已被虚拟机加载的类信息、常量、静态变量、静态方法、成员方法等数据。为了与Java堆区分，方法区还有一个别名Non-Heap(非堆)。

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

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

 

 

永久代（Permanent Generation）

在JDK1.7以前，HotSpot虚拟机使用永久代来实现方法区，这样HotSpot虚拟机的垃圾收集器就可以像管理堆一样管理这部分内存。可以通过如下命令指定永久代的大小：

 

• -XX:PermSize 设置永久代最小空间大小。
• -XX:MaxPermSize 设置永久代最大空间大小。

 

但使用永久代来实现方法区，并不是一个好的方案。由于方法区主要存储类的相关信息，且类及方法的信息等比较难确定其大小，因此对于永久代的大小指定比较困难。在需要动态加载类的情况下就比较容易出现内存溢出，最典型的场景就是，在 jsp 页面比较多的情况，容易出现永久代内存溢出。

 

元空间（Metaspace）

自JDK1.7时，HotSpot就有放弃永久代，采用Native Memory来实现方法区的规划了，并且已经把原本放在永久代的字符串常量池移出到堆中了（在Java中常量池有三个：字符串常量池、class文件常量池、运行时常量池）。

从JDK1.8开始，HotSpot已经没有永久代了，取而代之的是一个叫做 “元空间（Metaspace）” 的东西。

 

元空间的本质和永久代类似，都是对JVM规范中方法区的实现。不过元空间与永久代之间最大的区别在于：元空间并不在虚拟机中，而是使用本地内存。因此，默认情况下，元空间的大小仅受本地内存限制，但可以通过以下参数来指定元空间的大小：

• -XX:MetaspaceSize
  这个参数是初始化的Metaspace大小，该值越大触发Metaspace GC的时机就越晚。随着GC的到来，虚拟机会根据实际情况调控Metaspace的大小，可能增加上线也可能降低。在默认情况下，这个值大小根据不同的平台在12M到20M浮动。使用 java -XX:+PrintFlagsInitial 命令查看本机的初始化参数，-XX:Metaspacesize默认为21810376B（大约20.8M）。
• -XX:MaxMetaspaceSize
  这个参数用于限制Metaspace增长的上限，防止因为某些情况导致Metaspace无限的使用本地内存，影响到其他程序。在本机上该参数的默认值为4294967295B（大约4096MB）。

 

除了上面两个指定大小的选项以外，还有两个与 GC 相关的属性：

• -XX:MinMetaspaceFreeRatio，在GC之后，最小的Metaspace剩余空间容量的百分比，减少为分配空间所导致的垃圾收集
• -XX:MaxMetaspaceFreeRatio，在GC之后，最大的Metaspace剩余空间容量的百分比，减少为释放空间所导致的垃圾收集

方法区OOM示例

下面我们使用javassist工具分别在JDK6和JDK8中循环加载class，看看造成的OOM异常差异。

示例代码：

public class MethodAreaOomExample {

    static javassist.ClassPool cp = javassist.ClassPool.getDefault();

    public static void main(String[] args) throws Exception{
        for (int i = 0; ; i++) {
            cp.makeClass("com.example.jvm.MethodAreaOomExample" + i).toClass();
        }
    }
}

JDK6下运行结果：

​

由于JDK6下方法区靠永久代来实现，因此在我们配置 -XX:MaxPermSize=6m 后运行程序很快出现了OOM异常，可以看到，异常的原因出现在PermGen space（永久代）中。

 

JDK8下运行结果：

​

在JDK8时，虚拟机已经完全移出了永久代，使用元空间来替换，我们通过 -XX:MaxMetaspaceSIze 参数配置最大元空间大小为6m，程序运行后出现OOM异常，异常原因出现在Metaspace区域。

 

本地方法栈(Native Method Stacks)

本地方法栈和Java虚拟机栈功能类似，都是执行方法的，只不过本地方法栈执行的是Native方法。一般本地方法栈在开发JNI的时候会关注到。通常开发很少用到，这里略过。

JNI，Java本地接口（Java Native Interface），用于Java与本地语言其他类型语言（如C、C++）交互。

 

程序计数器(Program Counter Register)

程序计数器（Program Counter Register）是一块较小的内存空间，它的作用可以看做是当前线程所执行的字节码的行号指示器。在虚拟机的概念模型里（仅是概念模型，各种虚拟机可能会通过一些更高效的方式去实现），字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。

 

由于Java虚拟机的多线程是通过线程轮流切换并分配处理器执行时间的方式来实现的，在任何一个确定的时刻，一个处理器（对于多核处理器来说是一个内核）只会执行一条线程中的指令。因此，程序计数器是线程隔离的，每个线程有自己独立的程序计数器。另外，此内存区域是唯一一个在Java虚拟机规范中没有规定任何OutOfMemoryError情况的区域。