G1数据结构

‌G1垃圾回收算法的内部结构‌以"化整为零"的分区思想为核心,将整个Java堆划分为多个大小相等的独立区域(Region),每个Region大小通常为1~32MB(2的幂次方),由JVM根据堆大小自动设定 。这种结构打破了传统垃圾回收器对堆内存的固定分代布局,实现了更灵活、高效的内存管理。

一、Region:G1的基本单位

G1将堆内存划分为‌多个固定大小的Region‌,每个Region在运行时可动态扮演不同角色:

  • E\] Eden区‌:存放新创建的对象。

  • O\] Old区‌:存放长期存活或从年轻代晋升的对象。

    例如,在一个4GB堆、Region大小为2MB的配置下,任何超过1MB的对象都会被直接分配到Humongous Region中 。
    这种动态角色分配机制使得G1能根据应用行为灵活调整内存布局,避免了传统分代回收器中年轻代与老年代比例固定的僵化问题。

二、关键数据结构与机制

1. ‌Remembered Set(RSet,记忆集)

每个Region都维护一个RSet,用于记录‌其他Region中对象对该Region的引用关系‌

在进行年轻代回收(Young GC)时,G1无需扫描整个老年代来判断跨代引用,只需扫描RSet中记录的引用即可,极大提升了效率 。

2. ‌Card Table(卡表)

‌RSet的底层实现依赖于‌卡表(Card Table)‌。堆内存被划分为若干个512字节的"卡(Card)",每个卡对应卡表中的一个字节。当发生跨Region引用时,相应卡被标记为"脏卡(Dirty Card)",后续通过扫描脏卡来更新RSet 。

可以理解为:‌Card Table是RSet的数据来源,RSet是G1实现高效跨代引用处理的核心机制‌

3. ‌SATB(Snapshot-At-The-Beginning)

在并发标记阶段,为保证标记准确性,G1采用SATB算法。它在标记开始时记录堆的逻辑快照,任何在并发期间被修改或删除的对象引用,都会通过写屏障(Write Barrier)记录到队列中,供最终标记阶段处理,防止漏标 。

‌4. ‌TAMS(Top at Mark Start)指针

为支持并发标记期间的新对象分配,G1为每个Region设置了两个TAMS指针(Previous和Next),划分出用于记录并发阶段新分配对象的空间。这些对象默认被视为"已存活",不参与本次标记过程 。

三、回收流程与阶段划分

G1的回收周期主要包括以下阶段:
1‌. Young GC‌ :当Eden区满时触发,STW暂停,复制存活对象到Survivor或Old区。
‌2. 并发标记(Concurrent Marking)‌ :当堆占用达到阈值(默认45%)时启动,标记整个堆的存活对象。
‌3. Mixed GC‌ :在并发标记完成后,优先回收垃圾比例高的Region,包括部分老年代。
4‌. Full GC‌:极端情况下(如空间不足或碎片严重)触发,单线程执行,应尽量避免

相关推荐
難釋懷17 小时前
Redis数据结构-Set结构
数据结构·redis·bootstrap
如何原谅奋力过但无声20 小时前
【灵神高频面试题合集06-08】反转链表、快慢指针(环形链表/重排链表)、前后指针(删除链表/链表去重)
数据结构·python·算法·leetcode·链表
平行侠20 小时前
037插入排序 - 整理扑克牌的算法
数据结构·算法
,,?!,1 天前
数据结构算法-排序算法
数据结构·算法·排序算法
‎ദ്ദിᵔ.˛.ᵔ₎1 天前
C++哈希表
数据结构·c++·散列表
阿旭超级学得完1 天前
C++11(初始化)
java·开发语言·数据结构·c++·算法
云淡风轻~窗明几净1 天前
关于角谷猜想的五行小猜想
数据结构·算法
Languorous.1 天前
C++数据结构进阶|并查集(Union-Find)详解:从原理到面试实战
数据结构·c++·面试
Languorous.1 天前
C++数据结构进阶|堆(Heap)详解:从手写实现到面试高频实战
数据结构·c++·面试
玛卡巴卡ldf1 天前
【LeetCode 手撕算法】(栈)有效括号、最小栈、字符串解码、每日温度、柱状图最大矩形
java·数据结构·算法·leetcode·力扣