update timer

Author: cch123

timer.md

@@ -139,7 +139,7 @@ type timersBucket struct {
 
 ### 四叉小顶堆性质
 
-四叉堆高度上比二叉堆要矮一些。直接孩子节点一定比父节点大，同一层的相邻四个节点是按从小到大排列的，但如果不相邻，那么就不遵循这样的关系，所以，下面这种情况是符合四叉小顶堆的性质的:
+四叉堆高度上比二叉堆要矮一些。一个节点的所有(最多有4个)孩子节点都比这个节点要大。一个节点的(只有一个)父节点一定比当前节点小。下面是填好值之后的一个典型的四叉堆:
 
 ```
                                                              ┌─────┐                                                         
@@ -152,7 +152,7 @@ type timersBucket struct {
                                                                 ▼                                                            
                                                     ┌─────┬─────┬─────┬─────┐                                                
                                                     │     │     │     │     │                                                
-                                                    │  1  │  2  │  7  │  11 │                                                
+                                                    │  3  │  2  │  2  │  10 │                                                
                                                     └─────┴─────┴─────┴─────┘                                                
                                                        │     │     │     │                                                   
                                                        │     │     │     │                                                   
@@ -164,13 +164,13 @@ type timersBucket struct {
    ▼                                     │                             │                               ▼                     
 ┌─────┬─────┬─────┬─────┐                │                             │                            ┌─────┬─────┬─────┬─────┐
 │     │     │     │     │                ▼                             ▼                            │     │     │     │     │
-│  13 │  15 │  17 │  20 │             ┌─────┬─────┬─────┬─────┐     ┌─────┬─────┬─────┬─────┐       │ 12  │ 13  │ 15  │  16 │
+│  20 │  4  │  5  │  13 │             ┌─────┬─────┬─────┬─────┐     ┌─────┬─────┬─────┬─────┐       │ 99  │ 13  │ 11  │  12 │
 └─────┴─────┴─────┴─────┘             │     │     │     │     │     │     │     │     │     │       └─────┴─────┴─────┴─────┘
-                                      │ 12  │ 14  │ 15  │  16 │     │ 8   │ 9   │ 11  │  12 │                                
+                                      │ 12  │ 14  │ 15  │  16 │     │ 3   │ 10  │ 3   │  3  │                                
                                       └─────┴─────┴─────┴─────┘     └─────┴─────┴─────┴─────┘                                
 ```
 
-当然，二叉小顶堆同一层的大小关系也是不确定的。只是四叉堆在同一层还有这种特殊的相邻的情况。
+和二叉堆一样，对于一个节点的要求只有和其父节点以及子节点之间的大小关系。相邻节点之间没有任何关系。
 
 ### 时间堆插入
 
@@ -379,8 +379,13 @@ func timerproc(tb *timersBucket) {
 
 ```go
 func siftupTimer(t []*timer, i int) {
+    // 先暂存当前刚插入到数组尾部的节点
     when := t[i].when
     tmp := t[i]
+
+    // 从当前插入节点的父节点开始
+    // 如果最新插入的那个节点的触发时间要比父节点的触发时间更早
+    // 那么就把这个父节点下移
     for i > 0 {
         p := (i - 1) / 4 // parent
         if when >= t[p].when {
@@ -390,6 +395,9 @@ func siftupTimer(t []*timer, i int) {
         t[i].i = i
         i = p
     }
+
+    // 如果发生过移动，用最新插入的节点
+    // 覆盖掉最后一个下移的父节点
     if tmp != t[i] {
         t[i] = tmp
         t[i].i = i
@@ -405,8 +413,8 @@ func siftdownTimer(t []*timer, i int) {
     when := t[i].when
     tmp := t[i]
     for {
-        c := i*4 + 1 // left child
-        c3 := c + 2  // mid child
+        c := i*4 + 1 // 最左孩子节点
+        c3 := c + 2  // 第三个孩子节点
         if c >= n {
             break
         }
@@ -440,6 +448,60 @@ func siftdownTimer(t []*timer, i int) {
 }
 ```
 
+这段代码实在是称不上优雅，其实就是在所有孩子节点中先找出最小的那一个，如果最小的比当前要下移的节点还要大，那么就 break。反之，则将最小的节点上移，然后再判断这个最小节点的 4 个子节点是否都比要下移的节点大。以此类推。用图来模拟一下这个过程:
+
+```
+                         │            ┌───┐                                       
+                         │            │ 5 │                                       
+                         │            └───┘                                       
+                         │              │                                         
+                         │        ┌─────┘                                         
+                         │        ▼                                               
+                         │      ┌───┬───┳━━━┳───┐                                 
+                         │      │ 7 │ 3 │ 2 ┃ 6 │                                 
+                         │      └───┴───┻━━━┻───┘                                 
+┌───────────────────┐    │                │                                       
+│   siftdownTimer   │    │                └──────────┐                            
+└───────────────────┘    │                           ▼                            
+     .─────────.         │                         ┌───┬───┬───┳━━━┓              
+    (  before   )        │                         │ 4 │ 5 │ 9 │ 3 ┃              
+     `─────────'         │                         └───┴───┴───┻━━━┛              
+                         │                                       │                
+                         │                                       └─────────────┐  
+                         │                                                     ▼  
+                         │                                       ┌───┬───┬───┳━━━┓
+                         │                                       │ 6 │ 6 │ 6 │ 4 ┃
+                         │                                       └───┴───┴───┻━━━┛
+                         │                                                        
+                         ▼                                                        
+                                                                                  
+                                                                                  
+                                                                                  
+                         │            ┌───┐                                       
+                         │            │ 2 │                                       
+                         │            └───┘                                       
+                         │              │                                         
+                         │        ┌─────┘                                         
+                         │        ▼                                               
+                         │      ┌───┬───┳━━━┳───┐                                 
+                         │      │ 7 │ 3 │ 3 ┃ 6 │                                 
+                         │      └───┴───┻━━━┻───┘                                 
+┌───────────────────┐    │                │                                       
+│   siftdownTimer   │    │                └──────────┐                            
+└───────────────────┘    │                           ▼                            
+    .─────────.          │                         ┌───┬───┬───┳━━━┓              
+   (   after   )         │                         │ 4 │ 5 │ 9 │ 4 ┃              
+    `─────────'          │                         └───┴───┴───┻━━━┛              
+                         │                                       │                
+                         │                                       └─────────────┐  
+                         │                                                     ▼  
+                         │                                       ┌───┬───┬───┳━━━┓
+                         │                                       │ 6 │ 6 │ 6 │ 5 ┃
+                         │                                       └───┴───┴───┻━━━┛
+                         │                                                        
+                         ▼                                                        
+```
+
 ### time.After
 
 ```go