|
| 1 | +# 定时器 |
| 2 | + |
| 3 | +## 简单用法 |
| 4 | + |
| 5 | +什么 Date，Parse，ParseInLocation，就不说了。主要关注下面几个函数： |
| 6 | + |
| 7 | +### ticker 相关 |
| 8 | + |
| 9 | +```go |
| 10 | +func Tick(d Duration) <-chan Time |
| 11 | +func NewTicker(d Duration) *Ticker |
| 12 | +func (t *Ticker) Stop() |
| 13 | +``` |
| 14 | + |
| 15 | +```go |
| 16 | +package main |
| 17 | + |
| 18 | +import ( |
| 19 | + "fmt" |
| 20 | + "time" |
| 21 | +) |
| 22 | + |
| 23 | +func main() { |
| 24 | + for t := range time.Tick(time.Second * 2) { |
| 25 | + fmt.Println(t, "hello world") |
| 26 | + } |
| 27 | +} |
| 28 | +``` |
| 29 | + |
| 30 | +```go |
| 31 | +package main |
| 32 | + |
| 33 | +import ( |
| 34 | + "fmt" |
| 35 | + "time" |
| 36 | +) |
| 37 | + |
| 38 | +func main() { |
| 39 | + ticker := time.NewTicker(time.Second * 2) |
| 40 | + for { |
| 41 | + select { |
| 42 | + case t := <-ticker.C: |
| 43 | + fmt.Println(t, "hello world") |
| 44 | + } |
| 45 | + } |
| 46 | +} |
| 47 | +``` |
| 48 | + |
| 49 | +需要注意的是，ticker 在不使用时，应该手动 stop，如果不 stop 可能会造成 timer 泄露，比如下面这样的代码: |
| 50 | + |
| 51 | +```go |
| 52 | +package main |
| 53 | + |
| 54 | +import ( |
| 55 | + "fmt" |
| 56 | + "time" |
| 57 | +) |
| 58 | + |
| 59 | +func main() { |
| 60 | + for { |
| 61 | + select { |
| 62 | + case t := <-time.Tick(time.Second * 2): |
| 63 | + fmt.Println(t, "hello world") |
| 64 | + } |
| 65 | + } |
| 66 | +} |
| 67 | +``` |
| 68 | + |
| 69 | +泄露之后会在时间堆中累积越来越多的 timer 对象，从而发生更麻烦的问题。 |
| 70 | + |
| 71 | +### timer 相关 |
| 72 | + |
| 73 | +```go |
| 74 | +func After(d Duration) <-chan Time |
| 75 | +func NewTimer(d Duration) *Timer |
| 76 | +func (t *Timer) Reset(d Duration) bool |
| 77 | +func (t *Timer) Stop() bool |
| 78 | +``` |
| 79 | + |
| 80 | +time.After 一般用来控制某些耗时较长的行为，在超时后不再等待，以使程序行为可预期。如果不做超时取消释放资源，则可能因为依赖方响应缓慢而导致本地资源堆积，例如 fd，连接数，内存占用等等。从而导致服务宕机。 |
| 81 | + |
| 82 | +这里用阻塞 channel 读取会永远阻塞的特性来模拟较长时间的行为，在超时后会从 select 中跳出。 |
| 83 | + |
| 84 | +```go |
| 85 | +package main |
| 86 | + |
| 87 | +import "time" |
| 88 | + |
| 89 | +func main() { |
| 90 | + var ch chan int |
| 91 | + select { |
| 92 | + case <-time.After(time.Second): |
| 93 | + println("time out, and end") |
| 94 | + case <-ch: |
| 95 | + } |
| 96 | +} |
| 97 | +``` |
| 98 | + |
| 99 | +time.After 和 time.Tick 不同，是一次性触发的，触发后 timer 本身会从时间堆中删除。所以一般情况下直接用 `<-time.After` 是没有问题的，不过在 for 循环的时候要注意: |
| 100 | + |
| 101 | +```go |
| 102 | +package main |
| 103 | + |
| 104 | +import "time" |
| 105 | + |
| 106 | +func main() { |
| 107 | + var ch = make(chan int) |
| 108 | + go func() { |
| 109 | + for { |
| 110 | + ch <- 1 |
| 111 | + } |
| 112 | + }() |
| 113 | + |
| 114 | + for { |
| 115 | + select { |
| 116 | + case <-time.After(time.Second): |
| 117 | + println("time out, and end") |
| 118 | + case <-ch: |
| 119 | + } |
| 120 | + } |
| 121 | +} |
| 122 | +``` |
| 123 | + |
| 124 | +上面的代码，<-ch 这个 case 每次执行的时间都很短，但每次进入 select，`time.After` 都会分配一个新的 timer。因此会在短时间内创建大量的无用 timer，虽然没用的 timer 在触发后会消失，但这种写法会造成无意义的 cpu 资源浪费。正确的写法应该对 timer 进行重用，如下: |
| 125 | + |
| 126 | +```go |
| 127 | +package main |
| 128 | + |
| 129 | +import "time" |
| 130 | + |
| 131 | +func main() { |
| 132 | + var ch = make(chan int) |
| 133 | + go func() { |
| 134 | + for { |
| 135 | + ch <- 1 |
| 136 | + } |
| 137 | + }() |
| 138 | + |
| 139 | + timer := time.NewTimer(time.Second) |
| 140 | + for { |
| 141 | + timer.Reset(time.Second) |
| 142 | + select { |
| 143 | + case <-timer.C: |
| 144 | + println("time out, and end") |
| 145 | + case <-ch: |
| 146 | + } |
| 147 | + } |
| 148 | +} |
| 149 | +``` |
| 150 | + |
| 151 | +和 Ticker 一样，如果之前的 timer 没用了，可以手动 Stop 以使该 timer 从时间堆中移除。 |
| 152 | + |
| 153 | +## 源码分析 |
| 154 | + |
| 155 | +### 数据结构 |
| 156 | + |
| 157 | +``` |
| 158 | + +--------+ |
| 159 | + | timers | |
| 160 | + +----+---++----+----+----+----+----+-----------------------+----+ |
| 161 | + | | | | | | | | | | |
| 162 | + | 0 | 1 | 2 | 3 | 4 | 5 | 6 | ... | 63 | |
| 163 | + +----+----+----+----+----+----+----+-----------------------+----+ |
| 164 | + | | |
| 165 | + | | |
| 166 | + | | |
| 167 | + | | |
| 168 | + | | |
| 169 | + | | | | | | |
| 170 | + | | +--------------------+ | | | +--------------------+ | |
| 171 | + | |--------> | cacheline size * N | <--------+ | |--------> | cacheline size * N | <--------+ |
| 172 | + | | +--------------------+ | | | +--------------------+ | |
| 173 | + | +-------------+-----------------+----------+ | +-------------+-----------------+----------+ |
| 174 | + +>|timersBucket | | | +--->|timersBucket | | | |
| 175 | + +-------------+-----------------+ pad | +-------------+-----------------+ pad | |
| 176 | + | lock mutex | | | lock mutex | | |
| 177 | + +-------------------------------+ | +-------------------------------+ | |
| 178 | + | gp *g | | | gp *g | | |
| 179 | + +-------------------------------+ | +-------------------------------+ | |
| 180 | + | created bool | | | created bool | | |
| 181 | + +-------------------------------+ | ........ +-------------------------------+ | |
| 182 | + | sleeping bool | | | sleeping bool | | |
| 183 | + +-------------------------------+ | +-------------------------------+ | |
| 184 | + | rescheduling bool | | | rescheduling bool | | |
| 185 | + +-------------------------------+ | +-------------------------------+ | |
| 186 | + | sleepUntil int64 | | | sleepUntil int64 | | |
| 187 | + +-------------------------------+ | +-------------------------------+ | |
| 188 | + | waitnote note | | | waitnote note | | |
| 189 | + +-------------------------------+ | +-------------------------------+ | |
| 190 | + | t []*timer | | | t []*timer | | |
| 191 | + +-------------------------------+----------+ +-------------------------------+----------+ |
| 192 | + | |
| 193 | + | |
| 194 | + | |
| 195 | + v |
| 196 | + +---+ |
| 197 | + | 0 | |
| 198 | + +---+ |
| 199 | + | |
| 200 | + | |
| 201 | + | |
| 202 | + | |
| 203 | + v |
| 204 | + +---+---+---+---+ |
| 205 | + | 1 | 2 | 3 | 4 | |
| 206 | + +-+-+-+-+-+-+-+-+ |
| 207 | + +---------------------------------+ | | +------------------------------------------+ |
| 208 | + | +------+ +--------+ | |
| 209 | + v | | v |
| 210 | + +---+---+---+---+ v v +---+---+---+---+ |
| 211 | + | | | | | +---+---+---+---+ +---+---+---+---+ | | | | | |
| 212 | + +-+-+-+-+---+---+ | | | | | | | | | | +---+---+-+-+-+-+ |
| 213 | + | | +---+---+---+---+ +---+---+---+---+ | | |
| 214 | + +---------+ +---------+ +---------+ +-----+ |
| 215 | + | | | | |
| 216 | + | | | | |
| 217 | + v v v v |
| 218 | ++---+---+---+---+ +---+---+---+---+ +---+---+---+---+ +---+---+---+---+ |
| 219 | +| | | | | | | | | | ................. | | | | | | | | | | |
| 220 | ++---+---+---+---+ +---+---+---+---+ +---+---+---+---+ +---+---+---+---+ |
| 221 | +``` |
| 222 | + |
| 223 | +下面的结论都可以结合上面的图来看。 |
| 224 | + |
| 225 | +在 `runtime/time.go` 中定义了 timers 数组: |
| 226 | + |
| 227 | +```go |
| 228 | +var timers [timersLen]struct { |
| 229 | + timersBucket |
| 230 | + pad [sys.CacheLineSize - unsafe.Sizeof(timersBucket{})%sys.CacheLineSize]byte |
| 231 | +} |
| 232 | +``` |
| 233 | + |
| 234 | +在 Go 的早期实现中是全局一个 timer 的，但操作全局的 timer 堆要加锁，所以多核心会暴露出因为争锁而性能低下的问题。从某个版本(嗯，我也不知道哪个，大概是 1.10)起，Go 的 timers 修改成了这种多个时间堆的实现方式，目前在 runtime 里写死为 64: |
| 235 | + |
| 236 | +```go |
| 237 | +const timersLen = 64 |
| 238 | +``` |
| 239 | + |
| 240 | +嗯，官方表示如果和 GOMAXPROCS 相等的话，那么会在 procresize 的时候重新分配和修改这些时间堆。写死成 64 是内存使用和性能上的一个折衷。如果 GOMAXPROCS 比 64 大的话，那么可能多个 P 会公用同一个时间堆。当然，实际场景中我还没有见过 64 核以上的 CPU。 |
| 241 | + |
| 242 | +timers 数组的元素是一个匿名 struct，包含 timersBucket 和 pad 两个成员，这个 pad 是为了填充 struct 到 cacheline 的整数倍，以避免在不同的 P 之间发生 false sharing。在多核心的编程场景中较为常见。timerBucket 的结构: |
| 243 | + |
| 244 | +```go |
| 245 | +//go:notinheap |
| 246 | +type timersBucket struct { |
| 247 | + lock mutex |
| 248 | + gp *g |
| 249 | + created bool |
| 250 | + sleeping bool |
| 251 | + rescheduling bool |
| 252 | + sleepUntil int64 |
| 253 | + waitnote note |
| 254 | + t []*timer |
| 255 | +} |
| 256 | +``` |
| 257 | + |
| 258 | +其中的 t 就是我们的时间堆了，不过这个和我们传统的 heap 结构稍微有所不同，是分四个叉的，这种设计第一次见。这里的 timersBucket 还有个特殊的注释 `go:notinheap`，官方的说明: |
| 259 | + |
| 260 | +> go:notinheap applies to type declarations. It indicates that a type must never be allocated from the GC'd heap. Specifically, pointers to this type must always fail the runtime.inheap check. The type may be used for global variables, for stack variables, or for objects in unmanaged memory (e.g., allocated with sysAlloc, persistentalloc, fixalloc, or from a manually-managed span). Specifically: |
| 261 | +> 1. new(T), make([]T), append([]T, ...) and implicit heap allocation of T are disallowed. (Though implicit allocations are disallowed in the runtime anyway.) |
| 262 | +> 2. A pointer to a regular type (other than unsafe.Pointer) cannot be converted to a pointer to a go:notinheap type, even if they have the same underlying type. |
| 263 | +> 3. Any type that contains a go:notinheap type is itself go:notinheap. Structs and arrays are go:notinheap if their elements are. Maps and channels of go:notinheap types are disallowed. To keep things explicit, any type declaration where the type is implicitly go:notinheap must be explicitly marked go:notinheap as well. |
| 264 | +> 4. Write barriers on pointers to go:notinheap types can be omitted. |
| 265 | +> The last point is the real benefit of go:notinheap. The runtime uses it for low-level internal structures to avoid memory barriers in the scheduler and the memory allocator where they are illegal or simply inefficient. This mechanism is reasonably safe and does not compromise the readability of the runtime. |
| 266 | +
|
| 267 | +嗯，了解一下就行了，在用户代码中基本不会用得到。 |
| 268 | + |
| 269 | +### 四叉小顶堆性质 |
| 270 | + |
| 271 | +四叉堆高度上比二叉堆要矮一些。一个节点的所有(最多有4个)孩子节点都比这个节点要大。一个节点的(只有一个)父节点一定比当前节点小。下面是填好值之后的一个典型的四叉堆: |
| 272 | + |
| 273 | +``` |
| 274 | + ┌─────┐ |
| 275 | + │ │ |
| 276 | + │ 0 │ |
| 277 | + └─────┘ |
| 278 | + │ |
| 279 | + │ |
| 280 | + │ |
| 281 | + ▼ |
| 282 | + ┌─────┬─────┬─────┬─────┐ |
| 283 | + │ │ │ │ │ |
| 284 | + │ 3 │ 2 │ 2 │ 10 │ |
| 285 | + └─────┴─────┴─────┴─────┘ |
| 286 | + │ │ │ │ |
| 287 | + │ │ │ │ |
| 288 | + ┌──────────┐ │ │ │ │ |
| 289 | + ┌────────────────┤ 4*i+1 ├───────────────────────┘ │ │ └─────────────────────────────┐ |
| 290 | + │ └──────────┘ ┌───────────────────┘ └───┐ │ |
| 291 | + │ │ │ │ |
| 292 | + │ │ │ │ |
| 293 | + ▼ │ │ ▼ |
| 294 | +┌─────┬─────┬─────┬─────┐ │ │ ┌─────┬─────┬─────┬─────┐ |
| 295 | +│ │ │ │ │ ▼ ▼ │ │ │ │ │ |
| 296 | +│ 20 │ 4 │ 5 │ 13 │ ┌─────┬─────┬─────┬─────┐ ┌─────┬─────┬─────┬─────┐ │ 99 │ 13 │ 11 │ 12 │ |
| 297 | +└─────┴─────┴─────┴─────┘ │ │ │ │ │ │ │ │ │ │ └─────┴─────┴─────┴─────┘ |
| 298 | + │ 12 │ 14 │ 15 │ 16 │ │ 3 │ 10 │ 3 │ 3 │ |
| 299 | + └─────┴─────┴─────┴─────┘ └─────┴─────┴─────┴─────┘ |
| 300 | +``` |
| 301 | + |
| 302 | +和二叉堆一样，对于一个节点的要求只有和其父节点以及子节点之间的大小关系。相邻节点之间没有任何关系。 |
| 303 | + |
| 304 | +### 时间堆插入 |
| 305 | + |
| 306 | +```go |
| 307 | +// 分配 timerBucket |
| 308 | +// 加锁，添加 timer 进时间堆 |
| 309 | +func addtimer(t *timer) { |
| 310 | + tb := t.assignBucket() |
| 311 | + lock(&tb.lock) |
| 312 | + tb.addtimerLocked(t) |
| 313 | + unlock(&tb.lock) |
| 314 | +} |
| 315 | + |
| 316 | +// 太简单了，就是用 g.m.p 的 id 模 64 |
| 317 | +// 然后分配对应的 timerBucket |
| 318 | +func (t *timer) assignBucket() *timersBucket { |
| 319 | + id := uint8(getg().m.p.ptr().id) % timersLen |
| 320 | + t.tb = &timers[id].timersBucket |
| 321 | + return t.tb |
| 322 | +} |
| 323 | + |
| 324 | +// 向时间堆中添加一个 timer，如果时间堆第一次被初始化或者当前的 timer 比之前所有的 timers 都要早，那么就启动(首次初始化)或唤醒(最早的 timer) timerproc |
| 325 | +// 函数内假设外部已经对 timers 数组加锁了 |
| 326 | +func (tb *timersBucket) addtimerLocked(t *timer) { |
| 327 | + // when 必须大于 0，否则会在计算 delta 的时候溢出并导致其它的 runtime timer 永远没法过期 |
| 328 | + if t.when < 0 { |
| 329 | + t.when = 1<<63 - 1 |
| 330 | + } |
| 331 | + t.i = len(tb.t) |
| 332 | + tb.t = append(tb.t, t) |
| 333 | + siftupTimer(tb.t, t.i) |
| 334 | + if t.i == 0 { |
| 335 | + // 新插入的 timer 比之前所有的都要早 |
| 336 | + // 向上调整堆 |
| 337 | + if tb.sleeping { |
| 338 | + // 修改 timerBucket 的 sleep 状态 |
| 339 | + tb.sleeping = false |
| 340 | + // 唤醒 timerproc |
| 341 | + // 使 timerproc 中的 for 循环不再阻塞在 notesleepg 上 |
| 342 | + notewakeup(&tb.waitnote) |
| 343 | + } |
| 344 | + // 同一个 P 上的所有 timers 如果 |
| 345 | + // 都在 timerproc 中被弹出了 |
| 346 | + // 该 rescheduling 会被标记为 true |
| 347 | + // 并且启动 timerproc 的 goroutine 会被 goparkunlock |
| 348 | + if tb.rescheduling { |
| 349 | + // 该标记会在这里和 timejumpLocked 中被设置为 false |
| 350 | + tb.rescheduling = false |
| 351 | + goready(tb.gp, 0) |
| 352 | + } |
| 353 | + } |
| 354 | + // 如果 timerBucket 是第一次创建，需要启动一个 goroutine |
| 355 | + // 来循环弹出时间堆，内部会根据需要最早触发的 timer |
| 356 | + // 进行相应时间的 sleep |
| 357 | + if !tb.created { |
| 358 | + tb.created = true |
| 359 | + go timerproc(tb) |
| 360 | + } |
| 361 | +} |
| 362 | +``` |
| 363 | + |
| 364 | +插入 timer 到堆中的时候的逻辑是先追加到数组末尾(append)，然后向上 adjust(siftup) heap 以重新恢复四叉小顶堆性质。 |
| 365 | + |
| 366 | +### 时间堆删除 |
| 367 | + |
| 368 | +```go |
| 369 | +// 从堆中删除 timer t |
| 370 | +// 如果 timerproc 提前被唤醒也没所谓 |
| 371 | +func deltimer(t *timer) bool { |
| 372 | + if t.tb == nil { |
| 373 | + // t.tb can be nil if the user created a timer |
| 374 | + // directly, without invoking startTimer e.g |
| 375 | + // time.Ticker{C: c} |
| 376 | + // In this case, return early without any deletion. |
| 377 | + // See Issue 21874. |
| 378 | + return false |
| 379 | + } |
| 380 | + |
| 381 | + tb := t.tb |
| 382 | + |
| 383 | + lock(&tb.lock) |
| 384 | + // t may not be registered anymore and may have |
| 385 | + // a bogus i (typically 0, if generated by Go). |
| 386 | + // Verify it before proceeding. |
| 387 | + i := t.i |
| 388 | + last := len(tb.t) - 1 |
| 389 | + if i < 0 || i > last || tb.t[i] != t { |
| 390 | + unlock(&tb.lock) |
| 391 | + return false |
| 392 | + } |
| 393 | + // 把 timer[i] 替换为 timer[last] |
| 394 | + if i != last { |
| 395 | + tb.t[i] = tb.t[last] |
| 396 | + tb.t[i].i = i |
| 397 | + } |
| 398 | + // 删除 timer[last]，并缩小 slice |
| 399 | + tb.t[last] = nil |
| 400 | + tb.t = tb.t[:last] |
| 401 | + |
| 402 | + // 判断是不是删的最后一个 |
| 403 | + // 如果不是的话，需要重新调整堆 |
| 404 | + if i != last { |
| 405 | + // 最后一个节点当前来的分叉可能并不是它那个分叉 |
| 406 | + // 所以向上走或者向下走都是有可能的 |
| 407 | + // 即使是二叉堆，也是有这种可能的 |
| 408 | + siftupTimer(tb.t, i) |
| 409 | + siftdownTimer(tb.t, i) |
| 410 | + } |
| 411 | + unlock(&tb.lock) |
| 412 | + return true |
| 413 | +} |
| 414 | +``` |
| 415 | + |
| 416 | +### timer 触发 |
| 417 | + |
| 418 | +```go |
| 419 | +// timerproc 负责处理时间驱动的事件 |
| 420 | +// 在堆中的下一个事件需要触发之前，会一直保持 sleep 状态 |
| 421 | +// 如果 addtimer 插入了一个更早的事件，会提前唤醒 timerproc |
| 422 | +func timerproc(tb *timersBucket) { |
| 423 | + tb.gp = getg() |
| 424 | + for { |
| 425 | + // timerBucket 的局部大锁 |
| 426 | + lock(&tb.lock) |
| 427 | + // 被唤醒，所以修改 sleeping 状态为 false |
| 428 | + tb.sleeping = false |
| 429 | + // 计时 |
| 430 | + now := nanotime() |
| 431 | + delta := int64(-1) |
| 432 | + // 在处理完到期的 timer 之前，一直循环 |
| 433 | + for { |
| 434 | + // 如果 timer 已经都弹出了 |
| 435 | + // 那么不用循环了，跳出后接着睡觉 |
| 436 | + if len(tb.t) == 0 { |
| 437 | + delta = -1 |
| 438 | + break |
| 439 | + } |
| 440 | + // 取小顶堆顶部元素 |
| 441 | + // 即最近会被触发的 timer |
| 442 | + t := tb.t[0] |
| 443 | + delta = t.when - now // 还差多长时间才需要触发最近的 timer |
| 444 | + if delta > 0 { |
| 445 | + // 大于 0 说明这个 timer 还没到需要触发的时间 |
| 446 | + // 跳出循环去睡觉 |
| 447 | + break |
| 448 | + } |
| 449 | + if t.period > 0 { |
| 450 | + // 这个 timer 还会留在堆里 |
| 451 | + // 不过要调整它的下次触发时间 |
| 452 | + t.when += t.period * (1 + -delta/t.period) |
| 453 | + siftdownTimer(tb.t, 0) |
| 454 | + } else { |
| 455 | + // 从堆中移除这个 timer |
| 456 | + // 用最后一个 timer 覆盖第 0 个 timer |
| 457 | + // 然后向下调整堆 |
| 458 | + last := len(tb.t) - 1 |
| 459 | + if last > 0 { |
| 460 | + tb.t[0] = tb.t[last] |
| 461 | + tb.t[0].i = 0 |
| 462 | + } |
| 463 | + tb.t[last] = nil |
| 464 | + tb.t = tb.t[:last] |
| 465 | + if last > 0 { |
| 466 | + siftdownTimer(tb.t, 0) |
| 467 | + } |
| 468 | + t.i = -1 // 标记 timer 在堆中的位置已经没有了 |
| 469 | + } |
| 470 | + // timer 触发时需要调用的函数 |
| 471 | + f := t.f |
| 472 | + arg := t.arg |
| 473 | + seq := t.seq |
| 474 | + unlock(&tb.lock) |
| 475 | + // 调用需触发的函数 |
| 476 | + f(arg, seq) |
| 477 | + // 把锁加回来，如果下次 break 了内层的 for 循环 |
| 478 | + // 能保证 timeBucket 是被锁住的 |
| 479 | + // 然后在下面的 goparkunlock 中被解锁 |
| 480 | + lock(&tb.lock) |
| 481 | + } |
| 482 | + if delta < 0 || faketime > 0 { |
| 483 | + // 说明时间堆里已经没有 timer 了 |
| 484 | + // 让 goroutine 挂起，去睡觉 |
| 485 | + tb.rescheduling = true |
| 486 | + goparkunlock(&tb.lock, "timer goroutine (idle)", traceEvGoBlock, 1) |
| 487 | + continue |
| 488 | + } |
| 489 | + // 说明堆里至少还有一个以上的 timer |
| 490 | + // 睡到最近的 timer 时间 |
| 491 | + tb.sleeping = true |
| 492 | + tb.sleepUntil = now + delta |
| 493 | + noteclear(&tb.waitnote) |
| 494 | + unlock(&tb.lock) |
| 495 | + // 内部是 futex sleep |
| 496 | + // 时间睡到了会自动醒 |
| 497 | + // 或者 addtimer 的时候，发现新的 timer 更早，会提前唤醒 |
| 498 | + notetsleepg(&tb.waitnote, delta) |
| 499 | + } |
| 500 | +} |
| 501 | +``` |
| 502 | + |
| 503 | +可以留意一下这里的 period，有 period 的 timer 会从 when 开始，每隔 period 段时间，就再次触发。 |
| 504 | + |
| 505 | +``` |
| 506 | + |
| 507 | + when+period |
| 508 | + when+period*3 |
| 509 | + │ |
| 510 | + │ │ |
| 511 | + │ │ |
| 512 | + │ when+period*2│ |
| 513 | + when │ │ |
| 514 | + │ │ │ |
| 515 | + │ │ │ │ ..... |
| 516 | + │ │ │ │ |
| 517 | +┌───────────┐ │ │ │ │ |
| 518 | +│ timeline ├────────────────────────┼───────┼───────┼───────┼─────────────────▷ |
| 519 | +└───────────┘ │ │ │ │ |
| 520 | + ▼ ▼ ▼ ▼ |
| 521 | + |
| 522 | + trigger trigger |
| 523 | + trigger trigger |
| 524 | +
|
| 525 | +``` |
| 526 | + |
| 527 | +### 时间堆调整 |
| 528 | + |
| 529 | +之前的代码也看到了，时间堆调整有向上调整和向下调整两种调整方式。 |
| 530 | + |
| 531 | +#### 向上调整 |
| 532 | + |
| 533 | +```go |
| 534 | +func siftupTimer(t []*timer, i int) { |
| 535 | + // 先暂存当前刚插入到数组尾部的节点 |
| 536 | + when := t[i].when |
| 537 | + tmp := t[i] |
| 538 | + |
| 539 | + // 从当前插入节点的父节点开始 |
| 540 | + // 如果最新插入的那个节点的触发时间要比父节点的触发时间更早 |
| 541 | + // 那么就把这个父节点下移 |
| 542 | + for i > 0 { |
| 543 | + p := (i - 1) / 4 // parent |
| 544 | + if when >= t[p].when { |
| 545 | + break |
| 546 | + } |
| 547 | + t[i] = t[p] |
| 548 | + t[i].i = i |
| 549 | + i = p |
| 550 | + } |
| 551 | + |
| 552 | + // 如果发生过移动，用最新插入的节点 |
| 553 | + // 覆盖掉最后一个下移的父节点 |
| 554 | + if tmp != t[i] { |
| 555 | + t[i] = tmp |
| 556 | + t[i].i = i |
| 557 | + } |
| 558 | +} |
| 559 | +``` |
| 560 | + |
| 561 | +#### 向下调整 |
| 562 | + |
| 563 | +```go |
| 564 | +func siftdownTimer(t []*timer, i int) { |
| 565 | + n := len(t) |
| 566 | + when := t[i].when |
| 567 | + tmp := t[i] |
| 568 | + for { |
| 569 | + c := i*4 + 1 // 最左孩子节点 |
| 570 | + c3 := c + 2 // 第三个孩子节点 |
| 571 | + if c >= n { |
| 572 | + break |
| 573 | + } |
| 574 | + w := t[c].when |
| 575 | + if c+1 < n && t[c+1].when < w { |
| 576 | + w = t[c+1].when |
| 577 | + c++ |
| 578 | + } |
| 579 | + if c3 < n { |
| 580 | + w3 := t[c3].when |
| 581 | + if c3+1 < n && t[c3+1].when < w3 { |
| 582 | + w3 = t[c3+1].when |
| 583 | + c3++ |
| 584 | + } |
| 585 | + if w3 < w { |
| 586 | + w = w3 |
| 587 | + c = c3 |
| 588 | + } |
| 589 | + } |
| 590 | + if w >= when { |
| 591 | + break |
| 592 | + } |
| 593 | + t[i] = t[c] |
| 594 | + t[i].i = i |
| 595 | + i = c |
| 596 | + } |
| 597 | + if tmp != t[i] { |
| 598 | + t[i] = tmp |
| 599 | + t[i].i = i |
| 600 | + } |
| 601 | +} |
| 602 | +``` |
| 603 | + |
| 604 | +这段代码实在是称不上优雅，其实就是在所有孩子节点中先找出最小的那一个，如果最小的比当前要下移的节点还要大，那么就 break。反之，则将最小的节点上移，然后再判断这个最小节点的 4 个子节点是否都比要下移的节点大。以此类推。用图来模拟一下这个过程: |
| 605 | + |
| 606 | +``` |
| 607 | + │ ┌───┐ |
| 608 | + │ │ 5 │ |
| 609 | + │ └───┘ |
| 610 | + │ │ |
| 611 | + │ ┌─────┘ |
| 612 | + │ ▼ |
| 613 | + │ ┌───┬───┳━━━┳───┐ |
| 614 | + │ │ 7 │ 3 │ 2 ┃ 6 │ |
| 615 | + │ └───┴───┻━━━┻───┘ |
| 616 | +┌───────────────────┐ │ │ |
| 617 | +│ siftdownTimer │ │ └──────────┐ |
| 618 | +└───────────────────┘ │ ▼ |
| 619 | + .─────────. │ ┌───┬───┬───┳━━━┓ |
| 620 | + ( before ) │ │ 4 │ 5 │ 9 │ 3 ┃ |
| 621 | + `─────────' │ └───┴───┴───┻━━━┛ |
| 622 | + │ │ |
| 623 | + │ └─────────────┐ |
| 624 | + │ ▼ |
| 625 | + │ ┌───┬───┬───┳━━━┓ |
| 626 | + │ │ 6 │ 6 │ 6 │ 4 ┃ |
| 627 | + │ └───┴───┴───┻━━━┛ |
| 628 | + │ |
| 629 | + ▼ |
| 630 | + |
| 631 | + |
| 632 | + |
| 633 | + │ ┌───┐ |
| 634 | + │ │ 2 │ |
| 635 | + │ └───┘ |
| 636 | + │ │ |
| 637 | + │ ┌─────┘ |
| 638 | + │ ▼ |
| 639 | + │ ┌───┬───┳━━━┳───┐ |
| 640 | + │ │ 7 │ 3 │ 3 ┃ 6 │ |
| 641 | + │ └───┴───┻━━━┻───┘ |
| 642 | +┌───────────────────┐ │ │ |
| 643 | +│ siftdownTimer │ │ └──────────┐ |
| 644 | +└───────────────────┘ │ ▼ |
| 645 | + .─────────. │ ┌───┬───┬───┳━━━┓ |
| 646 | + ( after ) │ │ 4 │ 5 │ 9 │ 4 ┃ |
| 647 | + `─────────' │ └───┴───┴───┻━━━┛ |
| 648 | + │ │ |
| 649 | + │ └─────────────┐ |
| 650 | + │ ▼ |
| 651 | + │ ┌───┬───┬───┳━━━┓ |
| 652 | + │ │ 6 │ 6 │ 6 │ 5 ┃ |
| 653 | + │ └───┴───┴───┻━━━┛ |
| 654 | + │ |
| 655 | + ▼ |
| 656 | +``` |
| 657 | + |
| 658 | +### 流程 |
| 659 | + |
| 660 | +#### timer.After 流程 |
| 661 | + |
| 662 | +```go |
| 663 | +func After(d Duration) <-chan Time { |
| 664 | + return NewTimer(d).C |
| 665 | +} |
| 666 | + |
| 667 | +// NewTimer creates a new Timer that will send |
| 668 | +// the current time on its channel after at least duration d. |
| 669 | +func NewTimer(d Duration) *Timer { |
| 670 | + c := make(chan Time, 1) |
| 671 | + t := &Timer{ |
| 672 | + C: c, |
| 673 | + r: runtimeTimer{ |
| 674 | + when: when(d), |
| 675 | + f: sendTime, |
| 676 | + arg: c, |
| 677 | + }, |
| 678 | + } |
| 679 | + startTimer(&t.r) |
| 680 | + return t |
| 681 | +} |
| 682 | + |
| 683 | +func startTimer(*runtimeTimer) |
| 684 | +``` |
| 685 | + |
| 686 | +这个 startTimer 的实现是在 `runtime/time.go` 里: |
| 687 | + |
| 688 | +```go |
| 689 | +// startTimer adds t to the timer heap. |
| 690 | +// 把 t 添加到 timer 堆 |
| 691 | +//go:linkname startTimer time.startTimer |
| 692 | +func startTimer(t *timer) { |
| 693 | + addtimer(t) |
| 694 | +} |
| 695 | +``` |
| 696 | + |
| 697 | +addtimer 后面的流程之前已经看过了。 |
| 698 | + |
| 699 | +#### timer.Tick 流程 |
| 700 | + |
| 701 | +```go |
| 702 | +func Tick(d Duration) <-chan Time { |
| 703 | + if d <= 0 { |
| 704 | + return nil |
| 705 | + } |
| 706 | + return NewTicker(d).C |
| 707 | +} |
| 708 | +``` |
| 709 | + |
| 710 | +```go |
| 711 | +// NewTicker 会返回一个 Ticker 对象，其 channel 每隔 period 时间 |
| 712 | +// 会收到一个时间值 |
| 713 | +// 如果 receiver 接收慢了，Ticker 会把不需要的 tick drop 掉 |
| 714 | +// d 必须比 0 大，否则 panic |
| 715 | +// Stop ticker 才能释放相关的资源 |
| 716 | +func NewTicker(d Duration) *Ticker { |
| 717 | + if d <= 0 { |
| 718 | + panic(errors.New("non-positive interval for NewTicker")) |
| 719 | + } |
| 720 | + c := make(chan Time, 1) |
| 721 | + t := &Ticker{ |
| 722 | + C: c, |
| 723 | + r: runtimeTimer{ |
| 724 | + when: when(d), |
| 725 | + period: int64(d), |
| 726 | + f: sendTime, |
| 727 | + arg: c, |
| 728 | + }, |
| 729 | + } |
| 730 | + startTimer(&t.r) |
| 731 | + return t |
| 732 | +} |
| 733 | +``` |
| 734 | + |
| 735 | +可以看到， Ticker 和 Timer 的 r 成员就只差在 period 这一个字段上，每隔一个 period 就往 channel 里发数据的就是 Ticker，而 fire and disappear 的就是 Timer。 |
| 736 | + |
| 737 | +#### Stop 流程 |
| 738 | + |
| 739 | +```go |
| 740 | +func (t *Ticker) Stop() { |
| 741 | + stopTimer(&t.r) |
| 742 | +} |
| 743 | + |
| 744 | +func (t *Timer) Stop() bool { |
| 745 | + if t.r.f == nil { |
| 746 | + panic("time: Stop called on uninitialized Timer") |
| 747 | + } |
| 748 | + return stopTimer(&t.r) |
| 749 | +} |
| 750 | +``` |
| 751 | + |
| 752 | +Timer 和 Ticker 都是调用的 stopTimer。 |
| 753 | + |
| 754 | +```go |
| 755 | +func stopTimer(t *timer) bool { |
| 756 | + return deltimer(t) |
| 757 | +} |
| 758 | +``` |
| 759 | + |
| 760 | +deltimer 在上面也看到过了。 |
| 761 | + |
| 762 | +#### Reset 流程 |
| 763 | + |
| 764 | +```go |
| 765 | +func (t *Timer) Reset(d Duration) bool { |
| 766 | + if t.r.f == nil { |
| 767 | + panic("time: Reset called on uninitialized Timer") |
| 768 | + } |
| 769 | + w := when(d) |
| 770 | + active := stopTimer(&t.r) |
| 771 | + t.r.when = w |
| 772 | + startTimer(&t.r) |
| 773 | + return active |
| 774 | +} |
| 775 | +``` |
| 776 | + |
| 777 | +都是见过的函数，没啥特别的。 |
| 778 | + |
| 779 | +## 最后 |
| 780 | + |
| 781 | +本篇内容主要是讲 Go 的定时器实现，工业界的定时器实现并不只有一种。如果你还想知道其它系统，比如 nginx 里是怎么实现定时器的，可以参考[这一篇](https://www.jianshu.com/p/427dfe8ad3c0)。 |
0 commit comments