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

编程并不是一个机械性的工作，而是需要有思考，有创新的工作，语法是固定的，但解决问题的思路则是依靠人的思维，这就需要我们坚持学习和更新自己的知识。今天golang学习网就整理分享《Go 并发中，为什么协程的执行顺序会与预期不同？》，文章讲解的知识点主要包括，如果你对Golang方面的知识点感兴趣，就不要错过golang学习网，在这可以对大家的知识积累有所帮助，助力开发能力的提升。

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 中依赖协程的特定调度顺序是不明智和不可靠的。开发人员应该避免在代码中对协程执行顺序做出假设。

今天带大家了解了的相关知识，希望对你有所帮助；关于Golang的技术知识我们会一点点深入介绍，欢迎大家关注golang学习网公众号，一起学习编程~