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 语言文档明确指出，协程的调度顺序是未定义的。因此，依赖于特定调度顺序的代码是不明智的。
那么，go 如何调度协程呢？
go 采用抢占式调度算法，这意味着调度程序可以随时中断正在运行的协程，以运行其他协程。这种中断是由以下因素驱动的，包括：
- 处理器空闲：当处理器不再有要运行的协程时，调度程序会选择另一个协程运行。
- 协程阻塞：如果正在运行的协程因等待资源而被阻塞（例如，i/o 操作），调度程序会切换到另一个协程。
- 公平性：为了防止协程饥饿，调度程序会尝试确保所有协程都有机会运行。
因此，协程的执行顺序不仅取决于启动顺序，还取决于其他因素，例如处理器可用性、协程阻塞和公平性算法。
结论
go 协程的调度顺序是一个复杂且未定义的机制。虽然依赖于特定调度顺序可能是诱人的，但由于它不可靠，应该避免这样做。相反，程序员应该专注于编写健壮性代码，不受协程执行顺序的影响。
