JVM的内存区域划分详解
Java程序是交由JVM执行的,所以我们在谈Java内存区域划分的时候事实上是指JVM内存区域划分。
Java程序执行流程
- Java源代码文件(.java) 会被 Java编译器(Java Compiler) 编译成 Java字节码文件(.class)。
- 然后由 JVM(Java虚拟机) 中的 类加载器(Class Loader) 加载各个类的 Java字节码文件(.class) ;加载完后,交由 JVM(Java虚拟机)的执行引擎(Execution Engine) 执行。
- 在整个程序执行过程中,JVM会用一段空间( Runtime Data Area(运行时数据区),即是常说的JVM内存 )来存储程序执行期间需要用到的数据和相关信息;在Java中常说的内存管理,即是对Runtime Data Area(运行时数据区)进行管理(如何分配和回收空间)。
运行时数据区的每部分存储哪些数据
程序计时器(Program Counter Register)
- 程序计时器(Program Counter Register)是一块较小的内存空间,可以看做是当前线程所执行的字节码行号的指示器。
- 字节码解释器工作时,通过改变计数器的值选取下一条执行的字节码指令;(一些基本功能都需要依赖计数器来完成,如分支、循环、跳转、异常处理、线程恢复等)。
- Java虚拟机多线程是通过 线程间轮流切换 来分配给处理器执行时间;在确定时间节点,一个处理器(一核)只会执行一个线程的指令;为保证 线程切换 回来后能 恢复到原执行位置,各个线程间计数器互相不影响,独立存储(称之为 线程私有 的内存)。
- 如果线程执行的是 非native方法,程序计数器 记录正在执行的虚拟机字节指令地址;如果执行 native方法,计数器值是 undefined。
- 由于程序计数器中存储的数据 所占空间的大小不会随程序的执行而发生改变,因此,对于程序计数器是 不会发生内存溢出现象(OutOfMemory) 的。
Java 栈 (Java Vitual Machine Stack)
Java 栈的基础特性
- Java栈是Java方法执行的内存模型。
- 由于每个线程正在执行的方法可能不同,因此每个线程都会有一个自己的Java栈,互不干扰。
栈帧中包含的数据类型:
- 局部变量表(Local Variables):局部变量(包括在方法中声明的非静态变量以及函数形参)
- 基本数据类型的变量,则直接存储它的值;
- 引用类型的变量,则存的是指向对象的引用;
- 局部变量表的大小在编译器就可以确定其大小了,因此在程序执行期间局部变量表的大小是不会改变的。
- 操作数栈(Operand Stack):程序中的所有计算过程都是在借助于操作数栈来完成的。
- 指向运行时常量池的引用(Reference to runtime constant pool):在方法执行的过程中有可能需要用到类中的常量,所以必须要有一个引用指向运行时常量。
- 方法返回地址(Rerurn Address):当一个方法执行完毕之后,要返回之前调用它的地方,因此在栈帧中必须保存一个方法返回地址。
- 附加信息
Java栈的工作方式
- 当线程执行一个方法时,就会随之创建一个对应的栈帧,并将建立的栈帧压栈;
- 线程当前执行的方法对应的栈帧必定位于Java栈的顶部;
- 当方法执行完毕之后,便会将栈帧出栈;
注意:由工作方式可以分析得出 为什么递归方法的时候容易导致内存溢出的现象
本地方法栈 (Native Method Stack)
本地方法栈与Java栈的作用和原理非常相似。区别只不过是Java栈是为执行Java方法服务的,而本地方法栈则是为==执行本地方法(Native Method)==服务的。
在JVM规范中,并没有对本地方法栈的具体实现方法以及数据结构作强制规定,虚拟机可以自由实现它。在HotSopt虚拟机中直接就把本地方法栈和Java栈合二为一。
堆(Heap)
在C语言中,堆这部分空间是唯一一个程序员可以管理的内存区域。程序员可以通过malloc函数和free函数在堆上申请和释放空间。那么在Java中是怎么样的呢?
Java中的堆是用来存储对象本身的以及数组(当然,数组引用是存放在Java栈中的)。只不过和C语言中的不同,在Java中,程序员基本不用去关心空间释放的问题,Java的垃圾回收机制会自动进行处理。因此这部分空间也是Java垃圾收集器管理的主要区域。另外,堆是被所有线程共享的,在JVM中只有一个堆。
方法区(Method Area)
方法区在JVM中也是一个非常重要的区域,它与堆一样,是被线程共享的区域。在方法区中,存储了每个类的信息(包括类的名称、方法信息、字段信息)、静态变量、常量以及编译器编译后的代码等。
在Class文件中除了类的字段、方法、接口等描述信息外,还有一项信息是常量池,用来存储编译期间生成的字面量和符号引用。
在方法区中有一个非常重要的部分就是运行时常量池,它是每一个类或接口的常量池的运行时表示形式,在类和接口被加载到JVM后,对应的运行时常量池就被创建出来。当然并非Class文件常量池中的内容才能进入运行时常量池,在运行期间也可将新的常量放入运行时常量池中,比如String的intern方法。
在JVM规范中,没有强制要求方法区必须实现垃圾回收。很多人习惯将方法区称为“永久代”,是因为HotSpot虚拟机以永久代来实现方法区,从而JVM的垃圾收集器可以像管理堆区一样管理这部分区域,从而不需要专门为这部分设计垃圾回收机制。不过自从JDK7之后,Hotspot虚拟机便将运行时常量池从永久代移除了。