术语
赋值器（mutator）：可以理解为应用线程
回收器（collector）：可以理解为GC线程
并发（concurrent）：多个回收器与赋值器线程同时执行
并行（parallel）：赋值器线程暂停，多个回收器同时执行
三色抽象
白色：对象尚未被回收器访问
灰色：对象已被回收器访问，但未完成对其域进行扫描（可能指向白色对象）
黑色：对象已被回收器访问，且其所以域都已被扫描（黑色对象不可能直接指向白色对象）
回收波面
把回收过程看作已以灰色对象为“波面”并不断向前推进的过程，波面之后为黑色对象，之前为白色对象。随着波面的推进最终所有活对象都变成黑色。
并发回收的正确性
安全性：回收器至少保留所有可达对象
存活性：一个回收周期最终必须能结束
破坏安全性的条件
（某可达对象最终仍是白色对象，即造成对象丢失）
1. 赋值器将一个指向白色对象的引用写入黑色对象
2. 从灰色对象出发，最终能到达该白色的路径都被赋值器破坏
只需要保证上面两种情况不同时出现。
赋值器颜色
在回收过程中我们将赋值器看做对象，看赋值器根是否允许持有白色对象的引用。
允许持有：灰色赋值器
不允许持有：黑色赋值器
赋值器颜色对回收周期的结束产生影响，灰色赋值器在回收结束之前需重新扫描赋值器的根。
方案
增量更新（incremental update）
把赋值器对已知存活的对象的增量修改通知给回收器，产生额外需要扫描的对象（被写入黑色对象的引用指向的对象），回收器保守的将其当做存活对象。
写屏障拦截赋值器将白色引用写入黑色对象的行为
读屏障拦截赋值器加载白色引用的行为
起始快照（snapshot at the beginning)
开始时刻保留存活对象的集合，当赋值器从灰色或者白色对象中删除白色引用时，写屏障将次行为通知回收器，回收器保守的将其目标对象当做存活对象
写屏障拦截赋值器从灰色或白色对象中删除灰色或白色引用的行为
不同回收算法的使用方案
CMS
基于增量更新方案（灰色赋值器）, 写屏障拦截引用的写操作（将白色引用写入黑色对象的行为）
function write(srcObject, property, newReference){
srcObject.property = newReference
if isBlack(srcObject)
mark(newReference -> object)
}
G1
基于起始快照方案（黑色赋值器）, 写屏障拦截引用的写操作（从灰色或白色对象中删除灰色或白色引用的行为，即对白色或灰色对象域的重新复制）
function write(srcObject, property, newReference){
if isGrey(srcObject) || isWhite(srcObject)
mark(srcObject.property -> object)
srcObject.property = newReference
}
ZGC
基于增量更新方案（黑色赋值器），读屏障拦截引用的加载操作
function read(srcObject, property){
reference = srcObject.property;
if isGrey(srcObject) || isWhite(srcObject)
mark(reference -> object)
return reference;
}
