doc: 阅读三色标记相关文档

jvm/深入理解java虚拟机.md

@@ -34,6 +34,9 @@
         - [基于复制算法的虚拟机新生代内存划分](#基于复制算法的虚拟机新生代内存划分)
       - [标记-整理算法](#标记-整理算法)
       - [分代收集算法](#分代收集算法)
+      - [三色标记算法](#三色标记算法)
+        - [三色标记算法在并发标记时的缺陷](#三色标记算法在并发标记时的缺陷)
+        - [CMS对该问题的解决方法](#cms对该问题的解决方法)
     - [Hotspot算法实现](#hotspot算法实现)
       - [枚举根节点](#枚举根节点)
         - [OopMap](#oopmap)
@@ -308,6 +311,23 @@ Java虚拟机规范并不强制要求对方法区进行垃圾回收，并且在
   - 在新生代，存活对象较少，复制的目标区的内存占比也可以划分的更少，并且较少存活对象带来的复制成本也较低
 - 在老年代，对象存活率更高，并且没有额外的内存空间来对齐进行担保，故而不应使用复制算法，而是应当采用`标记-清除`算法或`标记-整理`算法来进行回收
 
+#### 三色标记算法
+为了减少垃圾回收过程对于用户线程的阻塞，引入了三色标记算法。三色标记算法在标记垃圾的过程中将对象分为了三种不同的状态：
+- 黑：黑色代表该对象及其所有引用已经被完全扫描，被标记为黑色代表该对象不会再次被扫描
+- 白：白色代表该对象从未被扫描，如果标记过程结束后，仍然处于白色状态的对象将会被视为垃圾
+- 灰：灰色代表该对象已经扫描过但是没有完全扫描，未来还会对该对象进行扫描
+
+##### 三色标记算法在并发标记时的缺陷
+如果在采用三色标记算法的同时并发的执行用户线程，用户线程在可达性分析过程中对对象进行标记时，仍然能改变对象之间的引用关系，那么可能会出现如下问题：
+- 浮动垃圾（多标）：假如一个对象已经被标记为黑色/灰色、可达，但是用户线程后续断开了其他对象到该对象的引用，该对象实际应当被回收，但是本次仍然会存活，得等待到下一阶段再次回收
+- 对象消失（漏标）：除此之外，还会出现对象消失的问题，假设用户线程新增了黑色对象到白色对象的引用，那么黑色对象不会再被重新扫描，此时白色对象在本次垃圾回收之后将会被判定为应回收，即使其仍然被黑色对象所引用，这将造成对象消失的问题
+
+##### CMS对该问题的解决方法
+CMS为了解决该问题，其采用了如下方案：
+- 当为黑色状态的对象创建新引用时，对象将会重新变为灰色（通过写屏障实现）
+
+> 写屏障是垃圾回收器在应用线程修改对象引用时，插入的一段逻辑hook，其类似于拦截器，分为pre-write barrier和post-write barrier
+
 ### Hotspot算法实现
 #### 枚举根节点
 在可达性分析中，需要通过GC Roots来查找引用链。可以作为GC Roots的节点有：

regular expression/正则进阶语法.md

@@ -1,3 +1,14 @@
+- [正则表达式](#正则表达式)
+  - [语法](#语法)
+    - [No Capturing Group `(?:regex)`](#no-capturing-group-regex)
+    - [Named Caputure Group `(?<name>regex)`](#named-caputure-group-nameregex)
+    - [Atomic Grouping `(?>regex)`](#atomic-grouping-regex)
+    - [Negative Lookahead `(?!regex)`](#negative-lookahead-regex)
+    - [Positive Lookahead `(?=regex)`](#positive-lookahead-regex)
+    - [Negative Lookbehind `(?<!regex)`](#negative-lookbehind-regex)
+    - [Positive Lookbehind \`(?\<=regex)](#positive-lookbehind-regex)
+    - [不包含某表达式的语法](#不包含某表达式的语法)
+
 # 正则表达式
 ## 语法
 ### No Capturing Group `(?:regex)`