CMS垃圾收集器专题

一，简介

CMS(concurrent mark sweep)是一款并发的、使用标记-清除算法的垃圾回收器。在jdk1.5中已经开始使用了,2004年9月30日,JDK1.5发布。CMS设计的目标就是获取最低停顿时间(stop the world停顿时间),它是基于标记-清除算法实现的。常用的场景是互联网网站(对服务响应要求较高),它是一个老年代垃圾收集器,可以和Serial收集器,Parallel New收集器配合使用。当并行模式(concurrent mode failure)失败时CMS会退化成Serial Old.

二，使用场景

GC过程短暂停，适合对时延要求较高的服务，用户线程不允许长时间的停顿。

三，实现机制

1、不压缩老年代，而是使用空闲列表来管理回收空间。

2、大部分标记清理工作与应用程序并发执行。

四，CMS收集器的GC周期

• 初始标记:只标记和GC Roots能直连的对象,速度快,会发生(stop the world)
• 并发标记:和应用线程并发执行,遍历初始标记阶段标记过的对象,标记这些对象的可达对象。
• 重新标记:由于并发标记是和应用线程是并发执行的,所以有些标记过的对象发生了变化。这个过程比初始标记用时长,但是比并发标记阶段用时短。会发生(stop the world)
• 并发清除:和应用线程一起运行。基于标记对象,直接清理对象。

1，初始标记

初始化标记阶段，是CMS GC的第一个阶段，也是标记阶段的开始。主要工作是标记可直达的存活对象。

主要标记过程

• 从GC Roots遍历可直达的老年代对象
• 遍历被新生代存活对象所引用的老年代对象

程序执行情况

• 支持单线程或并行标记。
• 发生stop-the-world，暂停所有应用线程。

在java中，可作为GC Roots的对象有：

1.虚拟机栈（栈帧中的本地变量表）中引用的对象；

2.方法区中的类静态属性引用的对象；

3.方法区中常量引用的对象；

2，并发标记

并发标记阶段，是CMS GC的第二个阶段。

在该阶段，GC线程和应用线程将并发执行。也就是说，在第一个阶段（Initial Mark）被暂停的应用线程将恢复运行。

并发标记阶段的主要工作是，通过遍历第一个阶段（Initial Mark）标记出来的存活对象，继续递归遍历老年代，并标记可直接或间接到达的所有老年代存活对象。

由于在并发标记阶段，应用线程和GC线程是并发执行的，因此可能产生新的对象或对象关系发生变化，例如：

• 新生代的对象晋升到老年代；
• 直接在老年代分配对象；
• 老年代对象的引用关系发生变更；

对于这些对象，需要重新标记以防止被遗漏。为了提高重新标记的效率，本阶段会把这些发生变化的对象所在的Card标识为Dirty，这样后续就只需要扫描这些Dirty Card的对象，从而避免扫描整个老年代。

3，并发预清理

在并发预清理阶段，将会重新扫描前一个阶段标记的Dirty对象（新生代晋升的对象、新分配到老年代的对象以及在并发阶段被修改了的对象），并标记被Dirty对象直接或间接引用的对象，然后清除Card标识。（清理脏卡对象）

4，可中止的并发预清理

本阶段尽可能承担更多的并发预处理工作，从而减轻在重新标记阶段的stop-the-world。

在该阶段，主要循环的做两件事：

• 处理 From 和 To 区的对象，标记可达的老年代对象；
• 和上一个阶段一样，扫描处理Dirty Card中的对象。

5，重新标记

预清理阶段也是并发执行的，并不一定是所有存活对象都会被标记，因为在并发标记的过程中对象及其引用关系还在不断变化中。

因此，需要有一个stop-the-world的阶段来完成最后的标记工作，这就是重新标记阶段（CMS标记阶段的最后一个阶段）。主要目的是重新扫描之前并发处理阶段的所有残留更新对象。

主要工作：

• 遍历新生代对象，重新标记；（新生代会被分块，多线程扫描）
• 根据GC Roots，重新标记；
• 遍历老年代的Dirty Card，重新标记。这里的Dirty Card，大部分已经在Preclean阶段被处理过了。

6，并发清理

并发清理阶段，主要工作是清理所有未被标记的死亡对象，回收被占用的空间。

7，并发重置

并发重置阶段，将清理并恢复在CMS GC过程中的各种状态，重新初始化CMS相关数据结构，为下一个垃圾收集周期做好准备。

会造成stoptheworld暂停的阶段为，初始标记，重新标记，其余都与应用线程并发执行。

五，CMS存在的问题

1.对CPU资源敏感

2.无法处理浮动垃圾

CMS并发清理时，用户程序的运行也会产生新的垃圾（一边打扫房间，一遍丢新的垃圾），但是这部分垃圾产生于标记过程之后，因此只好留在下次GC时清理，这种垃圾被称为浮动垃圾（Floating Garbage）。

3.空间碎片

由于CMS采用的是标记-清理算法,所以不可避免会有内存碎片问题。

这是「标记-清理」算法的通病，空间碎片过多时，将会给大对象分配带来很大麻烦，往往会出现老年代还有很大空间剩余，但是无法找到足够大的连续空间来分配当前对象，不得不提前触发一次Full GC。

由于空间碎片的存在，CMS各阶段的stop the world 时长不可知