JVM内存模型

2023-03-15 15:24:27   7  举报





JVM内存模型是Java虚拟机规范中定义的一种抽象概念，用于描述Java程序在运行时的内存结构。它包括堆、栈、方法区、本地方法栈和程序计数器五个部分。堆是存储对象实例的地方，栈用于存储局部变量和方法调用，方法区存放类信息、常量池等数据，本地方法栈用于支持本地方法调用，程序计数器则记录当前线程执行的位置。JVM内存模型为Java程序员提供了一种统一的内存管理方式，使得Java程序能够在不同的JVM实现上具有一致的行为。

JVM内存模型1.8

作者其他创作

大纲/内容

方法区(MetaData Space 元空间)/Non-Heap

加载Loading

-Xint

こんにちは、世界

rc = 1

标记-复制算法（Semispace Copying）

堆用来存放对象，几乎所有（逃逸分析技术，栈上分配、标量替换）对象都在堆上分配，将Java堆细分的目的只是为了更好地回收内存，或者更快地分配内存，堆中没有内存分配对象，并且无法扩展时，会抛出OutOfMemoryError异常

新生代

obj1

方法表

obj1 = null;

引用计数算法

字节码生成

类接口的访问标识

类加载器引用

为类的静态变量分配内存，并将其初始化为默认值

TLAB

返回地址（Return Address）

ref

OopMap作用：快速找到GC ROOTS，当所有线程停下来的时候，并不需要一个不漏的检查完所有执行上下文和全局引用位置，虚拟机应该是有办法直接知道哪些地方存放着对象引用。在HotSpot的实现中，是使用一组称为OopMap的数据结构来达到目的的。OopMap存储两种对象引用：1、对象内的引用。2、栈、寄存器中引用

类型信息

Parallel Old GC

字段计数器和字段表集合

标记完回收前

偏向线程ID

对象Object

8种基本类型

ExtensionClass Loader

......

S0/From

Object

本地接口

Object obj1 = new Object;

-Xcomp

标记-清除算法（Mark-Sweep）是最早出现也是最基础的垃圾收集算法，分为“标记”和“清除”两个阶段，从根集合（GC Roots）进行扫描，对存活的对象进行标记，标记完毕后，再扫描整个空间中未被标记的死亡对象进行回收标记回收。主要缺点：第一执行效率不稳定，如果Java堆中包含大量对象，而且其中大部分是需要被回收的，这时必须进行大量标记和清除的动作，导致标记和清除两个过程的执行效率都随对象数量增长而降低。第二内存空间碎片化问题，标记、清除之后会产生大量不连续的内存碎片，空间碎片太多可能会导致当以后在程序运行过程中需要分配较大对象时无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。

javac 编译

null

可回收对象

Survival区与Eden区相同都在Java堆的年轻代。Survival区有两块，一块称为from区，另一块为to区，这两个区是相对的，在发生一次Minor GC后，from区就会和to区互换。在发生Minor GC时，Eden区和Survivalfrom区会把一些仍然存活的对象复制进Survival to区，并清除内存。Survival to区会把一些存活得足够旧的对象移至年老代。

TLAB(线程私有)

逆优化

CA FE BA BE 00 00 00 34 00 14 0A 00 03 00 11...

G1 GC

obj2

...

动态链接（Dynamic Linking）

类型指针

标注检查

LocalVariableTable

reference类型

rc = 2

连接

基于计数器的热点探测

存活对象

数组边界检查消除

常量池加载进方法区运行时常量池

Mac机器指令

加载、验证、准备、初始化和卸载这5个阶段的顺序是确定的，类的加载过程必须按照这种顺序进行，而解析阶段则不一定，它在某些情况下可能在初始化阶段后在开始，因为java支持运行时绑定。

Object obj2 = obj1;

栈上分配

空闲

编译后 .Class文件的Code属性的max_stacks数据记录操作数栈的最大深度

解析Resolution

同步消除

解释器

$JAVA_HOME/jre/lib/rt.jar

font color=\"#ff3333\

方法内联

对象真正存储的有效信息，即我们在程序代码里面所定义的各种类型的字段内容，无论是从父类继承下来的，还是在子类中定义的字段都必须记录起来

public class Main { void test() { int a = 1; int b = 2; int c = a + b; System.out.println(c); }}

确保被加载的类的正确性

字节码指令

User-DefinedClass Loader

版本minorversionmajorversion

基于采样的热点探测

$CLASSPATH

程序计数器，当前线程所执行的字节码的行号指示器，字节码解释器工作时，通过改变计数器的值，执行下一条指令，此内存是JVM规范中唯一一个没有OutOfMemoryError的区域。

方法区和永久代的关系：在JDK1.8之前，习惯把方法区称为“永久代”HotSpot 虚拟机在1.7之前使用永久代来管理（实现）方法区，使得jvm的垃圾回收器能像管理堆内存一样来管理永久代这部分内存，而不用专门为方法区编写内存管理代码。但这种设计使得虚拟机更容易出现内存溢出问题，而不像J9和JRockit只要没有触碰到进程可用内存的上限（32位4GB），就没有问题。 JDK1.7把原本放在永久代的字符串常量池、静态变量等移出（主要剩余类型信息） JDK1.8完全废弃了永久代的概念，改用与JRockit、J9一样在本地内存中实现的元空间方法区无法满足新的内存分配需求时，将抛出OutOfMemoryError异常。

公共子表达式消除

如果对象是数组，有一块用于记录数组长度的数据

源文件

数组

对象头

Operand StackLIFO

在语法树的基础上再做一些处理，如给类添加默认的构造函数，检查变量在使用前是否已经初始化，将一些常量进行合并处理，检查操作变量类型是否匹配，检查所有的操作语句是否可达，检查checked exception是否正确处理。

aload_n

循环引用问题

词法分析

准备Preparation

把类中的符号引用转化为直接引用

Class文件的结构

线程私有

链接过程负责对二进制字节码的格式进行：校验、解析类中调用的接口、类。校验是防止不合法的.class文件，然后对类中的所有属性、调用方法进行解析，以确保其需要调用的属性、方法存在，以及具备应的权限（例如public、private域权限等），会造成NoSuchMethodError、NoSuchFieldError等错误信息。

本地方法栈（线程私有）

局部变量表

分代收集算法 Generational Collection（分代收集）是目前大部分JVM的垃圾收集器采用的算法。根据对象存活的生命周期将内存划分为若干个不同的区域

即时编译器（JIT）编译后的代码缓存

数组长度

Object5

Linux机器指令

栈针N（method...）

年老代里存放的都是存活时间较久的，大小较大的对象，因此年老代使用标记整理算法。当年老代容量满的时候，会触发一次Major GC（full GC），回收年老代和年轻代中不再被使用的对象资源

GC Root Set

可达性分析/根搜索算法

returnAddress

Eden区位于Java堆的年轻代，是新对象分配内存的地方，由于堆是所有线程共享的，因此在堆上分配内存需要加锁。而Sun JDK为提升效率，会为每个新建的线程在Eden上分配一块独立的空间由该线程独享，这块空间称为TLAB（Thread Local Allocation Buffer）。在TLAB上分配内存不需要加锁，因此JVM在给线程中的对象分配内存时会尽量在TLAB上分配。如果对象过大或TLAB用完，则仍然在堆上进行分配。如果Eden区内存也用完了，则会进行一次Minor GC（young GC）。

Object1

GC分代年龄

不是必然存在，也没有特别的含义，它仅仅起着占位符的作用。HotSpot虚拟机要求对象起始地址必须是8字节的整数倍

属性表集合

HelloWorld.java

执行引擎

Windows机器指令

b: 2

STW

a: 1

程序计数器/PC寄存器（线程私有）

ParNew GC

字段信息

Java虚拟机规范，允许虚拟机实现增，在栈帧之中增加一些规范里没有描述的信息，例如与调试、性能收集相关的信息。

HelloWorld.class

加载

逃逸分析

Class信息

Safe Point

astore_n

标记-整理算法（Mark-Compact）

标记-整理算法（Mark-Compact）标记过程仍然与“标记-清除”算法一样，但后续步骤不是直接对可回收对象进行清理，而是让所有存活的对象都向内存空间一端移动，然后直接清理掉边界以外的内存主要缺点：进过标记后如果有大量存活对象，移动存活对象，并更新所有引用这些对象的地方将会是一种极为负重的操作，而且这种对象移动操作必须全程暂停用户应用程序才能进行（Stop The World）。

SystemClass Loader

Serial Old GC

魔数CA FE BA BE

栈针2（method2）

运行时常量池是方法区的一部分，运行期间将可以手动将新的常量放入池中，如：String的intern()方法；受到方法区内存的限制，当常量池无法再申请到内存时会抛出OutOfMemoryError异常。

OopMap

栈针3（method3）

类的继承关系包括类、父类、索引、接口索引集合

将前面生成的信息转换为字节码写入磁盘，并进行少量代码的添加和转换

溢出

热点代码

HashCode

Eclipse JDT中的增量式编译器（ECJ）

局部变量槽Slot，64位long、dubbo占两个Slot，其余占一个

ConstantValue

编译后 .Class文件的Code属性的max_locals数据记录局部变量表的最大容量

使用Using

将Java源文件的字符流转变成对应的Token标记流

标量替换

类型常量

ObjectA

即时编译

15/大对象

Code

编译器

控制流分析

老年代

将Token流组件转换成更加结构化的语法树

常量池信息

Exceptions

Parallel Scavenge GC

本地方法库

BootstrapClass Loader

锁状态标志

语法分析

实例数据

所有收集器在根节点枚举这一步骤时都是必须暂停用户线程“Stop The World”在分析过程中，根节点集合的对象引用关系必须保持不变，即使是号称停顿时间可控，或者（几乎）不会发生停顿的CMS、G1、ZGC等收集器，枚举根节点时也是必须要停顿。

运行时常量池

解释执行状态下，将访问最频繁的数据（程序计数器、栈顶）缓存在物理CPU的寄存器中，以此降低对内存的读/写次数，提升执行引擎的执行效率。

Object4

ObjectB

验证Verification

局部变量表（Local Variable Table）

回收前

안녕 한 세계

javac Main.javajavap -v -p Main.class

S1/To

GC Roots

标记-复制算法（Semispace Copying）：将可用内存按容量划分为大小相等的两块，每次只使用其中的一块。当这一块的内存用完了，就将还存活着的对象复制到另外一块上面，然后再把已使用过的内存空间一次清理掉。主要缺点：第一Copying算法的效率跟存活对象的数目多少有很大的关系，如果存活对象很多，那么Copying算法的效率将会大大降低。第二将可用内存缩小为了原来的一半，空间浪费。

.....

填充符号表

类加载子系统

方法信息

方法计数器和方法表集合

堆 Heap

Object2

回收后

加载class

InnerClasses

Eden

栈顶缓存技术

即时编译器（JIT）

1、将类.class文件中的二进制数据读入到内存中。2、将加载的静态数据结构转化为方法区的运行时数据结构。3、在堆区创建一个Class对象

HelloWorld

你好世界

ObjectC

新生代/Young区 1/3

GC Roots的对象：1、在虚拟机栈（栈帧中的本地变量表）中引用的对象，如各个线程被调用的方法堆栈中使用到的参数、局部变量、临时变量等。2、在方法区中类静态属性引用的对象，如Java类的引用类型静态变量。3、在方法区中常量引用的对象，如字符串常量池（String Table）里的引用。4、在本地方法栈中JNI（即通常所说的Native方法）引用的对象。5、Java虚拟机内部的引用，如基本数据类型对应的Class对象，一些常驻的异常对象（比如NullPointExcepiton、OutOfMemoryError）等，还有系统类加载器。6、所有被同步锁（synchronized关键字）持有的对象。7、反映Java虚拟机内部情况的JMXBean、JVMTI中注册的回调、本地代码缓存等

String字符串常量池

对齐填充

语言处理javacecj

CMS GC

Object3

Serial GC

常量池主要存放，字面量（Literal）和符号引用（Symbolic References）字面量：如文本字符串、被声明为final的常量值等。符号引用：类和接口的全限定名、字段的名称和描述符、方法的名称和描述符、方法句柄和方法类型、动态调用点和动态常量

字节码文件

CPU

Object6

Direct Memory（直接内存）

老年代2/3（old区）