Golang并发执行顺序与调度技巧

并发函数执行顺序无法保证，需通过同步机制控制。Go的GMP模型中，G（协程）、M（线程）、P（上下文）动态调度导致goroutine执行顺序不确定，如多个print可能输出ABC、BCA等。为确保顺序，应使用channel通信、WaitGroup、Mutex或Once等同步方式，例如用channel传递信号控制执行先后。

在Go语言中，并发函数的执行顺序无法保证，这是由其调度器的设计决定的。开发者不能依赖goroutine的启动顺序来推断执行顺序，必须通过同步机制控制逻辑流程。

并发执行无固定顺序

当多个goroutine并发运行时，它们的执行先后是不确定的。例如：

go func() { fmt.Println("A") }()
go func() { fmt.Println("B") }()
go func() { fmt.Println("C") }()

输出可能是ABC、BCA、CAB等任意组合。这是因为Go调度器会根据当前系统资源、GMP模型状态动态分配执行权。

Goroutine调度机制（GMP模型）

Go使用GMP模型管理并发：

• G（Goroutine）：用户态轻量级线程
• M（Machine）：操作系统线程
• P（Processor）：上下文，持有可运行G的队列

每个P维护一个本地G队列，M绑定P后从中取G执行。当本地队列空时，会尝试从全局队列或其他P的队列偷任务（work-stealing），这进一步增加了执行顺序的不确定性。

控制执行顺序的方法

若需特定执行顺序，应使用以下同步方式：

• channel通信：通过数据传递触发下一步操作
• sync.WaitGroup：等待一组goroutine完成
• sync.Mutex/RWMutex：保护共享资源访问顺序
• sync.Once：确保某操作仅执行一次

例如用channel控制顺序：

ch := make(chan bool)
go func() {
    fmt.Println("先执行")
    ch <- true
}()
<-ch
fmt.Println("后执行")

基本上就这些。Go的并发设计初衷是解耦而非排序，理解这一点才能写出健壮的并发程序。