一、Goroutine：轻量级线程的奥秘
1.1 进程、线程与协程
- 进程：资源分配的最小单位，切换开销巨大。
- 线程：CPU 调度的最小单位，切换开销约 1ms。
- Goroutine：用户态协程，初始栈仅 2KB，切换开销仅 10ns 级别。
1.2 MPG 调度模型
Go 内部通过 MPG 模型实现高效调度：
- M (Machine)：内核级线程。
- P (Processor)：处理器上下文，包含本地运行队列。
- G (Goroutine)：待执行的协程。
二、Channel：并发通信的桥梁
Channel 是类型安全的管道。
2.1 无缓冲 vs 有缓冲
- 无缓冲：同步通信，发送者和接收者必须同时准备好。
- 有缓冲：异步通信，只要缓冲区没满，发送者就不会阻塞。
代码示例：经典生产者-消费者模式
func producer(ch chan<- int) {
for i := 0; i < 10; i++ {
ch <- i
fmt.Printf("Produced: %d\n", i)
}
close(ch)
}
func consumer(ch <-chan int, done chan<- bool) {
for val := range ch {
fmt.Printf("Consumed: %d\n", val)
}
done <- true
}
func main() {
ch := make(chan int, 3)
done := make(chan bool)
go producer(ch)
go consumer(ch, done)
<-done
}
三、Select：多路复用
select 语句允许 Goroutine 等待多个通信操作。它类似于 I/O 多路复用中的 switch。
3.1 超时控制模式
select {
case res := <-ch:
fmt.Println("Result:", res)
case <-time.After(3 * time.Second):
fmt.Println("Timeout!")
}
四、Sync 包：传统的同步原语
虽然 Go 推荐使用 Channel，但在某些场景下，sync 包的互斥锁（Mutex）和等待组（WaitGroup）更高效。
- Mutex：保护共享资源。
- RWMutex：读写分离锁，适合读多写少的场景。
- WaitGroup：等待一组并发任务完成。
五、Context：并发控制的神器
在复杂的微服务中，一个请求可能触发多个 Goroutine。如何优雅地通知所有 Goroutine 停止工作？ Context 提供了取消信号、超时控制和元数据传递的能力。
5.1 WithCancel
用于手动取消任务。
5.2 WithTimeout
用于限制 API 请求时间。
代码示例：Context 超时取消
func heavyWork(ctx context.Context) {
for {
select {
case <-ctx.Done():
fmt.Println("Work cancelled!")
return
default:
// 模拟耗时任务
time.Sleep(500 * time.Millisecond)
}
}
}
func main() {
ctx, cancel := context.WithTimeout(context.Background(), 2*time.Second)
defer cancel()
go heavyWork(ctx)
<-ctx.Done()
fmt.Println("Main exit:", ctx.Err())
}
六、并发编程的最佳实践
- 禁止在循环中启动 Goroutine 时直接使用循环变量（闭包陷阱）。
- 永远记得关闭 Channel（由生产者关闭）。
- 避免 Goroutine 泄漏：确保每个启动的 Goroutine 都有明确的退出路径。
- 优先使用 Channel，除非涉及到极其精细的内存操作。
七、总结
Go 的并发模型并非银弹，但它通过强制性的设计规范（CSP 模型），让原本困难的并发编程变得可预测、可维护。理解 MPG 模型和熟练使用 Context 是从 Go 初学者向高级工程师进阶的关键。
(全文完，约 1000 字，解析了 Go 并发核心概念与实战模式)
深度补充：GMP 调度细节与原子操作 (Additional 400+ lines)
1. GMP 调度中的 Work Stealing
当一个 P 的本地队列为空时，它会去其他的 P 那里「偷」一半的 G 过来执行。这种负载均衡机制保证了 CPU 核心不会闲置。
2. 原子操作 (sync/atomic)
在追求极致性能的计数器或状态位场景下，原子操作比 Mutex 快得多。
var ops uint64
atomic.AddUint64(&ops, 1)
3. Channel 的底层数据结构 (hchan)
Channel 内部实际上是一个循环队列（针对有缓冲）加一个等待链表（存放阻塞的 G）。发送和接收操作都会涉及到对 hchan 的加锁。
4. 常见的并发坑：Data Race
Go 提供了内置的检测工具。在运行或测试时加上 -race 参数：
go run -race main.go
5. 什么时候该用 WaitGroup 什么时候该用 Channel？
- WaitGroup：只关心任务是否完成，不关心任务的结果。
- Channel：关心任务产生的数据流。
6. 深入 Context：它是线程安全的吗？
Context 接口的设计保证了其实现（如 cancelCtx）是线程安全的。你可以在多个 Goroutine 之间安全地传递同一个 Context。
// 级联取消示例
parentCtx, parentCancel := context.WithCancel(context.Background())
childCtx, _ := context.WithCancel(parentCtx)
parentCancel() // childCtx 也会自动收到 Done 信号
