深入理解Java虚拟机：实战OutOfMemoryError

堆溢出

    堆用于存储对象实例，只要不断地创建对象，并且保证 GC Roots 到对象之间有可达路径来避免垃圾回收机制清除这些对象，那么在对象数量到达最大堆的容量限制后就会产生内存溢出异常。
    下面代码中，堆的大小限制为20M，不可扩展（将堆的最小值-Xms参数与最大值-Xmx最大值参数设置为一样，避免自动扩展）通过参数-XX:+HeapDumpOnOutOfMemoryError，可以让虚拟机在出现内存溢出时Dump出当前的内存转储快照以便事后进行分析。

/**
 *
 * VM Args:-Xms20m -Xmx20m -XX:+HeapDumpOnOutOfMemoryError
 *
 */
public class HeapOOM {

    static class OOMObject{

    }

    public static void main(String[] args) {
        List<OOMObject> list = new ArrayList<OOMObject>();

        while (true) {
            list.add(new OOMObject());
        }
    }

}

    运行结果：

    Java堆内存的OOM异常是实际应用中常见的内存溢出异常情况。当出现Java堆内存溢出时 ,异常堆栈信息“java.lang.OutOfMemoryError”会跟着进一步提示“Java heap space”。

    要解决这个区域的异常,一般的手段是先通过内存映像分析工具(如Eclipse Memory Analyzer ) 对Dump出来的堆转储快照进行分析,重点是确认内存中的对象是否是必要的,也就是要先分清楚到底是出现了内存泄漏(Memory Leak ) 还是内存溢出(Memory Overflow ) 。 显示了使用Eclipse Memory Analyzer打开的堆转储快照文件。

---

虚拟机栈和本地方法栈溢出

    由于在HotSpot虚拟机中并不区分虚拟机栈和本地方法栈,因此 ,对于HotSpot来 说 ,虽然-Xoss参数 (设置本地方法栈大小)存在 ,但实际上是无效的,栈容量只由-Xss参数设定。 关于虚拟机栈和本地方法栈,在Java虚拟机规范中描述了两种异常:

• 如果线程请求的栈深度大于虚拟机所允许的最大深度，将抛出StackOverflowError异常
• 如果虚拟机在扩展时无法申请到足够的内存空间，则抛出OutOfMemoryError异常

/**
 * 虚拟机栈和本地方法栈OOM测试
 * VM Args: -Xss128k
 */
public class JavaVMStackSOF {

    private int stackLength = 1;

    public void stackLeck(){
        stackLength ++;
        stackLeck();
    }

    public static void main(String[] args) {
        JavaVMStackSOF oom = new JavaVMStackSOF();
        try {
            oom.stackLeck();
        } catch (Throwable e) {
            System.out.println("stack length:" + oom.stackLength + "\n");
            throw e;
        }
    }

}

    运行结果:

    实验结果表明：在单个线程下，无论是由于栈帧太大还是虚拟机容量太小，当内存无法分配的时候虚拟机都抛出的是StackOverflowError。

    如果测试时不限于单线程,通过不断地建立线程的方式倒是可以产生内存溢出异常,如代码清单2-5所示。但是这样产生的内存溢出异常与栈空间是否足够大并不存在任何联系,或者准确地说，在这种情况下，为每个线程的栈分配的内存越大，反而越容易产生内存溢出异常。

    其实原因不难理解,操作系统分配给每个进程的内存是有限制的,譬如32位的Windows 限制为2GB。虚拟机提供了参数来控制Java堆和方法区的这两部分内存的最大值。剩余的内存为2GB ( 操作系统限制)减去Xmx ( 最大堆容量),再减去MaxPermSize (最大方法区容量 ),程序计数器消耗内存很小,可以忽略掉。如果虚拟机进程本身耗费的内存不计算在内 ,剩下的内存就由虚拟机栈和本地方法栈“瓜分” 了。每个线程分配到的栈容量越大,可以建立的线程数量自然就越少,建立线程时就越容易把剩下的内存耗尽。

    这一点需要在开发多线程的应用时特别注意,出现StackOverflowError异常时有错误堆栈可以阅读,相对来说,比较容易找到问题的所在。而且 ,如果使用虚拟机默认参数,栈深度在大多数情况下(因为每个方法压入栈的帧大小并不是一样的,所以只能说在大多数情况下)达到1000〜2000完全没有问题,对于正常的方法调用(包括递归),这个深度应该完全够用了。但是 ,如果是建立过多线程导致的内存溢出,在不能减少线程数或者更换64位虚拟机的情况下,就只能通过减少最大堆和减少栈容量来换取更多的线程。如果没有这方面的处理经验,这种通过“减少内存”的手段来解决内存溢出的方式会比较难以想到。

/**
 * 创建线程导致内存溢出线程
 *
 * VM Args: -Xss2M
 * 
 * 注意：特别提示一下，如果要尝试运行上面这段代码，记得要先保存当前的工作。由于Java的线程时映射到操作系统的内核线程上的，因此上述代码执行时有较大风险，可能会导致操作系统假死。
 * 
 * @author rocki
 *
 */
public class JavaVMStackOOM {

    private void dontStop(){
        while(true);
    }

    public void stackLeakByThread(){
        while (true) {
            new Thread(
                     new Runnable() {
                        public void run() {
                            dontStop();
                        }
                    }
            ).start();
        }
    }

    public static void main(String[] args) {
        JavaVMStackOOM oom = new JavaVMStackOOM();
        oom.stackLeakByThread();
    }
}

    运行结果：

Exception in thread"main"java.lang.OutOfMemoryError :unable to create new native thread 

方法区和运行时常量池溢出

    在JDK 1.6及之前的版本中,由于常量池分配在永久代内,我们可以通过-XX : PermSize和-XX : MaxPermSize限制方法区大小 ,从而间接限制其中常量池的容量

/**
 * 
 * 运行时常量池导致的内存溢出异常
 * VM Args:-XX:PermSize=10M -XX:MaxPermSize=10M
 * 
 * @author rocki
 *
 */
public class RunTimeContantPoolOOM {

    public static void main(String[] args) {

        // jdk 1.6 会java.lang.OutOfMemoryError: PermGen space
        // jdk 1.7 while 循环将一直循环下去

        /*//使用 List 保持着常量池引用,避免 Full GC 回收常量池行为
        List<String> list = new ArrayList<String>();
        //10MB的 PermSize 在 Interger 范围内足够产生 OOM 了
        int i = 0;
        while (true) {
            list.add(String.valueOf(i++).intern());
        }*/


        /*String.intern()方法是一个native方法，
        它的作用是：如果字符串常量池中已经包含一个等于此String对象的字符串，
        则返回代表池中这个字符串的string对象；
        否则，将此String对象包含的字符串添加到常量池中，并返回此String对象的引用。*/


        String str1 = new StringBuilder("计算器").append("软件").toString();
        System.out.println(str1.intern() == str1);

        String str2 = new StringBuilder("ja").append("va").toString();
        System.out.println(str2.intern() == str2);

        /*jdk 1.6中的结果为两个false，
         intern()方法会把首次遇到的字符串实例复制到永久代中,返回的也是永久代中的这个字符串实例的引用，而由 StringBuilder 创建的字符串实例在堆上,所以必然不是同一个引用
         */

        /*
         jdk 1.7(以及部分其他虚拟机，例如JRockit)的 intern() 实现不会再复制实例，只是再字符串中记录首次出现的实例引用，因此 intern() 返回的引用和由 StringBuilder 创建的那个字符串实例是同一个
         结果为 true 和 false
         */
    }

}

    运行结果:

Exception in thread"main"java.lang.OutOfMemoryError :PermGen space
at java.lang.String, intern (Native Method )
at org.fenixsoft.oom.RuntimeConstantPoolOOM.main(RuntimeConstantPoolOOM.java:18)

    方法区用于存放Class的相关信息,如类名、访问修饰符、常量池、字段描述、方法描述 等。对于这些区域的测试,基本的思路是运行时产生大量的类去填满方法区,直到溢出。虽然直接使用Java SE API也可以动态产生类(如反射时的GeneratedConstmctorAccessor和动态代理等),但在本次实验中操作起来比较麻烦。在代码清单2-8中 ,笔者借助CGLib直接操作字节码运行时生成了大量的动态类。

    值得特别注意的是,我们在这个例子中模拟的场景并非纯粹是一个实验,这样的应用经常会出现在实际应用中:当前的很多主流框架,如spring、hibernate ,在对类进行增强时, 都会使用到CGLib这类字节码技术,增强的类越多,就需要越大的方法区来保证动态生成的 Class可以加载入内存。另外,JVM上的动态语言(例如Groovy等 )通常都会持续创建类来实现语言的动态性,随着这类语言的流行,也越来越容易遇到与代码清单2-8相似的溢出场景。

/**
 * VM Args: -XX:PermSize=10M -XX:MaxPermSize=10M
 */
public class JavaMethodAreaOOM{

    public static void main(String[] args) {
        while(true){
            Enhancer e = new Enhancer();
            e.setSuperclass(OOMObject.class);
            e.setUseCache(false);
            e.setCallback(new MethodInterceptor(){
                public Object intercept(Object obj, Method method, 
                        Object[] args, MethodProxy proxy) throws Throwable{
                    return proxy.invokeSuper(obj,args);
                }
            });
            e.create();
        }
    }
}

    运行结果:

Caused by: java.lang.OutOfMemoryError: PermGen space

    方法区的溢出是一种常见的内存溢出异常，一个类要被垃圾收集器回收掉，判断条件是比较苛刻的。在经常动态生成大量Class应用中，需要特别注意类的回收情况。这类除了上面提到的程序使用了CGLib字节码增强和动态语言之外，常见的还有：还有大量jsp或动态产生jsp文件的应用（JSP第一次运行时需要编译为Java类）、基于OSGi的应用（即使是同一个类文件，被不同的加载器加载也会视为不同的类）等。

所有用到的JVM启动参数：
-Xss2M 设置JVM栈内存大小
-Xms20M 设置堆内存初始值
-Xmx20M 设置堆内存最大值
-Xmn10M 设置堆内存中新生代大小
-XX:SurvivorRatio=8 设置堆内存中新生代Eden 和 Survivor 比例
-XX:PermSize=10M 设置方法区内存初始值
-XX:MaxPermSize=10M 设置方法区内存最大值
-XX:MaxDirectMemorySize=10M 设置堆内存中新生代大小

代码地址：https://github.com/Rock3306/JavaVirtualMachines