Go语言协程：为什么协程的执行顺序并非我预想的那样？

执行顺序个协调度 885 来源： 2025-03-12

在Go语言中，协程（goroutine）的执行顺序并非总是按照你预期的顺序进行，这主要是因为Go语言的调度器（scheduler）和并发模型的设计。以下是一些可能导致协程执行顺序不符合预期的原因：

Go语言的协程是并发执行的，而不是并行执行的。并发意味着多个协程可以在逻辑上同时运行，但实际上它们可能在不同的时间片上交替执行。Go语言的调度器负责决定哪个协程在哪个时间片执行，因此协程的执行顺序是不确定的。

Go语言的调度器是非确定性的，这意味着它不会按照固定的顺序调度协程。调度器会根据当前的系统状态、协程的状态、CPU核心的数量等因素来决定哪个协程先执行。因此，即使你多次运行同一个程序，协程的执行顺序也可能不同。

协程的启动时间可能会影响它们的执行顺序。虽然你可能会按顺序启动多个协程，但由于启动协程的开销和调度器的调度策略，协程的实际执行顺序可能会有所不同。

如果你的协程之间存在共享资源的竞争条件，那么它们的执行顺序可能会受到竞争条件的影响。例如，多个协程同时访问同一个变量或资源时，可能会导致执行顺序的不确定性。

GOMAXPROCS 环境变量控制着Go程序可以使用的CPU核心数量。默认情况下，GOMAXPROCS 的值等于CPU核心数。如果你设置了 GOMAXPROCS=1，那么所有的协程将在单个线程上运行，这可能会导致协程的执行顺序更加不可预测。

如果协程中有阻塞操作（如I/O操作、通道通信、锁等），这些操作可能会导致协程被挂起，从而影响其他协程的执行顺序。

如果你需要控制协程的执行顺序，可以考虑以下几种方法：

使用通道（Channel）：通过通道来同步协程的执行顺序。例如，你可以使用无缓冲通道来确保一个协程在另一个协程完成后再执行。
```
ch := make(chan bool)
go func() {
   // 协程1的逻辑
   ch <- true
}()
<-ch // 等待协程1完成
go func() {
   // 协程2的逻辑
}()
```

使用 sync.WaitGroup：WaitGroup 可以用来等待一组协程完成后再继续执行。

var wg sync.WaitGroup
wg.Add(1)
go func() {
   defer wg.Done()
   // 协程1的逻辑
}()
wg.Wait() // 等待协程1完成
go func() {
   // 协程2的逻辑
}()

使用 sync.Mutex 或 sync.RWMutex：如果你需要保护共享资源，可以使用互斥锁来确保协程之间的同步。

var mu sync.Mutex
go func() {
   mu.Lock()
   defer mu.Unlock()
   // 协程1的逻辑
}()
go func() {
   mu.Lock()
   defer mu.Unlock()
   // 协程2的逻辑
}()

Go语言的协程执行顺序是由调度器决定的，具有非确定性。如果你需要控制协程的执行顺序，可以通过通道、WaitGroup、互斥锁等机制来实现同步。理解并发编程的本质和Go语言的调度机制，可以帮助你更好地编写并发程序。

推荐文章