在 Java 虚拟机内存区域中，除了程序计数器外，其他几个内存区域都可能会发生OutOfMemoryError，这次通过一些代码来验证虚拟机各个内存区域存储的内容。
在实际工作中遇到内存溢出异常时，需要做到能根据异常信息快速判断是哪个内存区域的溢出，知道什么样的代码会导致这些区域内存溢出，并且知道出现内存溢出后如何处理。
Java堆溢出#
Java 堆用于存储对象实例，只要不断的扩展对象，并且保证 GC Roots 到对象有可达路径来避免垃圾回收，那么对象数量到达堆的最大容量后就会发生内存溢出异常。
模拟堆内存溢出#
以下代码会把堆大小限制在20M且不可扩展（将最小参数-Xms和最大参数-Xmx设为相同就会避免自动扩展），通过参数-XX:+HeapDumpOnOutOfMemoryError可以让虚拟机在发生内存溢出时Dump出内存快照用来分析。
参数 说明
-XX:+HeapDumpOnOutOfMemoryError 内存溢出时自动导出内存快照
-XX:HeapDumpPath=E:/dumps/ 导出内存快照时保存的路径
Copy
/**
* Java堆内存溢出异常
* VM args: -Xms20M -Xmx20M -XX:+HeapDumpOnOutOfMemoryError
* -Xms和-Xmx设为相同值避免堆内存自动扩展，
* -XX:+HeapDumpOnOutOfMemoryError可以让虚拟机在发生OOM时Dump出内存快照
* Run With JDK 1.8
* */
public class HeapOOM {
static class OOMObject{
}
public static void main(String[] args){
List<OOMObject> list = new ArrayList<>();
while(true){
list.add(new OOMObject());
}
}
}
运行结果：
Copy
java.lang.OutOfMemoryError: Java heap space
Dumping heap to java_pid1344.hprof ...
Heap dump file created [29068691 bytes in 0.108 secs]
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
at java.util.Arrays.copyOf(Arrays.java:3210)
at java.util.Arrays.copyOf(Arrays.java:3181)
at java.util.ArrayList.grow(ArrayList.java:261)
at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235)
at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227)
at java.util.ArrayList.add(ArrayList.java:458)
at test.oom.HeapOOM.main(HeapOOM.java:21)
可以从异常信息中看到，OOM异常发生在“main”线程，发生的内存区域是“Java heap space”。
通过IntelliJ IDEA运行的话，可以点击Edit Configurations配置VM参数，生成的堆Dump快照文件为hprof后缀，存放在Working directory配置对应的目录下，如下图：
image
堆内存溢出分析#
要分析 Java 堆的内存溢出，首先通过快照分析工具（如Java VisualVM）对 Dump 出来的的快照进行分析，确认内存中的对象是否是必要的。如果是不必要的而没有垃圾回收掉，则发生的是内存泄漏（Memory Leak）；如果都是必要的，则是内存溢出（Memory Overflow）。
如果是内存泄漏，通过工具进一步查看对象实例到 GC Roots 的引用链，找到泄露对象是通过什么路径与 GC Roots 相关联导致垃圾收集器无法回收它们。根据泄露对象的类型信息和到 GC Roots 的引用链，就可以定位到泄露代码的位置。
如果是内存溢出，也就是说这些对象还都必须存活，那么就检查堆内存的大小参数（-Xms与-Xmx）与物理内存比较还是否可以调大，再从代码上检查是否存在某些对象生命周期过长、持有状态时间过长的情况，尝试减少程序运行期的内存消耗。
打开 JDK 自带的分析工具 Java VisualVM（bin目录下的jvisualvm.exe），点击文件->装入选择堆快照java_pid1344.hprof文件，打开后显示的是概述信息，这里会显示快照的一些基本信息、环境属性以及线程信息。
然后点击类，打开后如下图：
image
从上图可以看到，数量最多的且占用内存最大的对象是OOMObject类型的实例，OOMObject类型共有实例810,326个，大小总共12,965,216个字节（byte），而这些对象都是在while循环中new出来加入到List中的，都是应该存活的对象，也就是说发生的OOM是内存溢出而不是内存泄漏。
然后在OOMObject的记录上右键点击在实例试图中显示，则会打开实例视图，见下图：
image
可以看到其中一个OOMObject对象的引用链，它被一个Object[]数组中的元素引用，我们都知道ArrayList是基于数组实现的，而这个Object[]数组对象就是一个 GC Root，它的内存地址是578296。
虚拟机栈和本地方法栈溢出#
在内存区域那篇文章讲到过，HotSpot虚拟机把本地方法栈和虚拟机栈合二为一了，栈容量由-Xss参数设置。关于虚拟机栈和本地方法栈，虚拟机规范规定了两种异常：
如果线程请求的栈深度大于虚拟机所允许的最大深度，将抛出StackOverflowError异常。
如果虚拟机在扩展栈时无法申请到足够的内存空间，则抛出OutOfMemoryError异常。
这里把异常分为了两种，看似严谨实际上有相互重叠的地方，当栈空间无法继续分配时，到底是内存太小，还是已使用的栈空间太大，本质上只是对同一个问题的不同描述而已。
有两种方法会抛出StackOverflowError异常，一种是通过-Xss参数减小栈内存容量；一种是定义大量局部变量，从而增大此方法帧中的局部变量表的长度。以下代码是第一种：
Copy
/**
* Java栈内存溢出异常
* 通过减小栈内存容量抛出StackOverflowError
* VM args: -Xss128K
* Run With JDK 1.8
* */
public class StackOOM {
private int stackLength = 1;
public void stackLeak() {
stackLength++;
stackLeak();
}
public static void main(String[] args) throws Throwable {
StackOOM oom = new StackOOM();
try {
oom.stackLeak();
}catch(Throwable e){
System.out.println("stack length: " + oom.stackLength);
throw e;
}
}
}
运行结果：
Copy
stack length: 998
Exception in thread "main" java.lang.StackOverflowError
at com.cellei.outofmemory.StackOOM.stackLeak(StackOOM.java:15)
at com.cellei.outofmemory.StackOOM.stackLeak(StackOOM.java:16)
at com.cellei.outofmemory.StackOOM.stackLeak(StackOOM.java:16)
...
at com.cellei.outofmemory.StackOOM.main(StackOOM.java:22)
实验结果表明，不论是减小栈容量大小还是增加栈帧大小，当内存无法分配时虚拟机抛出的都是StackOverflowError异常。
如果不限于单线程，不断的建立线程的情况下倒是会抛出OutOfMemoryError异常，但跟栈空间是否足够大没有直接关系，而且栈是线程私有的内存区域。这种情况下，每个线程的栈分配的内存越大，就越容易产生内存溢出异常。
虚拟机提供了参数来控制堆内存和方法区的最大容量，物理内存减去堆内存最大值，再减去方法区的最大值，程序计数器消耗内存很小忽略不计，剩下的就被虚拟机栈和本地方法栈瓜分了。所以每个线程分配到的栈容量越大，则可以建立的线程数量越少，建立线程时就越容易把剩下的内存耗尽。如果建立过多导致了内存溢出，在不能减少线程数的情况下，就只能通过减少最大堆和减少栈容量来换取更多的线程。
方法区和运行时常量池溢出#
在JDK1.6及之前，运行时常量池是方法区的一部分，且方法区还使用永久代实现，那时候可以在限制永久代大小的情况下，循环调用String.intern()方法造成运行时常量池溢出而导致方法区溢出。使用参数-XX:PermSize和-XX:MaxPermSize来限制永久代也就是方法区的大小。String.intern()方法是一个Native方法，作用是：如果字符串常量池中已经包含一个等于此String对象的字符串，则返回代表常量池中这个字符串的String对象；否则，将此String对象包含的字符串添加到常量池中。
在JDK1.7的时候常量池挪到了堆内存中，到了JDK1.8就干脆取消了永久代，取而代之的是元空间（MetaSpace），且元空间是位于本地内存而不是虚拟机内存。
以下代码，在JDK1.6及之前的版本中会产生内存溢出：
Copy
/**
* 要求运行在 JDK1.6 或以前
* 导致常量池溢出从而产生永久代溢出
* VM Args: -XX:PermSize=10M -XX:MaxPermSize=10M
* Run With JDK 1.6
*/
public class ConstantPoolOverflowTest
{
public static void main(String[] args)
{
List<String> list = new ArrayList<String>();
int i = 0;
while (true)
{
list.add(String.valueOf(i++).intern());
}
}
}
运行结果：
Copy
Exception in thread "main" java.lang.OutOfMemoryError: PermGen space
at java.lang.String.intern(Native Method)
...
可见运行结果提示了PermGen space，表明是那个版本的永久代也就是方法区溢出。
既然JDK1.7及之后常量池挪到了 Java 堆中，在那之后的版本如何产生方法区溢出呢？既然方法区用于存放类的相关信息，基本思路就是在运行时产生大量的类去填充方法区，直到溢出。可以使用 JDK 的动态代理，也可以使用第三方库比如 CGLib 实现。
以下代码使用CGLib库，在运行时不断的产生类导致方法区溢出。由于JDK1.8的方法区改为了使用元空间实现，所以可以使用参数-XX:MetaspaceSize和-XX:MaxMetaspaceSize限制方法区大小。
Copy
/**
* 限制元空间大小后
* 使用CGLib运行时产生类，导致元空间也就是方法区溢出
* VM Args:-XX:MetaspaceSize=8M -XX:MaxMetaspaceSize=28M
* Run With JDK 1.8
*/
public class MethodAreaOOM {
static class OOMObject{
}
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 o, Method method, Object[] objects,
MethodProxy methodProxy) throws Throwable {
return methodProxy.invokeSuper(o, objects);
}
});
enhancer.create();
}
}
}
运行结果：
Copy
Exception in thread "main" java.lang.OutOfMemoryError: Metaspace
at net.sf.cglib.core.AbstractClassGenerator.generate(AbstractClassGenerator.java:345)
at net.sf.cglib.proxy.Enhancer.generate(Enhancer.java:492)
at net.sf.cglib.core.AbstractClassGenerator$ClassLoaderData.get(AbstractClassGenerator.java:114)
at net.sf.cglib.core.AbstractClassGenerator.create(AbstractClassGenerator.java:291)
at net.sf.cglib.proxy.Enhancer.createHelper(Enhancer.java:480)
at net.sf.cglib.proxy.Enhancer.create(Enhancer.java:305)
at com.cellei.oom.MethodAreaOOM.main(MethodAreaOOM.java:29)
可见异常信息提示Metaspace，就是说元空间（方法区）内存溢出了。方法区溢出也是一种比较常见的溢出，一个类要被垃圾收集器回收，判定条件是比较苛刻的。在经常动态产生大量 Class 的应用中，要特别注意类的回收情况。
本机内存直接溢出#
DirectMemory容量可以通过参数-XX:MaxDirectMemorySize指定，如果不指定，则默认与 Java 堆最大值（-Xmx）一样。通过反射获取Unsafe实例进行内存分配，allocateMemory()方法会真正申请分配内存。
Copy
/**
* 不断的申请内存，导致本机内存溢出
* VM Args: -Xmx20M -XX:MaxDirectMemorySize=10M
* Run With JDK 1.8
* */
public class DirectMemoryOOM {
private static final int _1M = 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(_1M);
}
}
}
运行结果：
Copy
Exception in thread "main" java.lang.OutOfMemoryError
at sun.misc.Unsafe.allocateMemory(Native Method)
at com.cellei.oom.DirectMemoryOOM.main(DirectMemoryOOM.java:20)
由DirectMemory导致的内存溢出，有一个特点就是Heap Dump文件中不会看到明显异常，如果Dump文件非常小，又直接间接使用了NIO，则有可能是这方面的原因。
本文代码的 Github Repo 地址：https://github.com/cellei/JVM-Practice
|
|
收藏
淘帖
踩
