6.4.2 增量并发标记算法