Java内存区域与内存溢出异常-异常实战

骑猪看日落 2022-09-29 05:20 183阅读 0赞

# Java内存区域与内存溢出异常 #

## OotOfMemoryError异常 ##

JVM内存区域中，除了程序计数器外，其他几个运行时区域都有可能发生OutOfMemoryError（OOM）异常。

### Java堆溢出 ###

Java堆用于存储对象实例，只要不断地创建对象，并且保证GC Roots到对象之间有可达路径来避免垃圾回收机制清除这些对象，对象数量达到最大堆容量限制，则发生溢出。

限制Java堆的大小为20MB，最小值和最大值相同（不可扩展）。设置参数`-XX:+HeapDumpOnOutOfMemoryError`当虚拟机出现内存溢出异常时Dump出当前的内存堆转储快照以便事后分析。

package cc.wsyw126.java.jvm
    
    import java.util.List;
    import java.util.ArrayList;
    
    /** * Java堆溢出 * VM Args：-Xms20m -Xmx20m -XX:+HeapDumpOnOutOfMemoryError */
    
    public class HeapOOM { 
    
        public static void main(String[] args) {
            List<OOMObject> list = new ArrayList<OOMObject>();
            while(true) {
                // list保留引用，避免Full GC 回收 
                list.add(new OOMObject());
            }
        }
    
        static class OOMObject {
    
        }
    }

运行结果：

java.lang.OutOfMemoryError: Java heap space
    Dumping heap to java_pid24982.hprof ...
    Heap dump file created [27964357 bytes in 0.365 secs]

Java堆内存的OOM异常是比较常见的内存溢出异常情况，一般的手段是先通过内存映像分析工具（如Eclipse Memory Analyzer）对Dump出来的堆转储快照进行分析，确实是内存泄露(Memory Leak)还是内存溢出(Memory Overflow)。

1.  内存泄露
    
    通过工具查看泄露对象到GC Roots的引用链，分析泄漏对象是通过怎样的路径和GC Roots相关联并导致垃圾收集器无法自动的回收它们。然后就可以定位泄露代码位置。
2.  内存溢出
    
    如果不存在泄露，即内存中的对象确实都还必须活着，检查JVM堆参数（-Xmx与-Xms），调大参数，检查代码是否存在某些对象生命周期过长，持有状态过长的情况，减少程序运行期的内存消耗。

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

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

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

这里把异常分成两种情况，看似更加严谨，但却存在着一些互相重叠的地方：当栈空间无法继续分配时，到底是内存太小，还是已使用的栈空间太大，其本质上只是对同一件事情的两种描述而已。

在笔者的实验中，将实验范围限制于单线程中的操作，尝试了下面两种方法均无法让虚拟机产生OutOfMemoryError异常，尝试的结果都是获得StackOverflowError异常，测试代码如下所示。

*  使用-Xss参数减少栈内存容量。结果：抛出StackOverflowError异常，异常出现时输出的堆栈深度相应缩小。
 *  定义了大量的本地变量，增大此方法帧中本地变量表的长度。结果：抛出StackOverflowError异常时输出的堆栈深度相应缩小。

package cc.wsyw126.java.jvm
    
    /** * 虚拟机栈和本地方法栈溢出 StackOverFlow * VM Args：-Xss160k */
    
    public class JavaVMStackSOF { 
    
        private int stackLength = 1;
    
        // 递归调用方法，定义大量的本地变量，增大此方法帧中本地变量表的长度
        public void stackLeak() {
            stackLength++;
            stackLeak();
        }
    
        public static void main(String[] args) {
            JavaVMStackSOF oom = new JavaVMStackSOF();
            try {
                oom.stackLeak();
            } catch (Throwable e) {
                System.out.println("stack length: " + oom.stackLength);
                throw e;
            }
        }
    
    }

运行结果：

stack length: 744
    Exception in thread "main" java.lang.StackOverflowError
        at cc.wsyw126.java.jvm.JavaVMStackSOF.stackLeak(JavaVMStackSOF.java:11)
        ...

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

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

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

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

package cc.wsyw126.java.jvm
    
    /** * VM Args：-Xss2M （这时候不妨设置大些） */  
    public class JavaVMStackOOM {   
    
           private void dontStop() {  
                  while (true) {  
                  }  
           }  
    
           public void stackLeakByThread() {  
                  while (true) {  
                         Thread thread = new Thread(new Runnable() {  
                                @Override  
                                public void run() {  
                                       dontStop();  
                                }  
                         });  
                         thread.start();  
                  }  
           }  
    
           public static void main(String[] args) throws Throwable {  
                  JavaVMStackOOM oom = new JavaVMStackOOM();  
                  oom.stackLeakByThread();  
           }  
    }
    
    上述代码执行时有较大的风险，可能会导致操作系统假死

运行结果：

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

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

由于运行时常量池是方法区的一部分，因此这两个区域的溢出测试就放在一起进行。前面提到JDK 1.7开始逐步“去永久代”的事情，在此就以测试代码观察一下这件事对程序的实际影响。

String.intern()是一个Native方法，它的作用是：如果字符串常量池中已经包含一个等于此String对象的字符串，则返回代表池中这个字符串的String对象；否则，将此String对象包含的字符串添加到常量池中，并且返回此String对象的引用。在JDK 1.6及之前的版本中，由于常量池分配在永久代内，我们可以通过-XX:PermSize和-XX:MaxPermSize限制方法区大小，从而间接限制其中常量池的容量，如下代码所示。

package cc.wsyw126.java.jvm;
    
    import java.util.ArrayList;
    import java.util.List;
    
    /** * 运行时常量池溢出 * <p> * jdk1.7 及其以后的版本已经“去永久代”，jdk1.6之前的环境下运行才会出现溢出 * -XX:PermSize=10M -XX:MaxPermSize=10M （间接指定常量池容量大小） */
    public class RuntimeConstantPoolOOM { 
        public static void main(String[] args) {
            List<String> list = new ArrayList<String>();
            int i = 0;
            while (true) {
                // list保留引用，避免Full GC 回收
                list.add(String.valueOf(i++).intern());
            }
        }
    }

运行结果：

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)

从运行结果中可以看到，运行时常量池溢出，在OutOfMemoryError后面跟随的提示信息是“PermGen space”，说明运行时常量池属于方法区（HotSpot虚拟机中的永久代）的一部分。

而使用JDK 1.7运行这段程序就不会得到相同的结果，while循环将一直进行下去。关于这个字符串常量池的实现问题，还可以引申出一个更有意思的影响，如下代码所示。

package cc.wsyw126.java.jvm;
    
    public class RuntimeConstantPoolOOM {
        public static void main(String[] args) {
            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，而在JDK 1.7中运行，会得到一个true和一个false。产生差异的原因是：在JDK 1.6中，intern()方法会把首次遇到的字符串实例复制到永久代中，返回的也是永久代中这个字符串实例的引用，而由StringBuilder创建的字符串实例在Java堆上，所以必然不是同一个引用，将返回false。而JDK 1.7（以及部分其他虚拟机，例如JRockit）的intern()实现不会再复制实例，只是在常量池中记录首次出现的实例引用，因此intern()返回的引用和由StringBuilder创建的那个字符串实例是同一个。对str2比较返回false是因为“java”这个字符串在执行StringBuilder.toString()之前已经出现过，字符串常量池中已经有它的引用了，不符合“首次出现”的原则，而“计算机软件”这个字符串则是首次出现的，因此返回true。

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

package cc.wsyw126.java.jvm;
    
    import net.sf.cglib.proxy.Enhancer;
    import net.sf.cglib.proxy.MethodInterceptor;
    import net.sf.cglib.proxy.MethodProxy;
    
    import java.lang.reflect.Method;
    
    /** * 方法区溢出 * -XX:PermSize=10M -XX:MaxPermSize=10M */
    
    public class JavaMethodAreaOOM { 
        public static void main(String[] args) {
            while (true) {
                Enhancer enhancer = new Enhancer();
                enhancer.setSuperclass(HeapOOM.OOMObject.class);
                enhancer.setUseCache(false);
                enhancer.setCallback(new MethodInterceptor() {
    
                    @Override
                    public Object intercept(Object obj, Method m, Object[] objs, MethodProxy proxy) throws Throwable {
                        // TODO Auto-generated method stub
                        return proxy.invokeSuper(obj, objs);
                    }
                });
                enhancer.create();
            }
        }
    }

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

运行结果：

Caused by: java.lang.OutOfMemoryError: PermGen space  
    at java.lang.ClassLoader.defineClass1(Native Method)  
    at java.lang.ClassLoader.defineClassCond(ClassLoader.java:632)  
    at java.lang.ClassLoader.defineClass(ClassLoader.java:616)  
    ... 8 more

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

### 本机直接内存溢出 ###

DirectMemory容量可通过-XX：MaxDirectMemorySize指定，如果不指定，则默认与Java堆最大值（-Xmx指定）一样，下面代码越过了DirectByteBuffer类，直接通过反射获取Unsafe实例进行内存分配（Unsafe类的getUnsafe()方法限制了只有引导类加载器才会返回实例，也就是设计者希望只有rt.jar中的类才能使用Unsafe的功能）。因为，虽然使用DirectByteBuffer分配内存也会抛出内存溢出异常，但它抛出异常时并没有真正向操作系统申请分配内存，而是通过计算得知内存无法分配，于是手动抛出异常，真正申请分配内存的方法是unsafe.allocateMemory()。

package cc.wsyw126.java.jvm;
    
    import sun.misc.Unsafe;
    
    import java.lang.reflect.Field;
    
    /** * Created by WSYW126 on 17/3/9. */
    public class DirectMemoryOOM { 
    
        private static final int _1MB = 1024 * 1024 * 1024;
    
        public static void main(String[] args) throws Exception {
            Field unsafeField = Unsafe.class.getDeclaredFields()[0];
            unsafeField.setAccessible(true);
            Unsafe unsafe = (Unsafe) unsafeField.get(null);
    
            while (true) {
                // unsafe 直接想操作系统申请内存
                unsafe.allocateMemory(_1MB);
            }
        }
    }

运行结果：

Exception in thread "main" java.lang.OutOfMemoryError  
    at sun.misc.Unsafe.allocateMemory(Native Method)  
    at org.fenixsoft.oom.DMOOM.main(DMOOM.java:20)

由DirectMemory导致的内存溢出，一个明显的特征是在Heap Dump文件中不会看见明显的异常，如果你发现OOM之后Dump文件很小，而程序中又直接或间接使用了NIO，那就可以考虑检查一下是不是这方面的原因。

关于Unsafe可以看下我的这篇文章：[AtomicInteger、Unsafe类、ABA问题][AtomicInteger_Unsafe_ABA]

--------------------

摘自：  
深入理解Java虚拟机  
备注：  
转载请注明出处：[http://blog.csdn.net/wsyw126/article/details/62049619][http_blog.csdn.net_wsyw126_article_details_62049619]  
作者：WSYW126

[AtomicInteger_Unsafe_ABA]: http://blog.csdn.net/wsyw126/article/details/53979918
[http_blog.csdn.net_wsyw126_article_details_62049619]: http://blog.csdn.net/wsyw126/article/details/62049619