垃圾回收器
一、什么是垃圾回收器
根据垃圾回收器这个名字我们可以知道，其主要作用是用来回收内存中已被判定无用的垃圾对象。但是垃圾回收器在扫描过程中，寻找并标记的其实是还在存活的对象。当查找完全部存活对象后将未标记的对象进行统一的回收。
对于一个垃圾回收器,它其实主要需要完成三件事情
- 分配内存：垃圾回收算法的设计往往决定了内存模型和内存分配的方式
- 确保存活对象不会受到垃圾回收的影响
- 回收垃圾对象
二、垃圾回收器的分类
JDK1到JDK13的发展历程中，一共出现了10种垃圾回收器：
如上图中垃圾回收器之间存在连线，则表示他们可以搭配使用。
每一种垃圾回收器都有各自的特点，没有最好的垃圾收集器，只有最适合的。我们可以根据他们之间不同的特点选择需要的垃圾回收器，甚至可以搭配使用，提升效率。
针对不同的垃圾回收器的特点 有一个概念比较容易搞混
并行，串行，并发之间的区别
首先通过一个很简单的比喻区分并行和串行之间的区别：
有一天小明要去银行注销掉一张许久不用的银行卡，因为这天是周六，银行办理业务的人非常多，大家需要通过排号系统按照不同的需求进行排队来办理自己的业务。
那么什么是串行呢？？
此时由于已经到中午12点，银行的业务人员大部分出去吃午饭了，此刻银行只开放了一个值班窗口，所有的人都要排队等候这一个值班窗口叫号。上一个办理业务的人如果没有办理完业务，下一个人需要一直等待。
那什么叫并行呢？？
过了午饭时间，银行因为工作人员的回归开放了其他的业务窗口，多个窗口可以在同一时间进行叫号并处理业务，虽然号码排在你前面的那个人的业务还没有处理完，但是随着其他窗口的空闲，你也能够被叫到号，这就是并行。
那么最后一个问题就是什么叫做并发呢
当排到你的时候，你突然想起要办理一张公积金联名卡，于是询问业务员是否可以在办理注销的同时申请一张新卡。业务员回答你由于他业务不熟练，无法做到办理注销的同时还能处理你申请新卡的业务，需要等办理注销结束后才能支持新卡的申请。这就是不支持并发，单次只能处理一种任务，无法做到通过任务排序分时执行不同的任务，达到并发。
而如果此时是个熟练地业务员呢，他可以再你注销的同时帮你完成申请新卡的业务，有序的完成两个你交代的任务，同时处理，这就是支持并发。
例子举得可能有些偏差，但是这三者之间的概念大致如此。
1. Serial（串行收集器）
特点：
1.Serial只会使用一个CPU或者一条GC线程进行垃圾回收，并且在垃圾回收过程中暂停其他工作线程。是clinet模式的默认回收器。
2.采用copy算法实现
3.单核CPU效率最高，适合Clinet模式（应用内存小，不会创建太多对象，因此垃圾回收时间较短，即使停掉业务线程也不会感到明显的停顿）
4.只有一条GC线程，避免了线程切换的开销
2.ParNew
ParNew就是Serial的多线程版本
特性
1.ParNew由多条GC线程并行的进行垃圾清理工作，清理过程中需要停掉所有的业务线程，但由于是多线程运作，其效率要高于serial
2.由于支持多线程运作，因此更适用于CPU较多的服务器环境。由于多线程之间的切换回造成额外的开销，因此在单CPU环境中表现并不如Serial。其默认开启线程数与CPU核数相同
3.采用COPY算法实现
3.Parallel Scavenge
1.并行多线程回收器，常用于新生代，追求CPU吞吐量的优化，能在较短的时间内完成指定的任务，因此适合不需要太多交互的后台运算。
吞吐量是指用户线程运行时间占CPU总时间的比例，其计算公式为：
吞吐量=运行用户代码时间/（运行用户代码时间+GC的时间)
吞吐量越高表示GC时间占比越低，用户体验越好
2.采用复制算法实现
（1）降低停顿时间的两种方式
1.在多CPU环境中使用多条GC线程，从而垃圾回收的时间减小，从而使用户线程STW的时间减小。
2.实现GC线程与用户线程并发运行，其所谓的并发指的其实是用户线程与GC线程交替运行，从而达到每次的停顿时间减小，用户的停顿感降低，单线程之间的不断切换也意味着需要额外的开销，从而垃圾回收和用户线程的总时间将会延长。
（2）Parallel Scavenge提供的参数
-XX:GCTimeRadio
直接设置吞吐量大小,GC时间占总时间比率.相当于是吞吐量的倒数
-XX:MaxGCPauseMillis
设置最大GC停顿时间
parallel 会根据这个值来决定新生代的大小，如果这个值越小，新生代就会越小，从而收集器就能以较短的时间来进行一次回收。
-XX:+UseAdaptiveSizePolicy
通过命令就能开启GC 自适应的调节策略(区别于ParNew).我们只要设置最大堆(-Xmx)和MaxGCPauseMillis或GCTimeRadio,收集器会自动调整新生代的大小、Eden和Survior的比例、对象进入老年代的年龄,以最大程度上接近我们设置的MaxGCPauseMillis或GCTimeRadio
4.Serial Old
Serial Old 收集器是Serial的老年代版本,他们都是单线程收集器,也就是垃圾收集时只启动一条GC线程,因此都适合客户端的应用,他们之间的主要区别其实就是Serial old常被用于老年代,其实现算法为mark-compact
5.Parallel Old
Parallel Old 收集器是PS收集器的老年代版本,一般他们搭配使用,追求CPU的吞吐量。
他们在垃圾手机时都是由多条GC线程并行执行，并暂停一切用户线程，使用mark-compact算法。
6.CMS （concurrent mark sweep）
CMS作用于老年代，是一种以获取最短停顿时间为目标的收集器。给予标记-清除算法实现。整个过程分为四步
1.初始标记
停止一切用户线程，因使用一条初始标记线程对所有与GC Roots关联的对象进行标记。
2.并发标记
使用多条并发标记线程并行执行，并与用户线程并发执行。此过程进行可达性分析，标记出所有废弃的对象，速度很慢。
3.重新标记
使用多条线程并行执行，将刚才并发过程中新出现的废弃对象标出来。
4.并发清除
使用一条并发清除线程，和业务线程并发执行，清除无用对象，这个过程非常耗时。
CMS的特点
- 吞吐量低
由于CMS在垃圾收集过程使用用户线程和GC线程并发执行，从而线程之间切换会有额外的开销，因此CPU吞吐量就不如在业务线程全部通知的情况下高。 - 无法处理浮动垃圾
由于垃圾清理过程中，可能会产生浮动垃圾，当浮动垃圾过多时，可能会导致频繁的GC。
浮动垃圾：在并发标记的情况下，GC线程标记对象未存活对象后用户线程不再会用此对象，该对象此时没有任何的引用，这种对象被称为浮动垃圾
- 使用mark-sweep算法实现没会产生内存碎片
可以通过开启-XX:+UseCMSCompactAtFullCollection参数是每次fgc后进行一次内存压缩。还可以配置-XX:CMSFullGCsBeforeCompaction告诉CMS经历多少次FGC后进行一次内存整理
7.G1（GarBage-First）
G1可以看做是CMS的加强版。G1的算法流程和CMS相似，其所不同的有：
1.G1通过mark-compact算法实现，这意味着每次GC结束获得的都是连续的空间。
2.G1虽然依旧采用了分代的处理方式，但是他的内存模型有了巨大的变化。他的内存基本结构被分成了一块又一块的Region。G1负责维护一个Region的列表。每次需要进行GC的时候，他首先会评估每个Region的回收价值，然后回收掉价值最大的Region，从而获得最大的GC回收效率。
（1）G1的回收过程
- 初始标记：
标记与GC Root对象直接关联的对象，停止所有业务线程（STW），只启动一条初始标记线程，这个过程很快。 - 并发标记：
进行全面的可达性分析，开启一条并发标记线程记性有用对象标记，此线程与用户线程并行执行，这个过程较长。 - 最终标记
标记出并发标记过程中业务线程产生的浮动垃圾，停止所有业务线程（STW），执行多条最终标记线程。 - 筛选回收
回收无用对象，此时也是STW状态，使用多条筛选回收线程执行。
（2）G1的特性
- CMS因为并发引起的问题G1同样也存在，但是G1可以避免因为Mark-Sweep算法引起的内存不连续问题。
- G1由于可以在用户指定时间范围内进行垃圾回收，所以具备软实时的特性。
- 如上图，G1拥有一个特殊的区域叫做Humongous。
什么事Humongous：如果一个对象占用的空间达到或者超过了分区大小的50%以上，G1收集器会认为这是一个巨型对象。这种巨型对象会被默认分配到老年代，但是如果这个巨型对象只会短期存在，就会影响G1的垃圾回收效率，为了解决这个问题，G1专门划分了Humongous区域来存放巨型对象，当一个Humongous区域存放不下一个巨型对象时，G1会寻找连续的H分区来存储，有时为了寻找连续的H区，不得不启动FULL GC。
8.小结
上述七种垃圾回收器中分别应用于不同的场景。其中Serial，parNew，parallel scavenger（PS）三种回收器作用于新生代，通过copy算法实现。其中Serial适合单核的Client端，ParNew适合多核服务器。而PS和ParNew类似，只不过更加注重吞吐量。另外，PS不能与CMS一起搭配使用。
Serial Old,ParNew Old和CMS常用来针对老年代的回收。Serial Old 采用的都是Mark-Compact算法实现，而CMS使用的是Mark-Sweep算法，因此会产生内存碎片。
G1是一个横跨新生代和老年代的处理器，他区别于上述回收器的分代模型的是采用了全新的分区模型。通过region的划分，每个区域都可以充当新生代或者老年代。G1采用的Mark-compact算法，不会产生内存碎片。