前言
说到Java内存区域,可能很多人第一反应是“堆栈”。堆栈不是一个概念,而是两个概念,堆和栈是两块不同的内存区域。简单理解的话,
- 堆是用来存放对象而栈是用来执行程序的,堆的使用是需要
new
并配对delete/free
的,在Java中是由JVM进行回收的区域,而栈是用来存储临时变量的。 - 堆内存和栈内存的这种划分方式比较粗糙,这种划分方式只能说明大多数程序员最关注的、与对象内存分配关系最密切的内存区域是这两块,Java内存区域的划分实际上远比这复杂。
对于Javaer说,在虚拟机自动内存管理机制的帮助下,不再需要为每一个new
操作去配对delete/free
代码,不容易出现内存泄露和内存溢出问题。但是,也正是因为Java把内存控制权交给了虚拟机,一旦出现内存泄露和内存溢出的问题,就难以排查,因此一个好的Javaer应该去了解虚拟机的内存区域以及会引起内存泄露和内存溢出的场景。
运行时数据区域
首先,我么来看下JVM在执行Java程序时会将内存划分为哪些不同区域。依据《Java虚拟机规范(JavaSE7版)》,包括以下几个运行时区域。
程序计数器(Program Counter Register)
- 程序计数器是一块较小的内存,用来记录当前线程所执行的字节码的行号指示器;
- 如果线程执行的是Java方法,则记录正在执行虚拟机字节码指令的地址;如果是native方法,则为空;
- 属于线程私有
Java虚拟机栈
- JVM栈生命周期与线程相同;
- 线程方法的执行相当于栈帧的入栈和出栈过程。方法执行时都会创建栈帧,栈帧是用于存储局部变量表、操作数栈、动态链接、方法出口等信息;
- 栈的大小和具体JVM的实现有关,通常在256K~756K之间;
- 属于线程私有;
- 若线程请求的栈深度大于虚拟机所允许的深度,抛出
StackOverflowError
异常;若虚拟机可以动态扩展,但是扩展时无法申请到足够的内存,就抛出OutOfMemoryError
异常
本地方法栈
- 与Java虚拟机栈类似;
- 为虚拟机执行native方法提供服务;
- 虚拟机规范并没有对这个区域有强制规定,比如我们使用的HotSpot虚拟机,就干脆没有这块区了,它和虚拟机栈是一起的;
- 属于线程私有;
- 会抛出
StackOverflowError
和OutOfMemoryError
异常
堆
- Java虚拟机所管理的内存中最大的区域,在虚拟机启动时创建,唯一目的是存放对象实例;
- 虚拟机规范描述:几乎所有的对象和数组都在堆上进行分配,但是随着
JIT
编译器的发展以及逃逸分析技术逐渐成熟,栈上分配、标量替换优化技术将会导致一些微妙的变化,所有对象都分配堆上已经不是“绝对”的; - 堆是JVM垃圾搜集器管理的主要区域,可分为新生代和老年代;更细致的分可以分为Eden空间、From Survivor空间及To Survivor空间;
- 堆是可扩展的,通过-Xmx和-Xms来控制;
- 属于线程共享;
- 如果堆中没有内存完成实例分配且无法再扩展,则抛出
OutOfMemoryError
异常
方法区
- 存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据;
- 当方法区无法满足内存分配需求时,抛出
OutOfMemoryError
异常; - 方法区与永久代不等价。HotSpot虚拟机只是将GC分代收集扩展至方法区,或者说使用永久代来实现方法区而已,这样可以省去为方法区专门编写内存管理的代码。HotSpot虚拟机也在放弃永久代并逐步改为采用Native Memory来实现方法区,而对于其他虚拟机来说则不存在永久代概念;
- 属于线程共享
运行时常量池
- 方法区的一部分;
- class文件除了包含类的版本、字段、方法、接口等描述信息,还包括常量池,用于存储编译期生成的各种字面量和符号引用。类的常量池部分在类加载后存储在运行时常量池中;
- 具备动态性。由于Java并不要求常量一定只有编译期才能产生,也就是并非预置入class文件中常量池的内容才能进入运行时常量池,运行期间也可以将新的常量放入池中,如
String
类的intern()
方法; - 无法再申请内存时,抛出
OutOfMemoryError
异常
直接内存
直接内存并不是虚拟机运行时数据区的一部分,也不是Java虚拟机规范中定义的内存区域。但是这部分内存会被频繁的使用,而且也可能导致OutOfMemoryError
异常。在JDK1.4中新加入的NIO类,引入一种基于通道(Channel)与缓冲区(Buffer)的I/O方式,它可以使用Native函数库直接分配堆外内存,然后通过一个存储在Java堆中的DirectByteBuffer对象作为这块内存的引用进行操作。这样可以避免在Java堆和Native堆中来回复制数据,显著提高性能。