JVM(Java Virtual Machine)运行时数据区,也称为JVM内存模型或JVM内存结构,是Java虚拟机在执行Java程序时用于存储数据和状态信息的内存区域。
- 程序计数器(Program Counter Register):程序计数器是一块较小的内存空间,它可以看作是当前线程所执行的字节码的行号指示器。在JVM的概念模型里,字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令,它是程序控制流的指示器,分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。由于Java虚拟机的多线程是通过线程轮流切换并分配处理器执行时间的方式来实现的,在任何一个确定的时刻,一个处理器(对于多核处理器来说是一个内核)都只会执行一条线程中的指令。因此,为了线程切换后能恢复到正确的执行位置,每条线程都需要有一个独立的程序计数器,各条线程之间的计数器互不影响,独立存储,我们称这类内存区域为“线程私有”的内存。
- Java虚拟机栈(Java Virtual Machine Stacks):与程序计数器一样,Java虚拟机栈也是线程私有的,它的生命周期与线程相同。虚拟机栈描述的是Java方法执行的内存模型:每个方法在执行的同时都会创建一个栈帧(Stack Frame)用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行完成的过程,就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。
- 本地方法栈(Native Method Stacks):本地方法栈与虚拟机栈所发挥的作用是非常相似的,其区别不过是虚拟机栈为虚拟机执行Java方法(也就是字节码)服务,而本地方法栈则是为虚拟机使用到的Native方法服务。
- Java堆(Java Heap):Java堆是Java虚拟机所管理的内存中最大的一块。Java堆是被所有线程共享的一块内存区域,在虚拟机启动时创建。此内存区域的唯一目的就是存放对象实例,几乎所有的对象实例都在这里分配内存。
- 方法区(Method Area):方法区与Java堆一样,是各个线程共享的内存区域,它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。
JVM内存模型(JMM,Java Memory Model)是一种抽象的概念,旨在定义程序中变量的访问规则,以及在并发的情况下如何和何时可以看到其他线程引起的变化。
JMM将内存划分为两个区域:主内存区和工作内存区。
- 主内存(Main Memory):所有的变量都存储在主内存中,对所有线程来说是共享的。
- 工作内存(Working Memory):每个线程都有自己的工作内存,其中包含了该线程用到的变量的主内存副本。线程对变量的所有操作(读取、赋值等)都必须在工作内存中完成,而不能直接读写主内存中的变量。不同线程之间也无法直接访问对方工作内存中的变量,线程间变量值的传递均需要通过主内存来完成。
JMM还定义了happens-before原则,这是一个全局的顺序规则,决定了一个操作的结果对另一个操作可见的条件。
JMM描述的内存模型是一个抽象的概念,并不直接对应到具体的物理内存或硬件架构。JMM的设计是为了简化多线程编程的复杂性,让开发者能够更加容易地理解和编写线程安全的代码。同时,JMM也提供了对内存可见性、原子性和有序性的保证,从而确保了多线程程序的正确性。