Go 协程执行顺序的谜团:为什么输出结果与预期不符?

go 协程执行顺序的谜团:为什么输出结果与预期不符?

go 协程执行顺序的谜团

当谈及 go 语言的协程调度时,网上流传着一种猜测:协程的执行顺序遵循先进先出的(fifo)队列规则。然而,在面试中遇到的一段代码却挑战了这一假设。

package mainimport (    "fmt"    "runtime"    "sync")func main() {    runtime.gomaxprocs(1)    wg := sync.waitgroup{}    wg.add(10)    for i := 0; i < 5; i++ {        go func() {            fmt.println("a:", i)            wg.done()        }()    }    for i := 0; i < 5; i++ {        go func(num int) {            fmt.println("b:", num)            wg.done()        }(i)    }    wg.wait()}

登录后复制

乍一看,由于协程的启动顺序为 “a” 块优先,因此输出结果应该为:

a: 5a: 5a: 5a: 5a: 5b: 0b: 1b: 2b: 3b: 4

登录后复制

然而,实际运行结果却令人惊讶:

B: 4A: 5A: 5A: 5A: 5A: 5B: 0B: 1B: 2B: 3

登录后复制

为什么会出现这种差异?

这个问题的答案并不是显而易见的。go 语言文档明确指出,协程的调度顺序是未定义的。因此,依赖于特定调度顺序的代码是不明智的。

那么,go 如何调度协程呢?

go 采用抢占式调度算法,这意味着调度程序可以随时中断正在运行的协程,以运行其他协程。这种中断是由以下因素驱动的,包括:

处理器空闲:当处理器不再有要运行的协程时,调度程序会选择另一个协程运行。协程阻塞:如果正在运行的协程因等待资源而被阻塞(例如,i/o 操作),调度程序会切换到另一个协程。公平性:为了防止协程饥饿,调度程序会尝试确保所有协程都有机会运行。

因此,协程的执行顺序不仅取决于启动顺序,还取决于其他因素,例如处理器可用性、协程阻塞和公平性算法。

结论

go 协程的调度顺序是一个复杂且未定义的机制。虽然依赖于特定调度顺序可能是诱人的,但由于它不可靠,应该避免这样做。相反,程序员应该专注于编写健壮性代码,不受协程执行顺序的影响。

以上就是Go 协程执行顺序的谜团:为什么输出结果与预期不符?的详细内容,更多请关注【创想鸟】其它相关文章!

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至253000106@qq.com举报,一经查实,本站将立刻删除。

发布者:PHP中文网,转转请注明出处:https://www.chuangxiangniao.com/p/2316499.html

(0)
上一篇 2025年2月28日 14:59:00
下一篇 2025年2月28日 14:59:15

AD推荐 黄金广告位招租... 更多推荐

相关推荐

发表回复

登录后才能评论