[轉]Golang定時器陷阱

原文:https://segmentfault.com/a/1190000017013443

————————————————————————————————————

 

所謂陷阱,就是它不是你認爲的那樣,這種認知誤差可能讓你的軟件留下隱藏Bug。剛好Timer就有3個陷阱,我們會講 1)Reset的陷阱和 2)通道的陷阱,3)Stop的陷阱與Reset的陷阱類似,自己探索吧。

Reset的陷阱在哪

Timer.Reset()函數的返回值是bool類型,我們看一個問題三連:

  1. 它的返回值代表什麼呢?
  2. 我們想要的成功是什麼?
  3. 失敗是什麼?
  • 成功:一段時間之後定時器超時,收到超時事件。
  • 失敗:成功的反面,我們收不到那個事件。對於失敗,我們應當做些什麼,確保我們的定時器發揮作用。

Reset的返回值是不是這個意思?

<!--more-->

通過查看文檔和實現,Timer.Reset()的返回值並不符合我們的預期,這就是誤差。它的返回值不代表重設定時器成功或失敗,而是在表達定時器在重設前的狀態:

  • 當Timer已經停止或者超時,返回false。
  • 當定時器未超時時,返回true。

所以,當Reset返回false時,我們並不能認爲一段時間之後,超時不會到來,實際上可能會到來,定時器已經生效了。

跳過陷阱,再遇陷阱

如何跳過前面的陷阱,讓Reset符合我們的預期功能呢?直接忽視Reset的返回值好了,它不能幫助你達到預期的效果。

真正的陷阱是Timer的通道,它和我們預期的成功、失敗密切相關。我們所期望的定時器設置失敗,通常只和通道有關:設置定時器前,定時器的通道Timer.C中是否已經有數據。

  • 如果有,我們設置的定時器失敗了,我們可能讀到不正確的超時事件。
  • 如果沒有,我們設置的定時器成功了,我們在設定的時間得到超時事件。

接下來解釋爲何失敗只與通道中是否存在超時事件有關。

定時器的緩存通道大小隻爲1,無法多存放超時事件,看源碼。

// NewTimer creates a new Timer that will send
// the current time on its channel after at least duration d.
func NewTimer(d Duration) *Timer {
    c := make(chan Time, 1) // 緩存通道大小爲1
    t := &Timer{
        C: c,
        r: runtimeTimer{
            when: when(d),
            f:    sendTime,
            arg:  c,
        },
    }
    startTimer(&t.r)
    return t
}

定時器創建後是單獨運行的,超時後會向通道寫入數據,你從通道中把數據讀走。當前一次的超時數據沒有被讀取,而設置了新的定時器,然後去通道讀數據,結果讀到的是上次超時的超時事件,看似成功,實則失敗,完全掉入陷阱。

跨越陷阱,確保成功

如果確保Timer.Reset()成功,得到我們想要的結果?Timer.Reset()前清空通道。

  • 當業務場景簡單時,沒有必要主動清空通道。比如,處理流程是:設置1次定時器,處理一次定時器,中間無中斷,下次Reset前,通道必然是空的。
  • 當業務場景複雜時,不確定通道是否爲空,那就主動清除。
// 方法1
if len(Timer.C) > 0{
    <-Timer.C
}
Timer.Reset(time.Second)

經過和@周志榮_9447的討論和思考,更加合理的做法還是下面這樣:

// 方法2
if !Timer.Stop() && len(Timer.C) > 0{
    <-Timer.C
}
Timer.Reset(time.Second)

定時器的運行和len(Timer.C)的判斷是在不同的協程中,當判斷的時候通道大小可能爲0,但當執行Reset()的前的這段時間,舊的定時器超時,通道中存在超時時間,再執行Reset()也達不到預期的效果。
方法2纔是合理的方法。先執行Stop(),可以確保舊定時器已經停止,不會再向通道中寫入超時事件,就可解決上面的問題。Stop()返回false並不是代表,通道中一定存在超時事件,所以還需使用len(Timer.C) > 0進行判斷再決定是否清空通道。

測試代碼

package main

import (
    "fmt"
    "time"
)

// 不同情況下,Timer.Reset()的返回值
func test1() {
    fmt.Println("第1個測試:Reset返回值和什麼有關?")
    tm := time.NewTimer(time.Second)
    defer tm.Stop()

    quit := make(chan bool)

    // 退出事件
    go func() {
        time.Sleep(3 * time.Second)
        quit <- true
    }()

    // Timer未超時,看Reset的返回值
    if !tm.Reset(time.Second) {
        fmt.Println("未超時,Reset返回false")
    } else {
        fmt.Println("未超時,Reset返回true")
    }

    // 停止timer
    tm.Stop()
    if !tm.Reset(time.Second) {
        fmt.Println("停止Timer,Reset返回false")
    } else {
        fmt.Println("停止Timer,Reset返回true")
    }

    // Timer超時
    for {
        select {
        case <-quit:
            return

        case <-tm.C:
            if !tm.Reset(time.Second) {
                fmt.Println("超時,Reset返回false")
            } else {
                fmt.Println("超時,Reset返回true")
            }
        }
    }
}

func test2() {
    fmt.Println("\n第2個測試:超時後,不讀通道中的事件,可以Reset成功嗎?")
    sm2Start := time.Now()
    tm2 := time.NewTimer(time.Second)
    time.Sleep(2 * time.Second)
    fmt.Printf("Reset前通道中事件的數量:%d\n", len(tm2.C))
    if !tm2.Reset(time.Second) {
        fmt.Println("不讀通道數據,Reset返回false")
    } else {
        fmt.Println("不讀通道數據,Reset返回true")
    }
    fmt.Printf("Reset後通道中事件的數量:%d\n", len(tm2.C))

    select {
    case t := <-tm2.C:
        fmt.Printf("tm2開始的時間: %v\n", sm2Start.Unix())
        fmt.Printf("通道中事件的時間:%v\n", t.Unix())
        if t.Sub(sm2Start) <= time.Second+time.Millisecond {
            fmt.Println("通道中的時間是重新設置sm2前的時間,即第一次超時的時間,所以第二次Reset失敗了")
        }
    }

    fmt.Printf("讀通道後,其中事件的數量:%d\n", len(tm2.C))
    tm2.Reset(time.Second)
    fmt.Printf("再次Reset後,通道中事件的數量:%d\n", len(tm2.C))
    time.Sleep(2 * time.Second)
    fmt.Printf("超時後通道中事件的數量:%d\n", len(tm2.C))
}

func test3() {
    fmt.Println("\n第3個測試:Reset前清空通道,儘可能通暢")
    smStart := time.Now()
    tm := time.NewTimer(time.Second)
    time.Sleep(2 * time.Second)
    
    // 停掉定時器再清空
    if !tm.Stop() && len(tm.C) > 0 {
        <-tm.C
    }
    tm.Reset(time.Second)

    // 超時
    t := <-tm.C
    fmt.Printf("tm開始的時間: %v\n", smStart.Unix())
    fmt.Printf("通道中事件的時間:%v\n", t.Unix())
    if t.Sub(smStart) <= time.Second+time.Millisecond {
        fmt.Println("通道中的時間是重新設置sm前的時間,即第一次超時的時間,所以第二次Reset失敗了")
    } else {
        fmt.Println("通道中的時間是重新設置sm後的時間,Reset成功了")
    }
}

func main() {
    test1()
    test2()
    test3()
}
如果這篇文章對你有幫助,請點個贊/喜歡,讓我知道我的寫作是有價值的,感謝。
閱讀 4k  發佈於 2018-11-14
 

2 條評論
jamsonzan : 

方法2也是有問題的 len(tm.C)==0時可能是因爲sendTime協程還沒執行,這種情況下不執行<-tm.C就出問題了。
其實就是要保證tm.Stop()==false時執行且只執行一次<-tm.C,這個問題太好解決了。

  回覆  4月11日
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章