4、垃圾收集算法和垃圾收集器

垃圾收集算法

  标记清除
    定义：标记需要回收的对象，在内存回收的时候，只需要回收掉已标记的对象即可。
    适用场景：适用于大量对象存活的场景。
    缺点：
      1、如果堆中有大量对象需要回收，会导致标记和清除过程的执行效率降低。
      2、内存碎片化。标记清除后会有大量的内存碎片，内存碎片太多会导致在需要分配大对象的情况下没有足够的连续内存分配。

                  标记清除示意图

  标记复制
    定义：将内存一分为二，每次只使用其中一块，在内存回收的时候，只需要将存活的对象移动到另一块空闲内存上，然后将已使用的内存清理掉即可。
    适用场景：适用于大量对象可回收的情况下。
    缺点：每次只使用其中一块，浪费。

                  标记复制示意图

  标记整理
    定义：对需要回收对象进行标记，在内存回收的时候，会将存活对象向内存空间一端移动，然后清除掉边界以外的内存。
    适用场景：适用于大量对象存活的场景。
    缺点：移动和更新对象的引用对性能有较大影响，而且移动过程需要STW，即停止用户程序。

                  标记整理示意图

垃圾收集器

  Serial：单线程收集器，基于标记-复制算法。回收会产生STW。通过-XX:+UseSerialGC可以设置使用Serial垃圾收集器。

  ParNew：Serial的多线程版本，基于标记-复制算法。回收会产生STW。

  Parallel Scavenge：并行收集器，它的目标是提供可控制的吞吐量。基于标记-复制。回收会产生STW，但是时间会很短。吞吐量=运行用户代码时间/(运行用户代码时间+垃圾回收时间)，比如运行用户代码用了99分钟，垃圾回收时间用了1分钟，那么吞吐量=99/99+1。
    吞吐量相关参数：
      -XX:MaxGCPauseMillis：最大的GC暂停时间。收集器保证回收的时间尽量不大于该值。不过它是以牺牲新生代空间和吞吐量为代价的，新生代空间设置的越小，回收时间就越快，但同时GC的频率也会越多。
      -XX:GCTimeRatio：垃圾收集时间占总时间的比率。公式：比率=1/(1+n)，如果该值设置为99，那么即允许1%的垃圾收集时间。
      -XX:+UseAdaptiveSizePolicy：自适应调节策略，虚拟机会根据当前系统的运行情况收集性能监控信息，动态调整这些参数(新生代-Xmn、Eden区、Survivor区、晋升老年代大小)以提供最合适的停顿时间和最大吞吐量。

  CMS(Concurrent Mark Sweep)：并发标记清除，是一种以最短回收停顿时间为目标的收集器，基于标记-清除算法。整个过程大概分为：
    1、初始标记：单线程执行，产生STW，时间很短，主要是标记GC Roots能直接关联到的对象
    2、并发标记：并发执行，从GC Roots开始对堆中对象进行可达性分析，找出要会受到额对象。
    3、重新标记：产生STW，在并发标记过程中可能会产生新的垃圾对象，需要重新标记。
    4、并发清除：并发执行，清除已死亡的对象。
  并发清除过程是和用户程序同时进行的，在此期间，用户程序会产生新的垃圾对象，我们称之为"浮动垃圾"，这些垃圾会在下次GC时被回收掉。CMS收集器会为用户程序预留一些内存，默认情况下，当老年代使用了92%内存后，CMS垃圾收集器开始回收。如果预留的内存无法满足用户程序新分配的对象时，会产生并发失败，此时会启动备选预案：使用Serial Old收集器来回收老年代。
  标记清除后会产生大量的内存碎片，可以通过-XX:+UseCMSCompactAtFullCollection和-XX:+CMSFullGCsBeforeCompaction来解决
    -XX:+UseCMSCompactAtFullCollection：在FGC时是否使用压缩
    -XX:+CMSFullGCsBeforeCompaction：多少次FCG后，进行一次压缩整理，默认为0，即每次FCG都进行一次压缩

  G1(Gabarge First)：是一种可预测停顿时间的收集器，可以通过-XX:MaxGCPauseMillis设置，默认是200。它把堆分成大小相等的独立区域(region)，每个堆根据需要可以是Eden空间、Survivor空间或者老年代空间。如果一个对象的大小超过了region区的一半，就会被认为是大对象，会被分派到Humongous区域。如果对象大小超过了整个region的大小，将会被存在在N个连续的Humongous区域中。每个region的大小可以通过-XX:G1HeapRegionSize来设置，取值1M~32M，且为2的幂次方。
    1、初始标记：单线程执行，产生STW，时间很短，主要是标记GC Roots能直接关联到的对象
    2、并发标记：并发执行，从GC Roots开始对堆中对象进行可达性分析，找出存活对象。
    3、最终标记：产生STW，修正并发标记阶段因用户线程继续运行而导致标记发生变化的那部分对象的标记记录。
    4、筛选回收：负责更新region的统计数据，对各个region的回收价值和成本进行排序，根据用户所期望的停顿时间来制定回收计划。

  shenandoah：低延迟的垃圾收集器，该收集器只有Open JDK 12支持，OracleJDK是不支持的。默认不使用分代收集，工作过程：
    1、初始标记：只标记与GC Roots直接关联的对象。产生STW(Stop The World)，停顿时间和GC Roots数量有关
    2、并发标记：遍历对象图，标记出存活对象。
    3、最终标记：产生短暂的STW，修正并发标记阶段因用户线程继续运行而导致标记发生变化的那部分对象的标记记录。并在这个阶段统计出回收价值最高的Region，将这些Region构成一组回收集。
    4、并发清理：用于清理那些整个区域内连一个存活对象都没有找到的region。
    5、并发回收：将回收集里的存活对象复制一份到其他未被使用的Region中。由于是并发进行，用户线程仍然可能不停的对移动的对象进行读写访问，shenandoah采用转发指针和读屏障实现并发
    6、初始引用更新：把堆中所有旧对象的引用地址修正到复制后的新地址，叫做引用更新。该阶段并没有做什么具体的处理，会产生短暂的STW
    7、并发引用更新：将堆中所有旧对象的地址修正到复制后的新地址。
    8、最终引用更新：修正存在于GC Roots中的引用，会有短暂的停顿，停顿时间和GC Roots的数量有关。
    9、并发清理：回收没有存活对象的那些region。