JVM原理+GC自动垃圾回收机制原理(详细且通俗易懂)

本文详细介绍了Java虚拟机(JVM)的概念、内存模型及其工作原理,包括类加载过程、执行引擎和垃圾回收机制(GC),并解析了JVM如何管理内存以提高程序运行效率。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

什么是JVM?
JVM是Java Virtual Machine(Java虚拟机)的缩写,JVM是一种用于计算设备的规范,它是一个虚构出来的计算机,是通过在实际的计算机上仿真模拟各种计算机功能来实现的。Java虚拟机包括一套字节码指令集、一组寄存器、一个栈、一个垃圾回收堆和一个存储方法域。 JVM屏蔽了与具体操作系统平台相关的信息,使Java程序只需生成在Java虚拟机上运行的目标代码(字节码),就可以在多种平台上不加修改地运行。JVM在执行字节码时,实际上最终还是把字节码解释成具体平台上的机器指令执行。
在这里插入图片描述
JVM内存模型分析
1.类加载器: 将class文件加载到内存
2.运行时数据区:包括方法区、堆、Java栈、PC寄存器、本地方法栈

a.程序计数器:用于存储每个线程下一步将执行的JVM指令;

b.虚拟机栈:方法的执行
  栈帧(Stack Frame)是用于支持虚拟机进行方法调用和方法执行的数据结构(栈帧存储了方法的局部变量表、操作数栈、动态链接和方法返操作数栈、动态链接和方法返回地址等信息。每一个方法从调用开始至执行完成的过程,都对应着一个栈帧在虚拟机栈里面从入栈到出栈的过程。每个栈帧都包括了局部变量表、操作数栈、动态链接、方法返回地址和一些额外的附加信息。)

c.堆:java堆存放的是解释执行Class文件时创建的对象,随着对象的创建而存在的区域,而这一块区域存在的是该类中的所有属性,每一个变量都有一个默认值,string的默认值为null, int的默认值为0 , double的默认值为0.0 , boolean的默认值为 false, char 的默认值为字符a

d.方法区:存放class的结构信息,例如常量池、字段、方法、构造函数和普通方法的字节码内容

e.运行时常量池:存放class中定义的常量

f.本地方法栈:JVM采用本地方法栈来支持native方法的执行,此区域用于存储每个native方法调用的状态。
  
3.执行引擎: 解释执行加载到运行时数据区的数据(方法区),每次读取一个字节码指令并执行。

执行引擎主要有以下三个部分
①解释器:读取字节码指令并串行执行之。java命令就是一个解释器
②JIT(Just In Time)编译器:
这里的编译不是从java源码到字节码,而是将字节码编译成操作系统特定的指令。JIT会监控字节码的执行过程,将部分常用的代码优化成本地指令,以加速执行。Oracle用了Hotspot虚拟机,会搜索Hotspot(热点)并将其编译成本地指令。
③GC垃圾回收器:清理无用内存以提供更多的可用内存

jvm类加载的过程
分为五个步骤:加载 -> 验证 -> 准备 -> 解析 -> 初始化

1.加载:
查找并加载类的二进制文件(class文件),
把类的信息(例如常量池、字段、方法、构造函数和普通方法的字节码内容)放入方法区,
Class文件对应的实例放入堆中。

2.验证:
确保加载的类信息是正确的

3.准备:
为类的静态变量进行初始化,并分配空间赋予初始值

4.解析:
将符号应用转化为直接应用
解释:
①只要遇到new关键字,则说明会在堆内存中开辟一块空间,用于存放该类的属性
②每当堆内存创建了一个空间之后,则会系统分配一个内存地址,而这个地址是十六进制数
③并将这个地址值赋值给栈内存中的对象名
④对象名和堆内存的空间地址,通过相同的地址值进行链接
在这里插入图片描述
如图例:
Person p1 创建对象后 在堆内存中开辟一块空间 new Person()分配一个内存地址比如0x8899
比如 Person p1 的地址就是0X8899与堆内存中的空间相连接

5.初始化
JVM对类进行初始化。
解释:
java堆存放的是解释执行Class文件时创建的对象,随着对象的创建而存在的区域,而这一块区域存在的是该类中的所有属性,每一个变量都有一个默认值,string的默认值为null, int的默认值为0 , double的默认值为0.0 , boolean的默认值为 false, char 的默认值为字符a
比如上面这个图片中,String name 的 默认值就为null

**

## 二丶自动垃圾回收机制(GC)

当对象填充满堆内存后会导致内存溢出,所以需要内存回收机制GC来清理对象

GC=Garbage Collection 是JVM自动内存管理的机制。JVM运行时数据区中,栈的内存分配在入栈的时候已经确定了,出栈即回收,所以不需要内存回收。需要回收的主要是堆区。主要是以下问题

1.如何判定对象是否应该被删除
举例一个判断标准:GC算法 →GC Root

GC方法一
1) 标记 2)清理
从GC Root对象开始遍历整个JVM的内存,标记出哪些是存活的对象,遍历结束后,未标记的则是不要的对象,即垃圾对象应该被删除。然后删除垃圾对象。

  • 缺点:产生内存碎片。内存碎片什么意思(比如 对象1的大小为1KB 当对象1被清理后会腾出1KB的空间,如果这个时候创建对象2大小为2KB,对象1被清理的1KB空间是放不下对象2的,导致空间不能为合理利用,所以产生GC第二个方法)

GC方法二
1) 标记 2)整理

  • 整理的意思是,前面一个对象被清理后,后面一个对象会自动补齐。这样会减少内存碎片。带来另一个缺点,对象移动的代价太大。所以产生了第三个方法

GC方法三
1) 标记 2)复制
解释:
把整个内存一分为二。第一个内存区域 中标价出来要 清理的对象 。把没有被标记的好对象 全部移入第二个内存区域中。
缺点:需要内存空间大

实际中的GC
在这里插入图片描述
把堆区划分成年轻代(young),和老年代(old)
年轻代中又分为 Eden区 和两个Survivor区
重点:
NEW对象的时候 产生在 Eden区 当Eden区快满的时候就会触发young GC(只属于年轻代的GC)
采用上面方法中的复制方法,把好的对象 放入 Survivor区
(两块Survivor区交替使用 E区+S1区 复制 到 S2区 ***** E区+S2区 复制到 S1区 如此反复)

老年代(old区):
young GC 过程中 每存活一次 年龄age就会加1. 如果age>=6.就往老年区中复制
(大对象 例如 →1千万大小的int数组 也会存入old区)
如果老年区也存满了会触发 Full GC 会引起 Stop The World (STW停止全世界)
Stop The World:整个JAVA程序暂停来进行垃圾清理

<think>好的,用户问的是JVM在进行垃圾回收时如何判断一个对象是不是垃圾。我需要详细解释清楚这个机制。首先,我得回忆一下JVM垃圾回收算法,主要是可达性分析,但可能还有引用计数法,不过Java主要用可达性分析。 用户可能需要知道具体的方法,比如哪些对象会被视为垃圾。得提到根可达性算法,然后说明哪些可以作为GC Roots的对象。可能需要列举GC Roots的类型,比如栈中的局部变量、静态变量、本地方法栈的对象等。 然后要解释可达性分析的过程,从GC Roots出发,遍历引用链,不能被访问到的对象就是垃圾。需要确保术语准确,比如不可达对象,但也要注意可能有不同引用类型的影响,比如软引用、弱引用等,这些可能会影响回收的时机,但基本判定还是基于可达性。 另外,可能用户会混淆引用计数法,虽然Java没有用这个,但可以简单提一下,说明为什么不用,比如循环引用的问题。 还要注意回答结构清晰,分步骤说明。比如先总体说明判定方法,再详细讲可达性分析,接着GC Roots的例子,然后补充引用类型的影响。最后可以总结一下整个过程。 需要检查是否有技术细节错误,比如是否所有GC Roots的类型都正确,有没有遗漏。确保语言通俗易懂,不用太多专业术语,但关键术语要准确。比如,局部变量、静态变量、活动线程、Native引用等作为GC Roots。 可能用户是刚开始学习Java或者准备面试,需要明确的步骤清晰的逻辑,所以例子分点会有帮助。比如用代码片段说明哪些对象会被回收,但用户问题可能不需要具体例子,不过解释清楚机制更重要。 最后,确保符合用户的要求,使用中文,数学公式正确(虽然这个问题可能不太涉及数学公式,但如果有变量之类的要用$符号)。结构上分步骤,使用列表或分段,让回答易于阅读。</think>在JVM进行垃圾回收(GC)时,判定对象是否为垃圾的核心机制是**可达性分析算法(Reachability Analysis)**,具体步骤如下: --- ### 1. **基本判定逻辑:可达性分析** - **核心思想**:从一组称为**GC Roots**的根对象出发,遍历所有能被访问到的对象。未被遍历到的对象即为“垃圾”。 - **过程**: 1. 标记所有GC Roots为存活对象。 2. 递归遍历这些对象的引用链。 3. 未被标记的对象会被判定为不可达,即垃圾。 --- ### 2. **GC Roots的典型来源** - **栈中的局部变量**:当前执行方法中的局部变量、参数。 - 例如:`void foo() { Object obj = new Object(); }` 中的`obj`。 - **静态变量**:类的静态字段(`static`修饰)。 - 例如:`public static List<String> cache;` - **活动线程对象**:正在运行的线程(`Thread`实例)。 - **Native方法引用的对象**:JNI(Java Native Interface)中引用的对象。 --- ### 3. **引用类型的影响** Java中的引用类型会影响对象被回收的**时机**,但不会改变可达性分析的判定逻辑: - **强引用(Strong Reference)**:默认类型,只要可达就不会被回收。 - **软引用(Soft Reference)**:内存不足时会被回收。 - **弱引用(Weak Reference)**:下一次GC时被回收。 - **虚引用(Phantom Reference)**:无法通过虚引用访问对象,仅用于跟踪回收状态。 --- ### 4. **特殊情况处理** - **循环引用**:即使对象AB互相引用,但如果它们都不可达,仍会被判定为垃圾。 ```java class Node { Node next; } Node a = new Node(); // 假设a不可达 Node b = new Node(); a.next = b; b.next = a; // 循环引用,但ab都会被回收 ``` --- ### 5. **Finalize()方法的例外** - 对象在第一次GC时若覆盖了`finalize()`方法,会被放入`Finalizer`队列,尝试执行该方法。 - 若对象在`finalize()`中重新与GC Roots建立关联,则可逃脱回收(但强烈不推荐依赖此机制)。 --- ### 总结 JVM通过**可达性分析算法**,从GC Roots出发遍历对象引用链,未被访问到的对象会被标记为垃圾。该机制避免了引用计数法的循环引用问题,是Java内存管理的基础。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值