Java核心技术之内存管理机制---溢出异常

 在Java虚拟机规范的描述中，除了程序计数器外，虚拟机内存的其他几个运行时区域都有发生OutOfMemoryError（下文称OOM）异常的可能。
 

Java堆溢出

 Java堆是Java虚拟机运行时的最大块的内存，里面存储了大量对象实例。如果一直创建对象，同时保证GC Roots到对象之间有可达路径来避免垃圾回收机制清除这些对象，那么就会产生OutOfMemoryError内存溢出异常。

示例：

/**
*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堆的大小为20MB，不可扩展（将堆的最小值-Xms参数与最大值-Xmx参数设置为一样即可避免堆自动扩展），通过参数-XX：+HeapDumpOnOutOfMemoryError可以让虚拟机在出现内存溢出异常时Dump出当前的内存堆转储快照以便事后进行分析。

运行结果：

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 MemoryAnalyzer）对Dump出来的堆转储快照进行分析，重点是确认内存中的对象是否是必要的，也就是要先分清楚到底是出现了内存泄漏（Memory Leak）还是内存溢出（Memory Overflow）。

• 如果是内存泄露，可进一步通过工具查看泄露对象到GC Roots的引用链。于是就能找到泄露对象是通过怎样的路径与GC Roots相关联并导致垃圾收集器无法自动回收它们的。掌握了泄露对象的类型信息及GC Roots引用链的信息，就可以比较准确地定位出泄露代码的位置。
• 如果不存在泄露，换句话说，就是内存中的对象确实都还必须存活着，那就应当检查虚拟机的堆参数（-Xmx与-Xms），与机器物理内存对比看是否还可以调大，从代码上检查是否存在某些对象生命周期过长、持有状态时间过长的情况，尝试减少程序运行期的内存消耗。

 

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

关于虚拟机栈和本地方法栈，在Java虚拟机规范中描述了两种异常：

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

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

 在单个线程下，无论是由于栈帧太大还是虚拟机栈容量太小，当内存无法分配的时候，虚拟机抛出的都是StackOverflowError异常。如果测试时不限于单线程，通过不断地建立线程的方式倒是可以产生内存溢出异常，但是这样产生的内存溢出异常与栈空间是否足够大并不存在任何联系，或者准确地说，在这种情况下，为每个线程的栈分配的内存越大，反而越容易产生内存溢出异常。

虚拟机栈和本地方法栈OOM测试

/**
*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）

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

创建线程导致内存溢出异常：

/**
*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（）；
	}
}

 

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

 由于运行时常量池是方法区的一部分，因此这两个区域的溢出测试就放在一起进行。

运行时常量池导致的内存溢出异常

/**
*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虚拟机中的永久代）的一部分。

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

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

 

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

 

本机直接内存溢出

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

 下面直接通过反射获取Unsafe实例进行内存分配（Unsafe类的getUnsafe（）方法限制了只有引导类加载器才会返回实例，也就是设计者希望只有rt.jar中的类才能使用Unsafe的功能）。因为，虽然使用DirectByteBuffer分配内存也会抛出内存溢出异常，但它抛出异常时并没有真正向操作系统申请分配内存，而是通过计算得知内存无法分配，于是手动抛出异常，真正申请分配内存的方法是unsafe.allocateMemory（）。

使用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，那就可以考虑检查一下是不是这方面的原因。