func (wg *WaitGroup) Add(delta int)
func (wg *WaitGroup) Done()
func (wg *WaitGroup) Wait()

type WaitGroup struct {
   // 避免復制
   noCopy noCopy
   // 64位環境下，高32位是計數值，低32位記錄waiter的數量
   state1 uint64
   // 用于信號量
   state2 uint32
}

func (wg *WaitGroup) Add(delta int) {
   // 獲取狀態值，信號量
   statep, semap := wg.state()
   // 將參數delta左32位，加到statep中，即給計數值加上delta
   state := atomic.AddUint64(statep, uint64(delta)<<32)
   // 加后的計數值
   v := int32(state >> 32)
   // waiter的數量
   w := uint32(state)
   // 加后不能是負值
   if v < 0 {
      panic( "sync: negative WaitGroup counter" )
   }
   // 有waiter的情況下，當前協程又加了計數值，panic
   // 即有waiter的情況下，不能再給waitgroup增加計數值了
   if w != 0 && delta > 0 && v == int32(delta) {
      panic( "sync: WaitGroup misuse: Add called concurrently with Wait" )
   }
   // 如果加完后v大于0，或者加完后v等于0，但沒有等待者，直接返回
   if v > 0 || w == 0 {
      return
   }
   // 接下來就是v等于0，且w大于0的情況
   // 再次檢查是否有Add和Wait并發調用的情況
   if *statep != state {
      panic( "sync: WaitGroup misuse: Add called concurrently with Wait" )
   }
   // 將計數值和waiter數量清0
   *statep = 0
   // 喚醒所有的waiter
   for ; w != 0; w-- {
      runtime_Semrelease(semap, false, 0)
   }
}

func (wg *WaitGroup) Done() {
   wg.Add(-1)
}

func (wg *WaitGroup) Wait() {
   statep, semap := wg.state()
   for {
      state := atomic.LoadUint64(statep)
      // v：計數值
      v := int32(state >> 32)
      w := uint32(state)
      // 如果計數值為0，自己不需要等到，直接返回
      if v == 0 {
         return
   }
      // 增加waiter計數值
 if atomic.CompareAndSwapUint64(statep, state, state+1) {
         // 自己在信號量上阻塞
         runtime_Semacquire(semap)
         // 檢查Waitgroup是否在wait返回前被重用
         if *statep != 0 {
            panic( "sync: WaitGroup is reused before previous Wait has returned" )
         }
         return
      }
   }
}