2. Go 并发原语速览：Goroutine、Channel、Select、WaitGroup 的核心理念与适用场景

在进入聚合建模实践之前，必须先建立对 Go 并发原语的统一认知。Go 语言以 CSP（Communicating Sequential Processes） 模型为基石，提供了四个核心原语：Goroutine、Channel、Select 和 WaitGroup。它们不是孤立存在的，而是构成并发协作的“四象限”。

2.1 四原语核心概念速览

2.2 Goroutine：并发执行的最小单元

Goroutine 是 Go 并发模型的基础。与操作系统线程不同，Goroutine 由 Go 运行时（runtime）中的 M:N 调度器 管理，将 M 个 goroutine 映射到 N 个 OS 线程上执行。

• 启动成本极低：栈初始大小仅 2KB，创建百万级 goroutine 是可行的。
• 非阻塞式调度：当 goroutine 在 channel 操作、系统调用或阻塞 I/O 时，调度器会自动挂起并切换其他 goroutine。
• 不要直接管理线程：永远不要手动创建 OS 线程，始终使用 go 关键字。

// 启动一个 goroutine
go func() {
    fmt.Println("Hello from goroutine")
}()

// 启动多个 goroutine 执行相同函数
for i := 0; i < 10; i++ {
    go worker(i)
}

2.3 Channel：goroutine 之间的通信桥梁

Channel 是类型化的管道，用于 goroutine 之间的同步通信。它解决了传统并发编程中“共享内存 + 锁”的复杂性。

// 无缓冲 channel：严格同步
ch := make(chan string)
go func() {
    ch <- "ping"  // 发送，直到 main goroutine 接收才继续
}()
msg := <-ch       // 接收，阻塞直到有数据
fmt.Println(msg)

// 有缓冲 channel：异步队列
queue := make(chan int, 3)
queue <- 1
queue <- 2
queue <- 3
// queue <- 4  // 此时会阻塞，因为缓冲区已满

2.4 Select：多路复用与超时控制

select 语句让一个 goroutine 同时等待多个 channel 操作。它类似于网络编程中的 select() 系统调用，但更安全、更易用。

• 随机选择：当多个 case 同时满足条件时，select 会随机选择一个执行，避免饥饿。
• default 分支：如果所有 case 都阻塞，则执行 default，实现非阻塞尝试。
• nil channel：对 nil channel 的读写会永久阻塞，可用于在 select 中动态禁用某个 case。

// 超时控制模式
select {
case result := <-ch:
    fmt.Println("收到结果:", result)
case <-time.After(3 * time.Second):
    fmt.Println("操作超时")
}

// 多路信号监听
select {
case msg := <-msgCh:
    handleMessage(msg)
case sig := <-signalCh:
    handleSignal(sig)
case <-ticker.C:
    doPeriodicTask()
}

2.5 WaitGroup：等待 goroutine 集合完成

sync.WaitGroup 是一个计数信号量，用于等待一组 goroutine 全部完成。它提供了三个方法：Add(delta)、Done() 和 Wait()。

var wg sync.WaitGroup

for i := 0; i < 5; i++ {
    wg.Add(1)  // 在启动前增加计数
    go func(id int) {
        defer wg.Done()  // 确保完成时递减
        fmt.Printf("Worker %d 开始\n", id)
        time.Sleep(time.Second)
        fmt.Printf("Worker %d 完成\n", id)
    }(i)
}

wg.Wait()  // 等待所有 worker 完成
fmt.Println("所有任务完成")

2.6 四原语协作关系图

下面的 SVG 图展示了 Goroutine、Channel、Select 和 WaitGroup 在典型并发场景中的协作关系：

2.7 适用场景对比与选择指南

在实际建模中，选择正确的原语组合至关重要。下表总结了常见场景下的推荐方案：

2.8 常见误区与避坑指南