本文主要依据《深入理解Java虚拟机》这本书写的,有批评和建议请留言!
Java虚拟机在执行Java程序的过程中会把它所管理的内存划分为若干个不同的数据区域。这些区域都有各自的用途,以及创建和销毁的时间,有的区域随着虚拟机进程的启动而存在,有些区域则依赖用户线程的启动和结束而建立和销毁。根据《Java虚拟机规范(Java SE 7版)》的规定,Java虚拟机所管理的内存将会包括以下几个运行时的数据区域,如下图:
程序计数器对于大家来说不陌生,本科计算机必修课程《计算机组成原理》在讲计算机指令系统时,多次提到这个概念,这里的程序计数器和指令系统的计数器是同样的功能。在虚拟机的概念模型里,字节码解释器通过改变这个计数器的值来选取下一条需要执行的字节码指令,分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。
由于Java虚拟机的多线程是通过线程轮流切换并分配处理器执行时间的方式来实现的,在任何一个确定的时刻,一个处理器都会只执行一个线程中的指令。因此,为了线程切换后能恢复到正确的执行位置,每条线程都需要有一个独立的程序计数器,各条线程之间计数器互不影响,独立存储,我们称这类内存区域为“线程私有”的内存。
如果线程正在执行的是一个Java方法,这个计数器记录的正在执行的虚拟机字节码指令的地址;如果正在执行的是Native方法,这个计数器值为空(Undefined)。此内存是唯一一个在Java虚拟机规范中没有规定任何OutOfMemorryError情况的区域。
听着这个名字感觉十分高大上,其实这是程序员们很熟悉的“栈”!我们经常说,Java内存分为“堆”和“栈”,这只是一种粗略的分法,因为我们比较关注这两部分区域,其中的“栈”就是Java虚拟机栈,或者说具体一点就是局部变量表。
与程序计数器一样,Java虚拟机栈也是线程私有的,它的生命周期与线程相同。虚拟机栈描述的是Java方法执行时的内存情况:每个方法在执行的同时,会创建一个栈帧,用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至完成的过程,就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。
在Java虚拟机规范中,对这个区域规定了两种异常 状况:如果线程请求的栈深度大于虚拟机所允许的深度,将抛出StackOverfloowError异常;如果虚拟机栈可以动态扩展,如果扩展时无法申请到足够的内存,就会抛出OutOfMemorryError异常。
本地方法栈与虚拟机栈的作用类似,只不过虚拟机栈为虚拟机执行Java方法服务,而本地方法栈则为虚拟机使用到的Native方法服务。所谓Native方法,就是本地方法,即是指那些被Java调用的非Java语言编写的方法,比如Java调用了一个C语言写的方法,这个C语言方法就是个Native方法。
对于大多数应用来说,Java堆是Java虚拟机所管理的内存中最大的一块。我们常说的“堆”内存也是指这一块。Java堆是所有线程共享的一块的内存,因此当编写多线程程序时,一定要注意线程的安全,主要关注这块的内存的读写同步与互斥。我们都知道,几乎所有的对象都会分配在堆内存上,因此Java堆是垃圾回收管理的主要区域。
从内存回收的角度,由于现在垃圾回收基本都采用分代收集算法,所以Java堆还可以再细分为:新生代和老年代;再细致一点:Eden区、From Survivor区、To Survivor区等。关于内存回收,后面会详细讲述,这也是Java内存管理的重点和难点!
方法区与Java堆一样,是各个线程共享的内存区域,它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译后的代码等数据。这个区域经常被程序员称为“永久代”,这是因为Sun hotspot设计团队把垃圾回收扩展到了方法区,这部分区域如同Java堆一样被垃圾回收器管理。但是其他虚拟机,如IBM J9没有这个概念。
大多数程序员遇到过这样的错误:PermGen OutofMemorryError,特别是在用Eclipse等编译器热部署Web程序时,当程序中用到了许多类似Spring这样预加载许多类信息、方法信息的框架时,经常出现这样错误,主要原因就是方法区的内存不够用了!Oracle Java8发布后,将这个区域移动到了本地内存,取名为Metaspace,理论上,不会再出现PermGen OutOfMemorryError,因为本地内存对于普通程序来说,绝对够大了,关于Metaspace,之前有过一些简单分析:Java8新特性
运行时常量池是方法区的一部分,为什么要单独提出来呢?因为这部分太常用了,但是很多人不知道常量池的作用。如果清楚常量池,那么我们的程序会节省出很多内存。常量池中主要存放编译期生成的各种字面量和符号引用,关于常量池的实际作用,之前写过这部分例子:java中的“宏定义”、 笔试常见题----新建了几个对象??