运行时数据区域
一、程序计数器
程序计数器是一块较小的内存空间,它可以看作是当前线程所执行的字节码的行号指示器。字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的指令,分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。每条线程都会有一个独立的程序计数器,是线程私有的。
二、Java虚拟机栈
虚拟机栈是线程私有的,它的生命周期与线程相同。虚拟机栈描述的是Java方法执行的内存模型:每个方法在执行的同时都会创建一个栈帧用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行完成的过程,就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。
StackOverflowError:如果线程请求的栈深度大于虚拟机所允许的深度,将抛出StackOverflowError异常;
OutOfMemoryError异常:如果虚拟机栈可以动态扩展,如果扩展时无法申请到足够的内存,就会抛出OutOfMemoryError异常;
三、本地方法栈
本地方法栈与虚拟机栈所发挥的作用是非常相似的,它们之间的区别是虚拟机栈执行Java方法,而本地方法栈则为虚拟机使用的Native方法。
四、Java堆
Java堆是被所有线程共享的一块内存区域,在虚拟机启动时创建。此内存区域的唯一目的就是存放对象实例。Java堆是垃圾收集器管理的主要区域,现在收集器基本都采用分代收集算法,所以Java堆中还可以细分为新生代和老年代。
五、方法区
方法区与Java堆一样,是各个线程共享的内存区域,它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译编译器编译后的代码等数据。运行时常量池是方法区的一部分,Class文件中除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是常量池,用于存放编译期生成的各种字面量和符号引用,这部分内容将在类加载后进入方法区的运行时常量池中存放。
六、直接内存
在jdk1.4中新加入了NIO类,引入了一种基于通道(Channel)与缓冲区(Buffer)的I/O方式,它可以使用Native函数库直接分配堆外内存,然后通过一个存储在Java堆中的DirectByteBuffer对象作为这块内存的引用操作。这样能在一些场景中显著提高性能,因为避免了再Java堆和Native堆中来回复制数据。
对象的创建
Cat c = new Cat();
虚拟机遇到一条new指令时,首先将去检查这个指令的参数是否能在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有,那必须先执行相应的类加载过程。
在类加载检查通过后,接下来虚拟机将为新生对象分配内存。对象所需要的内存的大小在类加载完成后便可完全确定,为对象分配空间的任务等同于把一块确定大小的内存从Java堆中划分出来。分配内存的方法有两种:
指针碰撞(Bump the Pointer)
假设Java堆中内存是绝对完整的,所有用过的内存都放在一边,空闲的内存放在另一边,中间放着一个指针作为分界点的指示器,那所分配内存就是仅仅把那个指针向空闲空间那边挪动一段与对象大小相等的距离,这种分配方式就是指针碰撞。
空闲列表(Free List)
如果Java堆中的内存并不是规整的,已使用的内存和空闲的内存相互交错,那就没有办法简单地进行指针碰撞了,虚拟机就必须维护一个列表,记录上哪些内存块是可用的,在分配的时候从列表中找到一块足够大的空间划分给对象实例,并更新列表上的记录,这种分配方式称为空闲列表。
内存分配完成后,虚拟机需要将分配到的内存空间都初始化为零值,接下来,虚拟机要对对象进行必要的设置,例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的GC分代年龄等信息。这些信息存储在对象的对象头中(Object Header)中。
在上面的工作都完成之后,从虚拟机的视角来看,一个新的对象已经产生了,但从Java程序的视角来看,对象创建才刚刚开始–方法还没有执行,所有的字段都还为零。所以,一般来说执行new指令之后会接着执行方法,把对象按照程序员的意愿进行初始化,这样一个真正可用的对象才算完全产生出来。
对象的内存布局
在HotSpot虚拟机中,对象在内存中存储的布局可以分为3块区域:对象头(Header)、实例数据(Instance Data)和对齐填充(Padding)。
对象头
HotSpot虚拟机的对象头包括两部分信息:
第一部分用于存储对象自身的运行时数据,如哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID等。
对象头的另一部分是类型指针,即对象指向它的类元数据的指针,虚拟机通过这个指针来确定这个对象是哪个类的实例。如果对象是一个Java数组,那么对象头中还必须有一块用于记录数组长度的数据。
实例数据
实例数据是对象真正存储的有效信息,也是在程序代码所定义的各种类型的字段内容。
对齐填充
起着占位符的作用
对象的访问
建立对象是为了使用对象,我们的Java程序需要通过栈上的reference数据来操作堆上的具体对象。
虚拟机异常
一、Java堆溢出
Java堆用于存储对象实例,只要不断地创建对象,并且保证GC Roots到对象之间有可达路径来避免垃圾回收机制清除这些对象,那么在对象数量达到最大堆的容量限制后就会产生内存溢出异常。
package com.code.exception;
import java.util.ArrayList;
import java.util.List;
/**
* 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());
}
}
}
内存溢出(out of memory)和内存泄漏(memory leak)区别:
- 内存溢出:是指程序在申请内存时,没有足够的内存空间供其使用,出现out of memory;
- 内存泄漏:是指程序在申请内存后,无法释放已申请的内存空间,一次内存泄露危害可以忽略,但内存泄露堆积后果很严重,无论多少内存,迟早会被占光。memory leak会最终会导致out of memory
如果是内存泄漏,可以使用内存映像分析工具查看泄漏对象到GC Roots的引用链。于是能找到泄漏对象是通过怎样的路径与GC Roots相关联并导致垃圾收集器无法自动回收它们的。
如果不存在泄漏,那就应当检查虚拟机的堆参数(-Xmx与Xms),与机器物理内存对比看是否还可以调大,从代码上检查是否存在某些对象生命周期过长、持有状态时间过长的情况,尝试减少程序运行期的内存消耗。
二、栈溢出
栈容量可以通过-Xss参数设定
两种异常:
- 如果线程请求的栈深度大于虚拟机所允许的最大深度,将抛出StackOverFlowError异常。
- 如果虚拟机在扩展栈时无法申请到足够的内存空间,则抛出OutOfMemoryError异常。
package com.code.exception;
/**
* VM Args:-Xss128k.
*/
public class JavaVMStackSOF {
private int stackLength = 1;
public void statckLeak(){
stackLength++;
statckLeak();
}
public static void main(String[] args) throws Throwable{
JavaVMStackSOF oom = new JavaVMStackSOF();
try{
oom.statckLeak();
} catch(Throwable e){
System.out.println("stack length:"+oom.stackLength);
throw e;
}
}
}
结果:
Exception in thread "main" stack length:18699
java.lang.StackOverflowError
at com.code.exception.JavaVMStackSOF.statckLeak(JavaVMStackSOF.java:10)
at com.code.exception.JavaVMStackSOF.statckLeak(JavaVMStackSOF.java:10)
at com.code.exception.JavaVMStackSOF.statckLeak(JavaVMStackSOF.java:10)
at com.code.exception.JavaVMStackSOF.statckLeak(JavaVMStackSOF.java:10)
at com.code.exception.JavaVMStackSOF.statckLeak(JavaVMStackSOF.java:10)
at com.code.exception.JavaVMStackSOF.statckLeak(JavaVMStackSOF.java:10)
....
在单个线程下,无论是由于栈帧太大还是虚拟机栈容量太小,当内存无法分配的时候,虚拟机抛出的都是StackOverflowError异常。
三、方法区溢出
方法区用于存放Class的相关信息,如类名、访问修饰符、常量池、字段描述、方法描述等。对于这些区域的测试,基本的思路就是运行时产生大量的类去填满方法区,直到溢出。
总结:
本篇讲解了虚拟机中的内存是如何划分的,哪部分区域、什么样的代码和操作可能导致内存溢出异常。虽然Java有垃圾收集机制,但内存溢出异常依然会发生,本篇讲解了各个区域出现内存溢出的原因,下一篇将讲解Java垃圾回收机制为了避免内存溢出的出现都做了哪些努力。
注 摘自《深入理解Java虚拟机》