Java虚拟机(JVM)的内存模型是Java运行时环境(JRE)的一部分,它定义了Java程序在运行时的内存布局以及线程如何与内存进行交互。JVM内存模型主要包括以下几个部分:
1. 程序计数器(Program Counter Register)
每个线程都有一个程序计数器,是线程私有的,用来存储指向下一条指令的地址。在执行Java方法时,程序计数器存储的是正在执行的字节码指令的地址。如果是Native方法,则计数器值为空。
2. Java虚拟机栈(Java Virtual Machine Stacks)
每个线程在创建时都会创建一个私有的虚拟机栈,生命周期与线程相同。虚拟机栈存储了局部变量、部分结果,以及控制方法调用和返回的信息。每个方法调用都会创建一个新的栈帧(Stack Frame)用于存储局部变量表、操作数栈、动态链接、方法出口等信息。
3. 本地方法栈(Native Method Stack)
为虚拟机使用到的Native方法服务。与虚拟机栈相似,但它是为Native方法服务的。
4. Java堆(Java Heap)
Java堆是所有线程共享的内存区域,几乎所有的对象实例和数组都在这里分配内存。它是垃圾收集器管理的主要区域,也被称为“GC堆”。
5. 方法区(Method Area)
方法区是所有线程共享的内存区域,用于存储已被虚拟机加载的类信息、常量、静态变量等数据。虽然Java虚拟规范将方法区描述为堆的一个逻辑部分,但它有个别名叫做“非堆”(Non-Heap)。
6. 运行时常量池(Runtime Constant Pool)
运行时常量池是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是常量池(Constant Pool Table),用于存放编译期生成的各种字面量和符号引用。这部分内容将在类加载后进入方法区的运行时常量池中存放。
7. 直接内存(Direct Memory)
直接内存并不是虚拟机运行时数据区的一部分,也不是Java虚拟机规范中定义的内存区域。但Java NIO允许Java程序使用直接内存,这可能导致OutOfMemoryError异常出现。
内存模型交互
- 每个线程都有自己的程序计数器、虚拟机栈和本地方法栈,这些区域是线程私有的。
- Java堆和方法区是所有线程共享的内存区域,其中堆是垃圾收集器管理的主要区域。
- 线程之间共享变量存储在堆中,线程对共享变量的操作需要通过自己的工作内存(线程栈)和主内存(堆)进行交互。
内存模型的特性
JVM内存模型定义了以下特性来保证并发时的可见性、原子性、有序性:
- 可见性:当一个线程修改了共享变量的值,其他线程能够立即得知这个修改。
- 原子性:操作全部完成或者完全不起作用,不会出现部分完成的情况。
- 有序性:即程序执行的顺序按照代码的先后顺序执行。
以上是JVM内存模型的基本概念和结构。理解JVM内存模型对于编写高效且线程安全的Java程序是非常重要的。