Go语言中的定时器

定时器

Go的定时器是在经过一段时间后做一些事情,位于标准库的time包。主要是time.Timer, time.Ticker和看起来不太明显的定时器time.Sleep。由于从官方文档中不能清楚地知道这些定时器是怎么实现的,所以一些人就会认为每个定时器都会有一个自己的goroutine直到时间到了才退出。这是用最简单的方式来实现的。我们可以用一个小程序来验证一下。

package main

import (
    "fmt"
    "os"
    "runtime/debug"
    "time"
)

func main() {
    debug.SetTraceback("system")
    if len(os.Args) == 1 {
        panic("before timers")
    }
    for i := 0; i < 10000; i++ {
        time.AfterFunc(time.Duration(5*time.Second), func() {
            fmt.Println("Hello!")
        })
    }
    panic("after timers")
}

如果没有参数这个程序会在定时器之前打印出所有goroutine;如果有参数那么会打印出执行了定时器之后的所有goroutine。我们需要用到panic不然的话没有什么简单的方法来查看运行时的goroutine——它们被runtime.NumGoroutines和runtime.Stack排除了,所以仅剩的方法就是让程序crash掉。让我们看看在生成定时器之前生成了多少个goroutine:

go run afterfunc.go 2>&1 | grep "^goroutine" | wc -l
4

在生成了10K个定时器之后:

go run afterfunc.go 2>&1 | grep "^goroutine" | wc -l
5

哇!只多出了一个goroutine!
让我们接下来看看为什么只单单多出来一个goroutine。

runtime.timer

所有的定时器都基于相同的数据结构——runtime.timer。增加一个新的定时器,你需要实例化runtime.timer并把它传递给函数runtime.startTimer。这里有个time包的例子:

func NewTimer(d Duration) *Timer {
    c := make(chan Time, 1)
    t := &Timer{
        C: c,
        r: runtimeTimer{
            when: when(d),
            f:    sendTime,
            arg:  c,
        },
    }
    startTimer(&t.r)
    return t
}

所以,在这里我们把持续时间(duration)转换成具体的时间戳when,定时器应该要调用以c作为参数的函数f。在time包中,函数f有三种类型:

  • sendTime:发送当前时间到channel或者在发送被阻塞的情况下丢弃。被time.Timer和time.Ticker使用。
  • goFunc:在goroutine中执行一些函数。被time.AfterFunc使用。
  • goroutineReady:唤醒特定的goroutine。被runtime.timeSleep使用。

现在我们已经理解了在运行时中定时器是怎样的了和它们应该怎么做的了。接下来让我们看看运行时是怎么存储定时器和在时间到了的时候怎么去调用函数的。

runtime.timers

runtime.timers只是一个数据结构,堆。当你想在一些元素中重复地去查找极限值(最大或最小)的时候堆就很有用了。在我们的例子中,极限值就是最接近当前时间的when。是不是很方便?那么,让我们看看在最坏的情况下操作定时器的算法复杂度:

  • 增加新的定时器——O(log(n))
  • 删除定时器——O(log(n))
  • 生成定时器函数——O(log(n))

所以,如果你有一百万个定时器,那么操作数量一般来说会少于1000(log(1kk) ~= 20,但是生成操作会多出来几个最小值删除,因为多个定时器可能在相同的时间达到它们的截止时间) 。这是非常快的,并且所有的工作都发生在同一个独立的goroutine中,所以它不会阻塞。siftupTimer和siftdownTimer函数是用来维护堆的性质的。但是数据结构不会只为自己工作,一些东西也需要用到它们。在我们的例子中它只是一个timeproc函数的goroutine。它在第一个定时器开始的时候生成。

runtime.timerproc

如果没有源码的话有点难以描述到底发生了什么,所以这一节将开始对Go的代码做一些注释。代码是直接从src/runtime/time.go文件直接拷贝过来的并添加了一些注释。

// Add a timer to the heap and start or kick the timerproc if the new timer is
// earlier than any of the others.
// 增加一个定时器到堆中并开始或者删掉timeproc如果新的定时器早于任何定时器的话
func addtimerLocked(t *timer) {
    // when 必须不能是负值,否则的话 timeproc将会溢出
    // when must never be negative; otherwise timerproc will overflow
    // during its delta calculation and never expire other runtime·timers.
    if t.when < 0 {
        t.when = 1<<63 - 1
    }
    t.i = len(timers.t)
    timers.t = append(timers.t, t)
    // maintain heap invariant
    // 维持堆的性质不变
    siftupTimer(t.i)
    // new time is on top
    // 新的时间在堆的顶部了
    if t.i == 0 {
        // siftup moved to top: new earliest deadline.
        // siftup 移到了顶部:新的最早的截止时间
        if timers.sleeping {
            // wake up sleeping goroutine, put to sleep with notetsleepg in timerproc()
            // 唤醒睡眠中的goroutine
            timers.sleeping = false
            notewakeup(&timers.waitnote)
        }
        if timers.rescheduling {
            // run parked goroutine, put to sleep with goparkunlock in timerproc()
            // 运行暂停的goro
            timers.rescheduling = false
            goready(timers.gp, 0)
        }
    }
    if !timers.created {
        // run timerproc() goroutine only once
        // 只运行一次timeproc()
        timers.created = true
        go timerproc()
    }
}

// Timerproc runs the time-driven events.
// It sleeps until the next event in the timers heap.
// If addtimer inserts a new earlier event, addtimerLocked wakes timerproc early.
// Timeproc 运行时间驱动的事件
// 它会一直睡眠直到下一个事件进入了定时器的堆中
// 如果 addtimer 插入了一个更早的事件, addtimerLocked 将会更早地唤醒timeproc
func timerproc() {
    // set timer goroutine
    // 设置定时器goroutine
    timers.gp = getg()
    // forever loop
    // 死循环
    for {
        lock(&timers.lock)
        // mark goroutine not sleeping
        // 标记goroutine不是在睡眠
        timers.sleeping = false
        now := nanotime()
        delta := int64(-1)
        // iterate over timers in heap starting from [0]
        // 从堆的[0]开始迭代定时器
        for {
            // there are no more timers, exit iterating loop
            // 已经没有其他的定时器了,退出迭代循环
            if len(timers.t) == 0 {
                delta = -1
                break
            }
            t := timers.t[0]
            delta = t.when - now
            if delta > 0 {
                break
            }
            // t.period means that it's ticker, so change when and move down
            // in heap to execute it again after t.period.
            // t.period 意味着它是一个ticker,所以改变 when 并移到堆的下方,经过t.period再执行
            if t.period > 0 {
                // leave in heap but adjust next time to fire
                // 留在堆里但是调整下次执行的时间
                t.when += t.period * (1 + -delta/t.period)
                siftdownTimer(0)
            } else {
                // remove from heap
                // this is just removing from heap operation:
                // - swap first(extremum) with last
                // - set last to nil
                // - maintain heap: move first to its true place with siftdownTimer.
                // 从堆中移除
                // 这是从堆中移除的操作:
                // - 交换第一个和最后一个
                // - 设置最后一个为nil
                // - 维护堆:用 siftdownTimer把第一个移到正确的位置
                last := len(timers.t) - 1
                if last > 0 {
                    timers.t[0] = timers.t[last]
                    timers.t[0].i = 0
                }
                timers.t[last] = nil
                timers.t = timers.t[:last]
                if last > 0 {
                    siftdownTimer(0)
                }
                // set i to -1, so concurrent deltimer won't do anything to
                // heap.
                // 把 i 设成 -1,所以并发的 deltimer不会对堆做任何事情
                t.i = -1 // mark as removed
            }
            f := t.f
            arg := t.arg
            seq := t.seq
            unlock(&timers.lock)
            if raceenabled {
                raceacquire(unsafe.Pointer(t))
            }
            // call timer function without lock
            // 不用锁调用定时器函数
            f(arg, seq)
            lock(&timers.lock)
        }
        // if delta < 0 - timers is empty, set "rescheduling" and park timers
        // goroutine. It will sleep here until "goready" call in addtimerLocked.
        // 如果 delta < 0 - 定时器为空,设成 “rescheduling” 并暂停定时器goroutine。它将会一直睡眠直到在 addtimerLocked 中调用 "goready"
        if delta < 0 || faketime > 0 {
            // No timers left - put goroutine to sleep.
            timers.rescheduling = true
            goparkunlock(&timers.lock, "timer goroutine (idle)", traceEvGoBlock, 1)
            continue
        }
        // At least one timer pending. Sleep until then.
        // If we have some timers in heap, we're sleeping until it's time to
        // spawn soonest of them. notetsleepg will sleep for `delta` period or
        // until notewakeup in addtimerLocked.
        // notetsleepg fills timers.waitnote structure and put goroutine to sleep for some time.
        // timers.waitnote can be used to wakeup this goroutine with notewakeup.
        // 至少还有一个定时器未结束,睡眠直到结束
        // 如果在堆中还有一些定时器,那么会一直睡眠直到最快的时间到了
        timers.sleeping = true
        noteclear(&timers.waitnote)
        unlock(&timers.lock)
        notetsleepg(&timers.waitnote, delta)
    }
}

这里有两个变量我觉得应该要解释一下的:
rescheduling和sleeping。它们都是表明goroutine已经进入睡眠,但是却用到了不同的同步机制。

当所有当前的定时器已经被处理,但是在未来一段时间还有需要处理的时候,将会设置成sleeping。它使用了基于OS的同步,所以它会调用一些OS的系统调用来进入睡眠并唤醒goroutine,并且系统调用也意味着它是用OS线程来做这件事的。它使用了 note 结构和下面的函数来达到同步:

  • noteclear -重置 note 状态
  • notetsleepg -使goroutine进入睡眠直到 notewakeup 被调用或者经过一段时间之后(假设是定时器到下一个定时器之间的时间)。这个函数将 timers.waitnote 赋值给“指向定时器goroutine的指针”
  • notewakeup -唤醒调用notetsleepg的goroutine

如果新的定时器比之前最早的定时器还要早的话,notewakeup 可能会在 addtimerLocked 中被调用。

当堆中已经没有任何定时器,也就是没有事情干的时候,将会设置成rescheduling。它会利用go 调度器使用goparkunlock函数来使goroutine进入睡眠。不像 notetsleepg,这样不会消耗任何的操作系统资源,但同样的也就不支持“唤醒超时”,因此它不能在 sleeping分支的时候代替 notetsleepg。 而当一个新的定时器通过 addTimerLocked被加进来的时候,就会调用 goready函数来唤醒goroutine。

结论

我们已经了解了Go定时器的底层实现了——运行时既不会每个定时器都一个goroutine,也不会“免费”使用定时器。理解事情是怎么工作的从而避免过早优化是很重要的。而且,我们也会学习到,阅读运行时的代码是相当简单的,所以你不应该害怕。我希望你能享受这次的阅读并分享给你的朋友。

备注

这篇文章是翻译自: How Do They Do It: Timers in Go,本人翻译地比较烂,后面会持续修改的,欢迎大家提供一些意见。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 205,565评论 6 479
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,021评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 152,003评论 0 341
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,015评论 1 278
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,020评论 5 370
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,856评论 1 283
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,178评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,824评论 0 259
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,264评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,788评论 2 323
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,913评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,535评论 4 322
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,130评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,102评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,334评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,298评论 2 352
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,622评论 2 343

推荐阅读更多精彩内容