G1垃圾收集器

特点: 区域化分代式(Garbage-First)复制算法、并行并发兼具、面向服务端

  • 目标:在延迟可控的情况下获得尽可能高的吞吐量
  • 并行性:G1在回收期间,可以有多个GC线程同时工作,有效利用多核计算能力。此时用户线程STW
  • 并发性:G1拥有与应用程序交替执行的能力,部分工作可以和应用程序同时执行,因此,一般来说,不会在整个回收阶段发生完全阻塞应用程序的情况

分代收集

但从堆的结构上看,它不要求整个Eden区、年轻代或者老年代都是物理连续的,也不再坚持固定大小和固定数量。

img

可预测的停顿时间模型

  • 设定在一个长度为M毫秒的时间片段内,消耗在垃圾收集上的时间不得超过N毫秒。
  • G1可以只选取部分区域进行内存回收,这样缩小了回收的范围,因此对于全局停顿情况的发生也能得到较好的控制。
  • G1跟踪各个Region里面的垃圾堆积的价值大小(回收所获得的空间大小以及回收所需时间的经验值),在后台维护一个优先列表,每次根据允许的收集时间,优先回收价值最大的Region。保证了G1收集器在有限的时间内可以获取尽可能高的收集效率

G1 回收器的缺点

  • 用户程序运行过程中,G1无论是为了垃圾收集产生的内存占用(Footprint)还是程序运行时的额外执行负载(overload)都要比CMS要高。
  • 从经验上来说,在小内存应用上CMS的表现大概率会优于G1,而G1在大内存应用上则发挥其优势。平衡点在6-8GB之间。

G1 参数配置

  • -XX:+UseG1GC:手动指定使用G1垃圾收集器执行内存回收任务
  • -XX:G1HeapRegionSize:设置每个Region的大小
    • 值是2的幂,范围是1MB到32MB之间,目标是根据最小的Java堆大小划分出约2048个区域。默认是堆内存的1/2000
  • -XX:MaxGCPauseMillis:设置期望达到的最大GC停顿时间指标,默认值:200ms
  • -XX:+ParallelGCThread:设置STW工作线程数。最多设置为8
  • -XX:ConcGCThreads:设置并发标记的线程数
  • -XX:InitiatingHeapOccupancyPercent:设置触发并发GC周期的Java堆占用率阈值

G1 收集器的使用

  • 第一步:开启G1垃圾收集器
  • 第二步:设置堆的最大内存
  • 第三步:设置最大的停顿时间

G1 使用场景

  • 面向服务端应用,针对具有大内存、多处理器的机器
  • 要低GC延迟,并具有大堆的应用程序提供解决方案
    • 在堆大小约6GB或更大时,可预测的暂停时间可以低于0.5秒;(G1通过每次只清理一部分而不是全部的Region的增量式清理来保证每次GC停顿时间不会过长)
  • 用来替换掉JDK1.5中的CMS收集器;在下面的情况时,使用G1可能比CMS好
    • 超过50%的Java堆被活动数据占用
    • 对象分配频率或年代提升频率变化很大
    • GC停顿时间过长(长于0.5至1秒)
  • HotSpot垃圾收集器里,除了G1以外,其他的垃圾收集器均使用内置的JVM线程执行GC的多线程操作,而G1 GC可以采用应用线程承担后台运行的GC工作,即当JVM的GC线程处理速度慢时,系统会调用应用程序线程帮助加速垃圾回收过程

分区Region

img

  • 使用G1收集器时,它将整个Java堆划分成约2048个大小相同的独立Region块,每个Region块大小根据堆空间的实际大小而定,整体被控制在1MB到32MB之间,且为2的N次幂,即1MB,2MB,4MB,8MB,16MB,32MB。可以通过
  • XX:G1HeapRegionSize设定。所有的Region大小相同,且在JVM生命周期内不会被改变。
  • 虽然还保留有新生代和老年代的概念,但新生代和老年代不再是物理隔离的了,它们都是一部分Region(不需要连续)的集合。通过Region的动态分配方式实现逻辑上的连续。
  • 一个Region有可能属于Eden,Survivor或者Old/Tenured内存区域。但是一个Region只可能属于一个角色。图中的E表示该Region属于Eden内存区域,S表示属于Survivor内存区域,O表示属于Old内存区域。图中空白的表示未使用的内存空间。
  • G1垃圾收集器还增加了一种新的内存区域,叫做Humongous内存区域,如图中的H块。主要用于存储大对象,如果超过0.5个Region,就放到H。
    • 对于堆中的大对象,默认直接会被分配到老年代,但是如果它是一个短期存在的大对象就会对垃圾收集器造成负面影响。
    • 为了解决这个问题,G1划分了一个Humongous区,它用来专门存放大对象。
    • 如果一个H区装不下一个大对象,那么G1会寻找连续的H区来存储。为了能找到连续的H区,有时候不得不启动Full GC。G1的大多数行为都把H区作为老年代的一部分来看待。

G1的垃圾回收过程主要包括如下三个环节

年轻代GC(YoungGC)

img

  1. JVM启动时,G1先准备好Eden区,程序在运行过程中不断创建对象到Eden区,当Eden空间耗尽时,G1会启动一次年轻代垃圾回收过程。

  2. YGC时,首先G1停止应用程序的执行(Stop-The-World),G1创建回收集(Collection Set),回收集是指需要被回收的内存分段的集合,年轻代回收过程的回收集包含年轻代Eden区和Survivor区所有的内存分段。

  3. 开始回收

    1. 第一阶段,扫描根
      • 枚举GCRoot对象
      • 根引用连同RSet记录的外部引用作为扫描存活对象的入口
    2. 第二阶段,更新RSet
      • 处理dirty card queue(见备注)中的card,更新RSet。
      • 此阶段完成后,RSet可以准确的反映老年代对所在的内存分段中对象的引用。
    3. 第三阶段,处理RSet
      • 识别被老年代对象指向的Eden中的对象,这些被指向的Eden中的对象被认为是存活的对象。
    4. 第四阶段,复制对象
      • 此阶段,对象树被遍历,Eden区内存段中存活的对象会被复制到Survivor区中空的内存分段,Survivor区内存段中存活的对象
      • 如果年龄未达阈值,年龄会加1,达到阀值会被会被复制到Old区中空的内存分段。
      • 如果Survivor空间不够,Eden空间的部分数据会直接晋升到老年代空间。
    5. 第五阶段,处理引用
      • 处理Soft,Weak,Phantom,Final,JNI Weak 等引用。最终Eden空间的数据为空,GC停止工作,而目标内存中的对象都是连续存储的,没有碎片,所以复制过程可以达到内存整理的效果,减少碎片。

    注意:

    • 对于应用程序的引用赋值语句 oldObject.field=new Object(),JVM会在之前和之后执行特殊的操作以在dirty card queue中入队一个保存了对象引用信息的card。
    • 在年轻代回收的时候,G1会对Dirty Card Queue中所有的card进行处理,以更新RSet,保证RSet实时准确的反映引用关系。
    • 那为什么不在引用赋值语句处直接更新RSet?这是为了性能的需要,RSet的处理需要线程同步,开销会很大,使用队列性能会好很多。

老年代并发标记过程(Concurrent Marking)

  1. 初始标记阶段
    • 标记从根节点直接可达的对象。这个阶段是STW的,并且会触发一次年轻代GC
    • 正是由于该阶段时STW的,所以我们只扫描根节点可达的对象,以节省时间
  2. 根区域扫描(Root Region Scanning)
    • G1 GC扫描Survivor区直接可达的老年代区域对象,并标记被引用的对象
    • 这一过程必须在Young GC之前完成,因Young GC会使用复制算法对Survivor区进行GC
  3. 并发标记(Concurrent Marking)
    • 在整个堆中进行并发标记(和应用程序并发执行),此过程可能被Young GC中断
    • 在并发标记阶段,若发现区域对象中的所有对象都是垃圾,那这个区域会被立即回收
    • 同时,并发标记过程中,会计算每个区域的对象活性(区域中存活对象的比例)
  4. 重新标记(Remark)
    • 由于应用程序持续进行,需要修正上一次的标记结果。STW
    • G1中采用了比CMS更快的初始快照算法:Snapshot-At-The-Beginning(SATB)
  5. 独占清理(cleanup,STW)
    • 计算各个区域的存活对象和GC回收比例,并进行排序,识别可以混合回收的区域
    • 为下阶段做铺垫。是STW的。这个阶段并不会实际上去做垃圾的收集
  6. 并发清理阶段
    • 识别并清理完全空闲的区域

混合回收过程(Mixed GC)

img

  • 当越来越多的对象晋升到老年代Old Region时,为了避免堆内存被耗尽,虚拟机会触发一个混合的垃圾收集器,即Mixed GC,该算法并不是一个Old GC,除了回收整个Young Region,还会回收一部分的Old Region
  • 这里需要注意:是一部分老年代,而不是全部老年代。可以选择哪些Old Region进行收集,从而可以对垃圾回收的耗时时间进行控制。也要注意的是Mixed GC并不是Full GC

混合回收细节

  1. 并发标记结束以后,老年代中百分百为垃圾的内存分段被回收了,部分为垃圾的内存分段被计算出来
  2. 默认情况下,这些老年代的内存分段会分8次(可以通过-XX:G1MixedGCCountTarget设置)被回收
  3. 混合回收的回收集(Collection Set)包括八分之一的老年代内存分段,Eden区内存分段,Survivor区内存分段。混合回收的算法和年轻代回收的算法完全一样,只是回收集多了老年代的内存分段。具体过程请参考上面的年轻代回收过程
  4. 由于老年代中的内存分段默认分8次回收,G1会优先回收垃圾多的内存分段。垃圾占内存分段比例越高的,越会被先回收。并且有一个阈值会决定内存分段是否被回收
  5. XX:G1MixedGCLiveThresholdPercent,默认65%,意思是垃圾占内存分段比例要达到65%才会被回收。如果垃圾占比太低,意味着存活的对象占比高,在复制的时候会花费更多的时间
  6. 混合回收并不一定要进行8次。有一个阈值-XX:G1HeapWastePercent,默认值为10%,意思是允许整个堆内存中有10%的空间被浪费,意味着如果发现可以回收的垃圾占堆内存的比例低于10%,则不再进行混合回收。因为GC会花费很多的时间但回收到的内存却很少

大致的回收流程

  1. 应用程序分配内存,当年轻代的Eden区用尽时开始年轻代回收过程;G1的年轻代收集阶段是一个并行的独占式收集器。
  2. 在年轻代回收期,G1 GC暂停所有应用程序线程,启动多线程执行年轻代回收。然后从年轻代区间移动存活对象到Survivor区间或者老年区间,也有可能是两个区间都会涉及。
  3. 当堆内存使用达到一定值(默认45%)时,开始老年代并发标记过程。标记完成马上开始混合回收过程。
  4. 对于一个混合回收期,G1 GC从老年区间移动存活对象到空闲区间,这些空闲区间也就成为了老年代的一部分。
  5. 和年轻代不同,老年代的G1回收器和其他GC不同,G1的老年代回收器不需要整个老年代被回收,一次只需要扫描/回收一小部分老年代的Region就可以了。同时,这个老年代Region是和年轻代一起被回收的。

Remembered Set(记忆集)

存在问题

  • 一个对象被不同区域引用的问题
  • 一个Region不可能是孤立的,一个Region中的对象可能被其他任意Region中对象引用,判断对象存活时,是否需要扫描整个Java堆才能保证准确?
  • 在其他的分代收集器,也存在这样的问题(而G1更突出,因为G1主要针对大堆)
  • 回收新生代也不得不同时扫描老年代?这样的话会降低Minor GC的效率

解决方法

  • 无论G1还是其他分代收集器,JVM都是使用Remembered Set来避免全局扫描
  • 每个Region都有一个对应的Remembered Set
  • 每次Reference类型数据写操作时,都会产生一个Write Barrier暂时中断操作
  • 然后检查将要写入的引用指向的对象是否和该Reference类型数据在不同的Region(其他收集器:检查老年代对象是否引用了新生代对象)
  • 如果不同,通过CardTable把相关引用信息记录到引用指向对象的所在Region对应的Remembered Set中
  • 当进行垃圾收集时,在GC根节点的枚举范围加入Remembered Set;就可以保证不进行全局扫描,也不会有遗漏

总结

img

  • 在回收 Region 时,为了不进行全堆的扫描,引入了 Remembered Set
  • Remembered Set 记录了当前 Region 中的对象被哪个对象引用了
  • 这样在进行 Region 复制时,就不要扫描整个堆,只需要去 Remembered Set 里面找到引用了当前 Region 的对象
  • Region 复制完毕后,修改 Remembered Set 中对象的引用即可