JVM-三色标记算法

本文介绍了JVM中的三色标记算法,用于垃圾回收,以减少STW时间。详细阐述了CMS和G1垃圾回收器的工作原理,包括如何解决漏标问题,CMS的浮动垃圾和G1的Region概念,以及它们的优缺点和不同之处。

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

JVM-三色标记算法

三色标记算法是一种垃圾回收的标记算法。它可以让JVM不发生或仅短时间发生STW(Stop The World),从而达到清除JVM内存垃圾的目的。JVM中的CMS、G1垃圾回收器 所使用垃圾回收算法即为三色标记法。

三色标记过程:

黑色:代表该对象以及该对象下的属性全部被标记过了。(程序需要用到的对象,不应该被回收)

灰色:对象被标记了,但是该对象下的属性未被完全标记。(需要在该对象中寻找垃圾)

白色:对象未被标记(需要被清除的垃圾)

在这里插入图片描述

三色标记存在的问题:

对象漏标:

在这里插入图片描述

如果已经被C已经被标记为黑色了,因为是并发标记,此时可能会有线程在C中引用D。此时由于C已经被标记为黑色,不会再扫描D。D会被认为需要回收,此问题会导致系统出问题。

CMS 和 C1采用了两种方式来解决上面的问题

CMS(Concurrent Mark Swap):<

### JVM三色标记法的原理与实现 #### 三色标记法的核心概念 三色标记法是一种基于可达性分析的对象存活检测方法,其核心思想是将堆中的对象按照状态划分为三种颜色:白色、灰色和黑色。 - **白色**:表示尚未访问到的对象,即可能不可达或者还未处理。 - **灰色**:表示已经被发现但还没有完全扫描过的对象,可能存在对其子节点(引用对象)的进一步探索需求。 - **黑色**:表示已经完成扫描的对象,这些对象及其引用的所有后代都被认为是可到达的。 这种划分使得垃圾回收器能够在不一次性扫描整个堆的情况下逐步完成对象图的遍历[^3]。 #### 工作流程 1. 初始状态下,所有对象均为白色,根对象(GC Roots)被置为灰色并加入灰名单(通常是一个队列或栈)。 2. 回收线程不断从灰名单中取出一个灰色对象进行扫描,将其变为黑色,并将其直接引用的白对象变更为灰色,同时加入灰名单。此过程持续直到灰名单为空为止。此时所有的黑对象均被认为是存活的,而剩余的白对象则会被视为垃圾并予以回收[^4]。 #### 技术细节与优化 为了提升性能,在实际应用中引入了一些改进措施和技术支持: - 使用记忆集(Remembered Set)减少全局扫描的需求,特别是在分代收集场景下,仅需关注特定区域内的跨代引用情况即可[^5]。 - 可采用并发方式进行部分阶段的操作以降低暂停时间的影响;例如CMS(Concurrent Mark Sweep)利用多线程技术执行大部分标记工作的同时允许应用程序继续运行[^2]。 #### 示例代码模拟简单版三色标记逻辑 下面给出一段伪代码展示如何手动实现类似的机制: ```python class ObjectNode: def __init__(self, name): self.name = name self.color = 'white' # Initial state is white. self.references = [] # List of referenced objects. def mark_phase(root_objects): gray_set = set() # Start by marking all roots as grey and adding them to the gray set. for obj in root_objects: obj.color = 'gray' gray_set.add(obj) while gray_set: current_obj = gray_set.pop() # Take one object from the gray list. for ref_obj in current_obj.references: if ref_obj.color == 'white': ref_obj.color = 'gray' # Newly discovered reference becomes gray. gray_set.add(ref_obj) current_obj.color = 'black' # After processing its references, turn it black. # Example usage with a few interconnected nodes. if __name__ == "__main__": A = ObjectNode('A') B = ObjectNode('B') C = ObjectNode('C') A.references.append(B) B.references.append(C) mark_phase([A]) print(f"A's color after marking: {A.color}") print(f"B's color after marking: {B.color}") print(f"C's color after marking: {C.color}") ``` 上述例子展示了基本的颜色转换规则以及简单的递归关系构建。 #### 总结 综上所述,JVM三色标记算法不仅提高了垃圾回收过程中对活动对象识别的速度,还通过多种手段减少了因全量停顿带来的负面影响。它构成了当代许多高效垃圾回收策略的基础之一。 ---
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值