JVM之三色标记算法,内容非常全面

图中黑色箭头代表对象之间的引用,红色箭头代表垃圾收集器扫描的路径,第一张图因为扫描器还没有进行扫描,所以所有的对象都是白色的。

一、第一次扫描

在这里插入图片描述

第一次扫描到了A对象,但是A对象下面的直接引用对象还有未扫描到的对象B和对象C,所以A对象为灰色。

二、第二次扫描

在这里插入图片描述

第二次扫描到了B对象,但是B对象下面还有一个直接引用对象D没有被扫描到,所以B对象变为灰色,然而A对象下面有一个直接引用对象C没有被扫描到,所以A对象也还是灰色。这里再次强调一下红色连线代表扫描的路径以及扫描到的对象,黑色连线代表对象之间的引用,之所以画两个箭头引用就是为了让大家区分开箭头所代表的不同含义。

三、第三次扫描

在这里插入图片描述

第三次扫描从A对象扫描到了B对象,由于B对象下面没有未被扫描的对象了(因为B下面已经没有引用的对象了),所以B为黑色,而A对象也因为下面的直接引用对象B和C都已经被扫描过了,所以A也变为了黑色,而B下面的D对象还没有被扫描过,所以B还是灰色。

四、第四次扫描

在这里插入图片描述

第四次扫描从B扫描到了D对象,因为D对象下面没有引用对象了,所以D变为黑色了,而B下面也没有未被扫描过的对象了,所以B对象也变为了黑色,这个时候扫描器就结束扫描过程了,大家看到了扫描器并没有扫描E对象,这是因为两点,1、E对象不是GCRoot根,扫描器是从GCRoot根节点开始扫描的,也就是从图中A对象开始扫描。2、E对象没有被GCRoot根节点或者根节点引用下的节点引用,假如这个时候A、B、C、D任何一个对象引用E对象,E对象都会变为黑色,而目前图中的E对象就相当于我们在程序里面new了一个Strudent对象,但是没有任何对象使用它或者调用它,它就相当于在程序里面“悬空”了,所以垃圾收集器会在后面的垃圾收集阶段将白色的E对象收集掉,其他的对象不会收集。

总结

这里的三色标记算法并不是在程序内部真正的将对象标记成为黑色、灰色、白色,而是可能用了两个二进制位来表示,比如00表示黑色、01表示灰色、10表示白色,所以这里的三色标记算法只是为了让大家更好的理解罢了,希望大家看了我的文章可以有所收获,也希望大家多多关注我,我们一起学习进步,谢谢大家。

自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。

深知大多数Java工程师,想要提升技能,往往是自己摸索成长或者是报班学习,但对于培训机构动则几千的学费,着实压力不小。自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!

因此收集整理了一份《2024年Java开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。
img
img
img
img
img
img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Java开发知识点,真正体系化!

由于文件比较大,这里只是将部分目录大纲截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且后续会持续更新

如果你觉得这些内容对你有帮助,可以添加V获取:vip1024b (备注Java)
img

最后

做任何事情都要用心,要非常关注细节。看起来不起眼的、繁琐的工作做透了会有意想不到的价值。
当然要想成为一个技术大牛也需要一定的思想格局,思想决定未来你要往哪个方向去走, 建议多看一些人生规划方面的书籍,多学习名人的思想格局,未来你的路会走的更远。

更多的技术点思维导图我已经做了一个整理,涵盖了当下互联网最流行99%的技术点,在这里我将这份导图分享出来,以及为金九银十准备的一整套面试体系,上到集合,下到分布式微服务

-eMia9SYO-1711962867079)]

[外链图片转存中…(img-IVIqkikn-1711962867080)]

### 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 的三标记算法不仅提高了垃圾回收过程中对活动对象识别的速度,还通过多种手段减少了因全量停顿带来的负面影响。它构成了当代许多高效垃圾回收策略的基础之一。 ---
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值