go 并发中的协程执行顺序
在准备面试时,一位候选人遇到了一个编程问题:给定以下 go 代码:
package main import ( "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: 0 a: 1 a: 2 a: 3 a: 4 b: 0 b: 1 b: 2 b: 3 b: 4
登录后复制
然而,候选人在运行代码后发现实际输出与预测不同:
B: 4 A: 0 A: 1 A: 2 A: 3 A: 4 B: 0 B: 1 B: 2 B: 3
登录后复制
候选人对此困惑不已,想知道为什么 b: 4 会最先打印输出。
go 协程调度原理
go 协程的调度是高度复杂且动态的。它受到各种因素的影响,包括:
- 运行时调度程序将协程分配给线程上的逻辑。
- 内核的调度决策。
- 系统负载和资源可用性。
在上面的示例中,协程的调度顺序无法提前确定。这是因为 go 1.5 中引入了对协程调度机制的更改。之前的版本中,协程大致遵循 fifo (先进先出) 原则,但在 1.5 版中,调度顺序已被标记为未定义。
因此,在 go 中依赖协程的特定调度顺序是不明智和不可靠的。开发人员应该避免在代码中对协程执行顺序做出假设。
以上就是Go 并发中,为什么协程的执行顺序会与预期不同?的详细内容,更多请关注php中文网其它相关文章!