jvm 内存模型-CSDN博客

本文链接：https://blog.csdn.net/Flying_Fish_roe/article/details/144007639

Java虚拟机（JVM）内存模型是Java程序运行时内存的分布和管理方式，它直接影响到程序的性能和可靠性。理解JVM内存模型对于Java开发者优化程序、排查内存问题和进行高效的内存管理至关重要。本文将详细介绍JVM内存模型的结构、各个内存区域的作用及其管理机制。

1. JVM 内存模型概述

JVM内存模型定义了Java程序在运行时使用的内存结构，主要分为以下几个区域：

堆内存（Heap Memory）
方法区（Method Area）
栈内存（Stack Memory）
程序计数器（Program Counter Register）
本地方法栈（Native Method Stack）

这些区域各自承担着不同的任务，共同保障Java程序的顺利执行。

2. 堆内存（Heap Memory）

2.1 概述

堆内存是JVM中最大的一块内存区域，用于存储对象实例和数组。所有的对象实例都在堆内存中分配，并由垃圾回收机制（GC）自动管理其生命周期。堆内存是所有线程共享的区域，因此它也是并发编程中可能出现线程安全问题的地方。

2.2 堆内存结构

堆内存通常分为两大区域：

新生代（Young Generation）：用于存放新创建的对象。新生代又分为三个部分：Eden区和两个Survivor区（S0和S1）。大多数对象首先在Eden区分配，当Eden区满时，进行一次Minor GC，清理无用对象，并将幸存对象移到Survivor区。
老年代（Old Generation）：用于存放生命周期较长的对象。当对象在Survivor区存活一定次数后（一般是经过多次GC后），会被移动到老年代。老年代的GC被称为Major GC或Full GC，它比Minor GC发生频率低，但开销更大。

2.3 堆内存的垃圾回收

垃圾回收（Garbage Collection, GC）在堆内存中负责自动管理对象的生命周期。常见的垃圾回收算法包括：

标记-清除（Mark-Sweep）：首先标记出所有可达对象，然后清除所有未被标记的对象。
复制算法（Copying）：将对象复制到另一个区域，从而清理出整个区域的无效对象。
标记-整理（Mark-Compact）：标记出所有可达对象，并将它们移动到内存的一端，紧接着清理掉多余的内存空间。

JVM会根据堆内存的使用情况，自动选择合适的垃圾回收算法和策略。

3. 方法区（Method Area）

3.1 概述

方法区（在JVM规范中也称为“永久代”，在Java 8及更高版本中被称为“元空间”）用于存储已加载的类信息、常量池、静态变量和即时编译器（JIT）编译后的代码等数据。方法区在JVM启动时被分配，并在整个JVM生命周期内存在。

3.2 方法区的变化

在Java 8之前，方法区的实现是“永久代”（PermGen），但是由于永久代存在许多问题（如容易导致内存溢出），Java 8之后采用了“元空间”（Metaspace）来替代永久代。元空间使用本地内存，而非JVM堆内存，这使得方法区能够根据需要动态调整大小。

3.3 方法区的垃圾回收

方法区的垃圾回收主要针对常量池的回收和类型的卸载。由于方法区的回收效率较低，因此JVM对方法区的回收频率较低。

4. 栈内存（Stack Memory）

4.1 概述

栈内存用于存储局部变量表、操作数栈、动态链接和方法出口等信息。每个线程在创建时都会拥有自己的栈内存，因此栈内存是线程私有的，不会出现线程安全问题。

4.2 栈帧（Stack Frame）

栈内存由一个个栈帧（Stack Frame）组成。每调用一个方法，JVM都会创建一个新的栈帧并压入栈中。当方法执行完成时，栈帧会被弹出并销毁。

栈帧中包含以下三部分：

局部变量表：存放方法的局部变量，包括基本数据类型和对象引用。
操作数栈：用于方法执行过程中的操作数存储和计算。
动态链接：指向方法所在的常量池中的符号引用，以支持方法调用的动态链接。
方法返回地址：存储方法返回时的指令地址，以便在方法调用结束后能够回到调用者的执行位置。

4.3 栈内存溢出

栈内存有固定的大小，如果方法调用过深（如递归过多），会导致栈空间耗尽，抛出StackOverflowError异常。此外，如果栈内存分配失败（如虚拟机无法分配足够的栈空间），会抛出OutOfMemoryError异常。

5. 程序计数器（Program Counter Register）

5.1 概述

程序计数器是一个较小的内存区域，用于记录当前线程所执行的字节码的地址。对于正在执行的每个线程，JVM都会维护一个独立的程序计数器。程序计数器是线程私有的，在多线程的环境中，程序计数器保证了线程之间的独立执行。

5.2 程序计数器的作用

指令跳转：通过记录当前线程的执行位置，JVM能够在线程切换时恢复线程的执行状态。
多线程支持：每个线程有自己的程序计数器，保证了各个线程的独立运行，不受其他线程的影响。

6. 本地方法栈（Native Method Stack）

6.1 概述

本地方法栈与栈内存类似，不过它专门用于处理本地方法（Native Method）的调用。Native方法是使用非Java语言编写的方法，通常是C或C++，并通过JNI（Java Native Interface）与Java程序进行交互。

6.2 本地方法栈的作用

调用本地方法：当Java代码调用本地方法时，JVM会使用本地方法栈保存调用的相关信息。
支持操作系统功能：本地方法通常用于执行操作系统级别的操作，比如文件操作、网络操作等，这些操作Java代码无法直接实现。

6.3 本地方法栈的异常

与栈内存类似，本地方法栈在内存耗尽时也会抛出StackOverflowError或OutOfMemoryError异常。

7. JVM 内存模型的优化与调优

理解JVM内存模型不仅帮助开发者理解Java程序的运行机制，还能为内存调优提供指导。以下是一些常见的内存优化和调优策略：

7.1 调整堆内存大小

堆内存的大小直接影响垃圾回收频率和程序性能。可以通过以下参数调整堆内存大小：

-Xms：设置堆的初始大小。
-Xmx：设置堆的最大大小。

java -Xms512m -Xmx1024m MyApp

7.2 合理设置新生代与老年代比例

通过设置新生代和老年代的比例，可以控制对象在新生代和老年代之间的分布。新生代过小会导致频繁的Minor GC，过大会减少老年代的可用空间。

-XX:NewRatio=N：设置新生代和老年代的比例。

7.3 垃圾回收器的选择

不同的垃圾回收器适用于不同的应用场景：

Serial GC：适用于单线程环境，GC时会暂停所有应用线程。
Parallel GC：适用于多线程环境，使用多个线程进行垃圾回收。
CMS GC：适用于需要低停顿的场景，通过并发垃圾回收减少停顿时间。
G1 GC：适用于大内存、低延迟的场景，能够均衡地管理内存分配和回收。

java -XX:+UseG1GC MyApp

8. 总结

程序计数器（Program Counter Register）：用于指示当前线程执行的字节码指令地址。
Java堆（Java Heap）：是被所有线程共享的内存区域，用于存放对象实例。所有的对象实例以及数组都在堆上分配内存。
Java栈（Java Stack）：每个线程都有一个私有的栈，用于存储线程局部变量和方法调用。栈中的每一个元素称为栈帧，每一次方法调用，都会在栈中创建一个新的栈帧。
本地方法栈（Native Method Stack）：与Java栈类似，但是是为Native方法服务的。
方法区（Method Area）：用于存储类的结构信息，包括类的元数据、常量池、静态变量等。方法区是所有线程共享的。
运行时常量池（Runtime Constant Pool）：用于存放编译时期生成的各种字面量和符号引用。
直接内存（Direct Memory）：Java NIO库允许使用Native函数库直接分配堆外内存，使用直接内存可以提高性能。