JVM学习笔记25-G1垃圾收集器三色标记算法和SATB

本文介绍了JVM中的G1垃圾收集器如何使用三色标记算法进行并发标记,以及如何借助SATB(Snapshot-At-The-Beginning)解决并发时的引用变化问题。在并发标记过程中,可能出现的漏标和误标问题也进行了讨论,重点阐述了SATB在防止对象漏标记中的作用和处理策略。

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

1三色标记算法

对于并发标记,我们不得不了解并发标记的三色标算法

它是描述追踪式回收器的一种有效方法,利用它可以推演回收器的正确性

我们将对象分成三种类型:

  • 黑色—根对象, 或者该对象与它的子对象都被扫描过(对象被标记了,且它的所有field都被标记完了)
  • 灰色—对象本身被扫描,但还没扫描完该对象中的子对象(它的field还没有被标记或标记完)
  • 白色—未被扫描对象,扫描完成所有对象之后,最终为白色的未不可达对象,即垃圾对象(对象没有被标记到)

只要对象被标记了,那说明它是可达的.不应该被GC回收掉

但是如果在标记过程中,应用程序也在运行,那么对象的指针就有可能改变. 这样的话,我们就会遇到一个问题—对象丢失(漏标)问题

例如:
当垃圾收集器扫描到下面情况时
示例1
这时候应用程序执行了以下操作:

  • A.c = C
  • B.c = null

这样,对象的状态图就变成了如下情形:
示例1
这时候垃圾收集器再标记扫描的时候就会变成下图这样
在这里插入图片描述
很显然,此时C是白色的,被认为是垃圾需要清理掉,显然这是不合理的

2 SATB—Snap

评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值