手撕Java系列--JVM内存模型及垃圾回收机制详解_jvm内存模型和gc内存回收机制-CSDN博客

本文链接：https://blog.csdn.net/qq_41089021/article/details/143061399

内存模型

JVM内存模型是Java虚拟机为了确保程序能够正确地并发执行而定义的一套规则，这套规则描述了程序中各种变量（包括实例字段、静态字段和数组元素）的访问方式，以及这些变量如何在主内存（Main Memory）和工作内存（Working Memory）之间进行同步。此外，JVM内存模型还定义了线程之间的交互行为，以保证多线程环境下程序的正确性和性能。

JVM内存区域划分

JVM内存可以大致分为以下几部分：

程序计数器（Program Counter Register）
- 每个线程都有一个独立的程序计数器，用于记录当前线程所执行的字节码指令的位置。如果线程正在执行的是一个Java方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址；如果是在执行Native方法，这个计数器值则为空（Undefined）。此内存区域是唯一一个没有规定任何OutOfMemoryError情况的区域。
虚拟机栈（Java Virtual Machine Stacks）
- 虚拟机栈也是线程私有的，它的生命周期与线程相同。虚拟机栈描述的是Java方法执行的内存模型：每个方法被执行的时候都会同时创建一个栈帧（Stack Frame）用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法被调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。
本地方法栈（Native Method Stacks）
- 与虚拟机栈类似，但本地方法栈为虚拟机使用到的Native方法服务。一些虚拟机（如HotSpot）会把本地方法栈和虚拟机栈合二为一。
堆（Heap）
- 所有线程共享的一块内存区域，几乎所有的对象实例以及数组都分配在这个区域。堆是垃圾收集器管理的主要区域，从内存回收的角度来看，由于现在的收集器基本都采用分代收集算法，所以Java堆还可以细分为：新生代和老年代；再细致一点的有Eden空间、From Survivor空间、To Survivor空间等。从内存分配的角度来看，线程共享的Java堆可以划分出多个线程私有的分配缓冲区（Thread Local Allocation Buffer, TLAB）。不过无论如何划分，都与存放内容无关，无论哪个区域，存储的都只能是对象的实例。
方法区（Method Area）
- 方法区也是各个线程共享的内存区域，用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。虽然HotSpot虚拟机把方法区称为永久代（Permanent Generation），但这并不是官方命名。并且从Java 8开始，永久代被元空间（Metaspace）取代，元空间使用的是直接内存。
直接内存（Direct Memory）
- 直接内存并不是虚拟机运行时数据区的一部分，但也经常被使用，并且也可能导致OutOfMemoryError异常。在NIO（New Input/Output）中，引入了一种基于通道（Channel）与缓冲区（Buffer）的I/O方式，它可以使用Native函数库直接分配堆外内存，然后通过一个存储在Java堆中的DirectByteBuffer对象作为这块内存的引用进行操作。这样能在一些场景中显著提高性能，因为避免了在Java堆和Native堆中来回复制数据。