go 协程执行顺序的谜团

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

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" 块优先，因此输出结果应该为：

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

然而，实际运行结果却令人惊讶：

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

为什么会出现这种差异？

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

Miller CSV TSV JSON 数据处理器

Miller (mlr) 是一个命令行工具，用于查询、整形和重新格式化名称索引数据，如 CSV、TSV、JSON 和 JSON Lines。它将 awk、sed、cut、join 和 sort 的功能整合到一个专为结构化数据处理而构建的单一工具中。

下载

那么，go 如何调度协程呢？

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

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

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

结论

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