jvm之OutOfMemoryError异常与实战

StackOverflowError： 线程请求的栈深度大于虚拟机所允许的深度

OutOfMemoryError：虚拟机栈可以动态扩展（当前大部分的Java虚拟机都可动态扩展，只不过Java 虚拟机规范中也允许固定长度的虚拟机            

                                    栈），如果扩展时无法申请到足够的内存

OutOfMemoryError Java heap space：java堆内存溢出

OutOfMemoryError PermGen space： 运行时常量池溢出，也就是方法区永久代溢出

Exception in thread"main"java.lang.OutOfMemoryError： 由DirectMemory导致的内存溢出，物理内存溢出

at sun.misc.Unsafe.allocateMemory（Native Method）

at org.fenixsoft.oom.DMOOM.main（DMOOM.java：20）

从整个软件开发的范围来看，各种语言和框架使用句柄来访问的情况

也十分常见。

在Java虚拟机规范的描述中，除了程序计数器外，虚拟机内存的其他几个运行时区域都有发生

OutOfMemoryError（下文称OOM）异常的可能，本节将通过若干实例来验证异常发生的场景（代码清单2-3～代码清

单2-9的几段简单代码），并且会初步介绍几个与内存相关的最基本的虚拟机参数。

本节内容的目的有两个：第一，通过代码验证Java虚拟机规范中描述的各个运行时区域存储的内容；第二，希

望读者在工作中遇到实际的内存溢出异常时，能根据异常的信息快速判断是哪个区域的内存溢出，知道什么样的代

码可能会导致这些区域内存溢出，以及出现这些异常后该如何处理。

下文代码的开头都注释了执行时所需要设置的虚拟机启动参数（注释中“VM Args”后面跟着的参数），这些

参数对实验的结果有直接影响，读者调试代码的时候千万不要忽略。如果读者使用控制台命令来执行程序，那直接

跟在Java命令之后书写就可以。如果读者使用Eclipse IDE，则可以参考图2-4在Debug/Run页签中的设置。

图　2-4　在Eclipse的Debug页签中设置虚拟机参数

下文的代码都是基于Sun公司的HotSpot虚拟机运行的，对于不同公司的不同版本的虚拟机，参数和程序运行的

结果可能会有所差别。

2.4.1　Java堆溢出

Java堆用于存储对象实例，只要不断地创建对象，并且保证GC Roots到对象之间有可达路径来避免垃圾回收机

制清除这些对象，那么在对象数量到达最大堆的容量限制后就会产生内存溢出异常。

代码清单2-3中代码限制Java堆的大小为20MB，不可扩展（将堆的最小值-Xms参数与最大值-Xmx参数设置为一

样即可避免堆自动扩展），通过参数-XX：+HeapDumpOnOutOfMemoryError可以让虚拟机在出现内存溢出异常时Dump

出当前的内存堆转储快照以便事后进行分析[1]。

代码清单2-3　Java堆内存溢出异常测试

/**

*VM Args：-Xms20m-Xmx20m-XX：+HeapDumpOnOutOfMemoryError

*@author zzm

*/

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.lang.OutOfMemoryError：Java heap space

Dumping heap to java_pid3404.hprof……

Heap dump file created[22045981 bytes in 0.663 secs]

Java堆内存的OOM异常是实际应用中常见的内存溢出异常情况。当出现Java堆内存溢出时，异常堆栈信

息“java.lang.OutOfMemoryError”会跟着进一步提示“Java heap space”。

要解决这个区域的异常，一般的手段是先通过内存映像分析工具（如Eclipse Memory Analyzer）对Dump出来

的堆转储快照进行分析，重点是确认内存中的对象是否是必要的，也就是要先分清楚到底是出现了内存泄漏

（Memory Leak）还是内存溢出（Memory Overflow）。图2-5显示了使用Eclipse Memory Analyzer打开的堆转储快

照文件。

图　2-5　使用Eclipse Memory Analyzer打开的堆转储快照文件

如果是内存泄露，可进一步通过工具查看泄露对象到GC Roots的引用链。于是就能找到泄露对象是通过怎样的

路径与GC Roots相关联并导致垃圾收集器无法自动回收它们的。掌握了泄露对象的类型信息及GC Roots引用链的信

息，就可以比较准确地定位出泄露代码的位置。

如果不存在泄露，换句话说，就是内存中的对象确实都还必须存活着，那就应当检查虚拟机的堆参数（-Xmx

与-Xms），与机器物理内存对比看是否还可以调大，从代码上检查是否存在某些对象生命周期过长、持有状态时间

过长的情况，尝试减少程序运行期的内存消耗。

以上是处理Java堆内存问题的简单思路，处理这些问题所需要的知识、工具与经验是后面3章的主题。

[1]关于堆转储快照文件分析方面的内容，可参见第4章。

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

由于在HotSpot虚拟机中并不区分虚拟机栈和本地方法栈，因此，对于HotSpot来说，虽然-Xoss参数（设置本

地方法栈大小）存在，但实际上是无效的，栈容量只由-Xss参数设定。关于虚拟机栈和本地方法栈，在Java虚拟机

规范中描述了两种异常：

如果线程请求的栈深度大于虚拟机所允许的最大深度，将抛出StackOverflowError异常。

如果虚拟机在扩展栈时无法申请到足够的内存空间，则抛出OutOfMemoryError异常。

这里把异常分成两种情况，看似更加严谨，但却存在着一些互相重叠的地方：当栈空间无法继续分配时，到底

是内存太小，还是已使用的栈空间太大，其本质上只是对同一件事情的两种描述而已。

在笔者的实验中，将实验范围限制于单线程中的操作，尝试了下面两种方法均无法让虚拟机产生

OutOfMemoryError异常，尝试的结果都是获得StackOverflowError异常，测试代码如代码清单2-4所示。

使用-Xss参数减少栈内存容量。结果：抛出StackOverflowError异常，异常出现时输出的堆栈深度相应缩小。

定义了大量的本地变量，增大此方法帧中本地变量表的长度。结果：抛出StackOverflowError异常时输出的堆

栈深度相应缩小。

代码清单2-4　虚拟机栈和本地方法栈OOM测试（仅作为第1点测试程序）

/**

*VM Args：-Xss128k

*@author zzm

*/

public class JavaVMStackSOF{

private int stackLength=1；

public void stackLeak（）{

stackLength++；

stackLeak（）；

}

public static void main（String[]args）throws Throwable{

JavaVMStackSOF oom=new JavaVMStackSOF（）；

try{

oom.stackLeak（）；

}catch（Throwable e）{

System.out.println（"stack length："+oom.stackLength）；

throw e；

}

}

}

运行结果：

stack length：2402

Exception in thread"main"java.lang.StackOverflowError

at org.fenixsoft.oom.VMStackSOF.leak（VMStackSOF.java：20）

at org.fenixsoft.oom.VMStackSOF.leak（VMStackSOF.java：21）

at org.fenixsoft.oom.VMStackSOF.leak（VMStackSOF.java：21）

……后续异常堆栈信息省略

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

抛出的都是StackOverflowError异常。

如果测试时不限于单线程，通过不断地建立线程的方式倒是可以产生内存溢出异常，如代码清单2-5所示。但

是这样产生的内存溢出异常与栈空间是否足够大并不存在任何联系，或者准确地说，在这种情况下，为每个线程的

栈分配的内存越大，反而越容易产生内存溢出异常。

其实原因不难理解，操作系统分配给每个进程的内存是有限制的，譬如32位的Windows限制为2GB。虚拟机提供

了参数来控制Java堆和方法区的这两部分内存的最大值。剩余的内存为2GB（操作系统限制）减去Xmx（最大堆容

量），再减去MaxPermSize（最大方法区容量），程序计数器消耗内存很小，可以忽略掉。如果虚拟机进程本身耗

费的内存不计算在内，剩下的内存就由虚拟机栈和本地方法栈“瓜分”了。每个线程分配到的栈容量越大，可以建

立的线程数量自然就越少，建立线程时就越容易把剩下的内存耗尽。

这一点读者需要在开发多线程的应用时特别注意，出现StackOverflowError异常时有错误堆栈可以阅读，相对

来说，比较容易找到问题的所在。而且，如果使用虚拟机默认参数，栈深度在大多数情况下（因为每个方法压入栈

的帧大小并不是一样的，所以只能说在大多数情况下）达到1000～2000完全没有问题，对于正常的方法调用（包括

递归），这个深度应该完全够用了。但是，如果是建立过多线程导致的内存溢出，在不能减少线程数或者更换64位

虚拟机的情况下，就只能通过减少最大堆和减少栈容量来换取更多的线程。如果没有这方面的处理经验，这种通

过“减少内存”的手段来解决内存溢出的方式会比较难以想到。

代码清单2-5　创建线程导致内存溢出异常

/**

*VM Args：-Xss2M（这时候不妨设置大些）

*@author zzm

*/

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（）；

}

}

注意　特别提示一下，如果读者要尝试运行上面这段代码，记得要先保存当前的工作。由于在Windows平台的

虚拟机中，Java的线程是映射到操作系统的内核线程上的[1]，因此上述代码执行时有较大的风险，可能会导致操

作系统假死。

运行结果：

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

[1]关于虚拟机线程实现方面的内容可以参考本书第12章。

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

由于运行时常量池是方法区的一部分，因此这两个区域的溢出测试就放在一起进行。前面提到JDK 1.7开始逐

步“去永久代”的事情，在此就以测试代码观察一下这件事对程序的实际影响。

String.intern（）是一个Native方法，它的作用是：如果字符串常量池中已经包含一个等于此String对象的

字符串，则返回代表池中这个字符串的String对象；否则，将此String对象包含的字符串添加到常量池中，并且返

回此String对象的引用。在JDK 1.6及之前的版本中，由于常量池分配在永久代内，我们可以通过-XX：PermSize

和-XX：MaxPermSize限制方法区大小，从而间接限制其中常量池的容量，如代码清单2-6所示。

代码清单2-6　运行时常量池导致的内存溢出异常

/**

*VM Args：-XX：PermSize=10M-XX：MaxPermSize=10M

*@author zzm

*/

public class RuntimeConstantPoolOOM{

public static void main（String[]args）{

//使用List保持着常量池引用，避免Full GC回收常量池行为

List＜String＞list=new ArrayList＜String＞（）；

//10MB的PermSize在integer范围内足够产生OOM了

int i=0；

while（true）{

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循环将一直进行下去。关于这个字符串常量池的实

现问题，还可以引申出一个更有意思的影响，如代码清单2-7所示。

代码清单2-7　String.intern（）返回引用的测试

public class RuntimeConstantPoolOOM{

public static void main（String[]args）{

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和动态代理等），但在本次实验中操作起来比较麻烦。在代码清单2-

8中，笔者借助CGLib[1]直接操作字节码运行时生成了大量的动态类。

值得特别注意的是，我们在这个例子中模拟的场景并非纯粹是一个实验，这样的应用经常会出现在实际应用

中：当前的很多主流框架，如Spring、Hibernate，在对类进行增强时，都会使用到CGLib这类字节码技术，增强的

类越多，就需要越大的方法区来保证动态生成的Class可以加载入内存。另外，JVM上的动态语言（例如Groovy等）

通常都会持续创建类来实现语言的动态性，随着这类语言的流行，也越来越容易遇到与代码清单2-8相似的溢出场

景。

代码清单2-8　借助CGLib使方法区出现内存溢出异常

/**

*VM Args：-XX：PermSize=10M-XX：MaxPermSize=10M

*@author zzm

*/

public class JavaMethodAreaOOM{

public static void main（String[]args）{

while（true）{

Enhancer enhancer=new Enhancer（）；

enhancer.setSuperclass（OOMObject.class）；

enhancer.setUseCache（false）；

enhancer.setCallback（new MethodInterceptor（）{

public Object intercept（Object obj,Method method,Object[]args,MethodProxy proxy）throws Throwable{

return proxy.invokeSuper（obj,args）；

}

}）；

enhancer.create（）；

}

}

static class OOMObject{

}

}

运行结果：

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的应用（即使是同一个类文件，被不同的加载器加载也会视为不同的类）等。

[1]CGLib开源项目： http://cglib.sourceforge.net/。

2.4.4　本机直接内存溢出

DirectMemory容量可通过-XX：MaxDirectMemorySize指定，如果不指定，则默认与Java堆最大值（-Xmx指定）

一样，代码清单2-9越过了DirectByteBuffer类，直接通过反射获取Unsafe实例进行内存分配（Unsafe类的

getUnsafe（）方法限制了只有引导类加载器才会返回实例，也就是设计者希望只有rt.jar中的类才能使用Unsafe

的功能）。因为，虽然使用DirectByteBuffer分配内存也会抛出内存溢出异常，但它抛出异常时并没有真正向操作

系统申请分配内存，而是通过计算得知内存无法分配，于是手动抛出异常，真正申请分配内存的方法是

unsafe.allocateMemory（）。

代码清单2-9　使用unsafe分配本机内存

/**

*VM Args：-Xmx20M-XX：MaxDirectMemorySize=10M

*@author zzm

*/

public class DirectMemoryOOM{

private static final int_1MB=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.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，那就可以考虑检查一下是不是这方面的原因。