Go 并发中，为什么协程的执行顺序会与预期不同？

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 并发中，为什么协程的执行顺序会与预期不同？的详细内容，更多请关注其它相关文章！