JVM的内存区域划分

http://blog.csdn.net/dengyanliang/article/details/49340085

首先看一个Java程序具体的执行过程:

JVM的内存区域划分_第1张图片

如图所示,首先java源代码文件(.java后缀)会被java编译器编译为字节码文件(.class文件),然后由JVM中类加载器(Class Loader)加载各个类的.class文件,加载完成之后,交给执行引擎执行。在整个执行过程中,JVM会用一段空间来存储程序执行期间需要用到的数据和相关信息,这段空间一般被称为运行时数据区(Runtime Data Area),也就是我们常说的JVM内存。因此,在java中我们常说内存管理就是针对这段空间的管理。

在知道了JVM内存是个什么东西之后,下面我们来看看JVM到底是如何进行划分的。

一、运行时数据区包括那几个部分?

根据《java虚拟机规范》的规定,运行时数据区通常包括这几个部分:程序计数器(Program Counter Register)、Java栈(VM Stack)、本地方法栈(Native Method Stack)、方法区(Method Area)、堆(Heap)。如图所示:

JVM的内存区域划分_第2张图片

在JVM规范中虽然规定了程序在执行期间运行时数据应该包括这几个部分,但是至于具体是如何实现并没有给出明确的规定,不同的虚拟机厂商可以有不同的实现方式。

二、运行时数据区的每个部分到底存储了哪些数据?

1.程序计数器

程序计数器(Program Counter Register),也被称为PC寄存器。在汇编语言中,程序计数器是值CPU中的寄存器,它保存的是程序当前执行的指令的地址(也可以说保存下一条指令的所在存储单元的地址),当CPU需要执行指令时,需要从程序计数器中得到当前需要执行的指令所在存储单元的地址,然后根据得到的地址获取到指令,在得到指令之后,程序计数器便自动加1或者转移指针得到下一条指令的地址,如此循环,直到所有执行都执行完。

虽然JVM中的程序计数器并不像汇编语言中的程序技术器一样是物理概念上的CPU寄存器,但是JVM中的程序计数器的功能跟汇编语言中的程序计数器的功能在逻辑上等同的,也就是说用来指示执行哪条指令的。

由于在JVM中,多线程是通过线程轮流切换来获取CPU执行时间的,因此,在任一具体时刻,一个CPU的内核只会执行一条线程中的指令。因此,为了能够使得每个线程都在线程切换之后能够恢复在切换之前的程序执行位置,每个线程都需要有自己独立的程序计数器,并且不能够互相被干扰,否则就会影响到程序的正常执行次序。因此,可以这么说,程序计数器是每个线程私有的。

在JVM规范中规定,如果线程执行的是非native方法,则程序计数器中保存的是当前需要执行的指令的地址;如果线程执行的是native方法,则程序计数器中的值是undefined。

由于程序计数器中存储的数据所占空间的大小不会随程序的执行而发生改变,因此对于程序计数器是不会发生内存溢出现象(OutOfMemory)的。

2.Java栈

Java栈也称作虚拟机栈,也就是我们常说的栈,跟C语言中的数据段中的栈类似。事实上,Java栈是java方法执行的内存模型。下面解释一下为什么这么说的原因。

Java栈中存放的是一个小小的栈帧,每个栈帧对应一个被调用的方法,在栈帧中包括局部变量表、操作数栈、指向当前方法所属的类的运行时常量池的引用、方法返回地址和一些额外的附加信息。当线程执行一个方法时,就会随之创建一个对应的栈帧,并将对应的栈帧压栈。当方法执行完毕后,便会将栈帧出栈。因此可知,线程当前执行的方法所对应栈帧必定位于Java栈的顶部。这也是为什么在使用递归的时候容易导致栈内存溢出的原因以及为什么栈区的空间不用程序员去管理了,这部分空间的分配和释放都是由系统自动实施的。对于所有的程序设计语言来说,栈这部分空间对程序员来说是不透明的。

JVM的内存区域划分_第3张图片

局部变量表,是用来存储方法中的局部变量(包括在方法中声明的非静态变量以及函数形参)。对于基本数据类型的变量,则直接存储它的值,对于引用类型的变量,则存的是指向对象的引用。局部变量表的大小在编译期就可以确定其大小了,因此在程序执行期间,局部变量表的大小是不会改变的。

操作数栈,栈最典型的一个应用就是用来对表达式求值。在一个线程执行的方法中,实际上就是不断执行语句的过程,而归根结底就是进行计算的过程。因此可以这么说,程序中所有计算过程都是借助于操作数栈来完成的。

指向运行时常量池的引用,因为在方法执行的过程中有可能用到类中的常量,所以必须有一个引用指向运行时常量。

方法返回地址,当一个方法执行完毕之后,要返回之前调用它的地方,因此在栈帧中必须保存一个方法返回地址。

由于每个线程正在执行的方法可能不同,因此每个线程都会有一个自己的Java栈,互不干扰。

3.本地方法栈

本地方法栈和Java栈的作用和原理非常相似。区别只不过是Java栈是为执行java方法服务的,而本地方法栈是为执行本地方法(Native Method)服务的。在JVM规范中,并没有本地方法栈的具体实现方法以及数据结构做强制规定,虚拟机可以自由实现它。在HotSpot虚拟机中直接就把本地方法栈和Java栈合二为一。

4.堆

在C语言中,堆这部分空间是唯一一个程序员可以管理的内存区域。程序员可以通过malloc函数和free函数在堆上申请和释放空间。那么在Java中是怎么样的呢?

Java中的堆是用来存储对象本身以及数组的。在Java中,程序员基本上不用去关心空间释放的问题,Java的垃圾回收机制会自动进行处理。因此这部分空间也是java垃圾收集器管理的主要区域。另外,堆是被所有线程共享的,在一个JVM中只有一个堆。

5.方法区

方法区与堆一样,是被线程共享的区域。在方法区,存储了每个类的信息(包括类的名称、方法信息、字段信息)、静态变量、常量以及编译器编译后代码等。

在Class文件中,除了类的字段,方法,接口等描述信息外,还有一项信息是常量池,用来存储编译期间生成的字面量和符号引用。

在方法区中有一个非常重要的常量就是运行时常量池,它是每一个类或接口的常量池的运行时表示形式。在类或者接口被加载到JVM后,对应的运行时常量池就会被创建出来。当然并非Class文件常量池中的内容才能进入运行时常量池,在运行期间也可将新的常量放入运行时常量池中,比如String的intern方法。

在JVM规范中,并没有强制要求方法区必须实现垃圾回收。很多人习惯将方法区称之为“永久代”,是因为HotSpot虚拟机以永久代来实现方法区,从而JVM的垃圾收集器可以像管理堆区一样管理这部分区域,从而不需要专门为这部分设计垃圾回收机制。

你可能感兴趣的:(JVM的内存区域划分)