Go 语言并发模型深度解析：GMP 与实战模式

一、Go 并发哲学

不要通过共享内存来通信，而应通过通信来共享内存。Go 通过 CSP 模型实现并发。

二、GMP 调度器

组件

• G（Goroutine）：轻量级执行体，栈 2KB 动态增长
• M（Machine）：OS 线程
• P（Processor）：逻辑处理器，管理 G 队列

调度策略

每个 P 维护本地 G 队列，工作窃取机制让空闲 P 从其他 P 偷 G。

为什么快？

goroutine 创建仅 4KB（线程 1MB+），上下文切换仅 3 条指令。

三、并发模式

Pipeline 模式：通过 channel 连接多个处理阶段。
Fan-out/Fan-in：多个 goroutine 读取和合并 channel。
Select 多路复用：处理多 channel 和超时。

四、控制工具

sync.WaitGroup、sync.Mutex、sync.RWMutex、sync.Once、errgroup、semaphore。

五、常见陷阱

• goroutine 泄漏：channel 未关闭
• 并发写 map：需 sync.Map
• channel 死锁：无缓冲 channel 同步问题
• panic 传播：goroutine panic 崩溃整个程序

六、优化建议

合理设置 GOMAXPROCS，使用 sync.Pool 减少 GC，用 pprof 分析瓶颈。

本文为个人学习整理，欢迎交流讨论。