Golang Go语言中吐槽一下 select 模型,居然不自带超时机制

发布于 1周前 作者 phonegap100 来自 Go语言

Golang Go语言中吐槽一下 select 模型,居然不自带超时机制

使用 Timer 的 Channel 来配合的超时机制,怎么都有漏洞。

timer 的超时状态和 channel 的 sendTime 数据,也不做到原子状态。判断出来是超时了,既有可能 channel 中有数据,也有可能没有数据。完全是薛定谔的定时器。

就这种情况下,为什么不 native 提供一个 select 的超时方式呢?

各位大牛们是如何解决这个问题的啊?

容忍(理论上)一定概率的立即超时?

或者干脆不重用,每次循环重新创建一个新的 Timer ?


更多关于Golang Go语言中吐槽一下 select 模型,居然不自带超时机制的实战系列教程也可以访问 https://www.itying.com/category-94-b0.html

17 回复

ctx + select

更多关于Golang Go语言中吐槽一下 select 模型,居然不自带超时机制的实战系列教程也可以访问 https://www.itying.com/category-94-b0.html


这根本就不算事:

1. 没人能做到时间的百分百精确
2. 即使是 syacall 的 select/poll/epoll 的 timeout 参数,也可能你本次 loop 刚超时的瞬间、fd 事件就来了,而且超时的瞬间,对于业务而言已经达到了那个可以按超时处理的条件,业务开始处理超时后、超时事件再出现丢弃即可
3. 超时后即使 channel 中又收到了数据而没被读取,也没问题,不是必须读出来才行。另外,chan 也不是必须 close 才会被回收的,所以不用纠结残留相关的问题

并发的边界问题,应该由业务层来保证,是保证指令范围的原子性还是保证过程范围的原子性,要区分清楚

如果没理解错你的意思,文档里就有正确的解法:先 Stop(),然后消费 channel (如果需要),最后 Reset:
https://pkg.go.dev/time#Timer.Reset

感谢大神赐教,受益匪浅。

感谢兄弟的细心阅读,并且一眼就看出了我的担心,握爪。是这样的,其实问题就消费 Channel 这里。
有一种极端的情况,就是我消费 Channel 的时候,runtime 的 deltimer()还没有来得及调用 sendTime 。但是当我的消费代码走完了以后,它调用了 sendTime,导致了 Channel 里面又有了内容,这样,我下次正儿八经的业务 select 的时候,立马就会返回,导致我错误的认为超时了。

这个问题的出在 Runtime 中 timer 的维护 routine 中调用定时器处理函数 runOneTimer()。该函数的处理分为两部分:
* A) 从 timer 堆中处理定时器状态这部分
* B) 调用 f(arg, seq)来 sentTime 到 Channel 中
从 [代码]( https://github.com/golang/go/blob/891547e2d4bc2a23973e2c9f972ce69b2b48478e/src/runtime/time.go#L818)看,这两个部分操作没有放在一个锁中,因此不是原子操作。
go<br>func runOneTimer(pp *p, t *timer, now int64) {<br> .......<br> if raceenabled {<br> // Temporarily use the current P's racectx for g0.<br> gp := getg()<br> if gp.racectx != 0 {<br> throw("runOneTimer: unexpected racectx")<br> }<br> gp.racectx = gp.m.p.ptr().timerRaceCtx<br> }<br><br> unlock(&amp;pp.timersLock)<br><br> f(arg, seq) // 就是那个 sendTime 函数<br><br> lock(&amp;pp.timersLock)<br><br> .......<br>}<br>

设想在用户调用 Stop()的时候,虽然和 runOneTimer()的 A 部分产生了互斥,但是和 sentTime 并没有产生互斥。极端情况下,如果 runtime 的 routine 中把 A 部分执行完了,碰到 CPU 繁忙或者系统调度等极端场景,B 部分一直没有机会执行。那么 User 的 Stop()、消费 Channel (实际上没有数据)、然后 Reset(),到这里 B 部分都没有执行。

这样,Channel 中一直没有数据,但是当用户调用业务 Select()的时候,runtime routine 中的 B 部分执行了,sendTime 将数据发送到了 Channel 中。select()就因为上一次 Timer 的数据而触发了。

这也就是我在问题中说的,(理论上)一定概率的立即超时


其实 Golang 的相关模块作者也注意到了该问题,修改的次数非常多,提供的注释也非常长。


其中作者提到,Stop()并不会等到 f (即 sentTime)执行完毕后才返回,也就是说 Stop()只反馈 Timer 当时的状态,不反馈 channel 的状态。
<br>// Stop prevents the Timer from firing.<br>// It returns true if the call stops the timer, false if the timer has already<br>// expired or been stopped.<br>// Stop does not close the channel, to prevent a read from the channel succeeding<br>// incorrectly.<br>//<br>// To ensure the channel is empty after a call to Stop, check the<br>// return value and drain the channel.<br>// For example, assuming the program has not received from t.C already:<br>//<br>// if !t.Stop() {<br>// &lt;-t.C<br>// }<br>//<br>// This cannot be done concurrent to other receives from the Timer's<br>// channel or other calls to the Timer's Stop method.<br>//<br>// For a timer created with AfterFunc(d, f), if t.Stop returns false, then the timer<br>// has already expired and the function f has been started in its own goroutine;<br>// Stop does not wait for f to complete before returning.<br>// If the caller needs to know whether f is completed, it must coordinate<br>// with f explicitly.<br>

而对于 Reset(),作者也是用了大量篇幅,指出 Reset 的返回值并不是准确的,因为竟态导致的问题。提供返回值只是为了兼容过去的接口。另外其实 time 模块的 Reset()调用的其实就是 runtime 的 resetTimer,而 resetTimer()其实就是内部调用 stopTimer()。
<br>// Reset changes the timer to expire after duration d.<br>// It returns true if the timer had been active, false if the timer had<br>// expired or been stopped.<br>//<br>// For a Timer created with NewTimer, Reset should be invoked only on<br>// stopped or expired timers with drained channels.<br>//<br>// If a program has already received a value from t.C, the timer is known<br>// to have expired and the channel drained, so t.Reset can be used directly.<br>// If a program has not yet received a value from t.C, however,<br>// the timer must be stopped and—if Stop reports that the timer expired<br>// before being stopped—the channel explicitly drained:<br>//<br>// if !t.Stop() {<br>// &lt;-t.C<br>// }<br>// t.Reset(d)<br>//<br>// This should not be done concurrent to other receives from the Timer's<br>// channel.<br>//<br>// Note that it is not possible to use Reset's return value correctly, as there<br>// is a race condition between draining the channel and the new timer expiring.<br>// Reset should always be invoked on stopped or expired channels, as described above.<br>// The return value exists to preserve compatibility with existing programs.<br>//<br>// For a Timer created with AfterFunc(d, f), Reset either reschedules<br>// when f will run, in which case Reset returns true, or schedules f<br>// to run again, in which case it returns false.<br>// When Reset returns false, Reset neither waits for the prior f to<br>// complete before returning nor does it guarantee that the subsequent<br>// goroutine running f does not run concurrently with the prior<br>// one. If the caller needs to know whether the prior execution of<br>// f is completed, it must coordinate with f explicitly.<br>

所以从这些场景看,很难精确的判断出来 Channel 是否有数据,而尝试去 Drain Channel 也只是大概率可以 drain out,极端情况下,drain empty channel 之后,还会立即有数据 send 进来。

常见的超时处理 pattern 下(操作 timer 和消费 t.C 的是同一个 goroutine )应该没有你说的这种 race condition 。

写了个例子:

https://gist.github.com/lujjjh/8f9c4b257654465ed2585dcd4d193a29

可以论证的是,runOneTimer 执行 N 次,f 就会执行 N 次,从而 t.C 里会产生 N 个需要消费的东西。只要确保 runOneTimer 的执行次数(对 Timer 来说要么是 0,要么是 1 )跟 t.C 的消费次数一致即可。

正向看,只要 runOneTimer 被执行了,f 产生的 t.C 要么在 A 处被消费,如果进入了 B,t.Stop() 一定会返回 false,从而 t.C 在 C 处被消费。你说的 f 一直没有被调度的情况,消费 t.C 的 goroutine 也会被阻塞,要么阻塞在 A 处,要么阻塞在 C 处。

反向看,如果 runOneTimer 还没有被执行,就走到了 B,那么 Stop 会阻止 timer 进入 timerRunning 并且返回 true 。此时 runOneTimer 不会被执行,f 也就一定不会被执行。

感谢细心回复。

现在的问题是,在消费 channel 中的内容的时候,您是选择阻塞消耗,还是尝试消耗,这两者只能选择一个。

阻塞消耗,如果 f 没有调用,就会阻塞:
go<br>select {<br>case &lt;-timer.C:<br> xxx <br>}<br>
尝试性消耗,即使 f 没有调用,也不会阻塞:
go<br>select {<br>case &lt;-timer.C<br> xxxx<br>default:<br> xxxx<br>

如果选择阻塞性消耗,就是您编写的代码情况,那么假定的前题条件是:Stop()返回 False 表明一定执行了 f 。但是在某些情况下,不能做这样的保证,可以参考这个 bug:
<br><a target="_blank" href="https://github.com/golang/go/issues/14038" rel="nofollow noopener">https://github.com/golang/go/issues/14038</a><br>

如果 Stop()返回了 False,但是没有执行 f,那么上面的阻塞式读取就会出现问题。我们再看看什么场景下会出现 Stop()返回 false,但是 f 没有执行的情况。

只要前面超时过(第一次发送了 channel 数据),然后您的程序从正常逻辑(不是 drain channel 那段)中读取了数据,Channel 会为空。此时您去 Stop(),肯定返回 False,您再去阻塞读取 Channel,那么就会阻塞。

您可以拿代码运行一下看看:第一个匿名函数是生产者,第二个匿名函数是正常的业务逻辑(即消费者)。
正常情况下,读取数据的超时值是 2 秒。
第一次读取就超时,因为生产者 3 秒后才生产数据,超时后,BBB 处的代码会把 channel 读取干净,这也很正常,超时事件发送给我们,我们消耗它。
循环第二次执行,Stop()会返回 False (因为定时器已经 expired 了),但是不会调用 f 去 sendTime,这也就是我前面说过的超时和 f 的调用是两件独立的事情,Stop()的返回值不会反应是否发送 sendTime 。
此时,再 AAA 处的阻塞调用,就会阻塞。因为 Channel 里面的确没有数据。

go<br>package main<br><br>import (<br> "fmt"<br> "time"<br>)<br><br>func main() {<br> c := make(chan bool)<br> go func() {<br> for i := 0; i &lt; 10; i++ {<br> time.Sleep(time.Second * 3)<br> c &lt;- false<br> }<br> }()<br><br> go func() {<br> t := time.NewTimer(time.Second * 2)<br> for {<br> if !t.Stop() {<br> &lt;-t.C // AAA: will blocked here<br> }<br> t.Reset(time.Second * 2)<br> select {<br> case b := &lt;-c:<br> if !b {<br> fmt.Println(time.Now(), "work...")<br> continue<br> }<br> case &lt;-t.C: // BBB: normal receive from channel timeout event<br> fmt.Println(time.Now(), "timeout")<br> continue<br> }<br> }<br> }()<br><br> time.Sleep(time.Second * 10000000)<br>}<br>

如果改成非阻塞性读取,那么又有我第一次说的那个多了 f 调用的问题。

这段代码是有问题的,可以对比一下我上面提供的代码。并不是 f 没有调用,而是这段代码逻辑里,超时的时候消费了两次 t.C ( case <-t.C: 和下一次循环 if 分支里的 <-t.C ),修复方式也很简单,把 if !t.Stop() { <-t.C } 挪到第一个 case 里就行了。

太感谢了,这应该是正确的做法了。前面看了很多代码片段,都是把 Stop()放在 select 之外的,头脑禁锢了。感谢感谢~



go func() {
for {
func() {
timer := time.NewTimer(time.Second * 2)
defer timer.Stop()

select {
case b := <-c:
if !b {
fmt.Println(time.Now(), “work…”)
}
case <-timer.C: // BBB: normal receive from channel timeout event
fmt.Println(time.Now(), “timeout”)
}
}()
}
}()

简洁点就这么写,每次一个新的局部变量 Timer 结构体没压力,非要复用那么写法的可读性太差了,对维护者不友好,而且习惯了不好的写法,哪天一不小心就写出问题了

回帖里头贴代码的格式是真的伤

回帖好像可以用 markdown 代码块的
<br>func main() {<br> fmt.Println("Hello, 世界")<br>}<br>
<br>func main() {<br> fmt.Println("Hello, 世界")<br>}<br>

func main() {<br> fmt.Println("Hello, 世界")<br>}

不行, 用不了func main() {fmt.Println("Hello, 世界")

看你回复的好像还是不行呀,我试试

golang<br>println("test markdown response"<br>

果然不行,白高兴了

在Go语言的select模型中,确实没有直接内置超时机制,这确实是一些开发者在使用时可能会感到不便的地方。不过,这种设计也有其合理之处,它保持了select语句的简洁性和灵活性。

虽然没有内置超时,但我们可以通过一些技巧来实现超时功能。最常见的方法是使用Go语言的time.Aftertime.AfterFunc函数来配合select语句实现超时效果。time.After会返回一个在指定时间后发送当前时间的通道,而time.AfterFunc则允许在指定时间后执行一个函数。

例如,如果我们希望在等待某个通道消息时设置一个超时时间,可以这样做:

timeout := time.After(5 * time.Second)
select {
case msg := <-ch:
    // 处理从ch接收到的消息
case <-timeout:
    // 处理超时情况
}

在这个例子中,如果ch在5秒内没有发送消息,select语句就会选择<-timeout分支,从而允许我们处理超时逻辑。

总的来说,虽然select没有内置超时机制,但通过结合time包的功能,我们可以灵活地实现超时控制。这种设计既保持了语言的简洁性,又提供了足够的灵活性来满足各种场景的需求。因此,在使用Go语言时,理解并善用这些技巧是非常重要的。

回到顶部