一、Go的并发哲学：CSP模型
Go语言的并发模型源于CSP（Communicating Sequential Processes）理论，核心信条是："不要通过共享内存来通信，而要通过通信来共享内存"。这句话意味着Go鼓励使用Channel在Goroutine之间传递数据，而非使用互斥锁保护共享变量。
二、Goroutine：轻量级并发的基石
Goroutine是Go运行时管理的用户态轻量级线程，关键特性：
- 初始栈仅2KB（操作系统线程通常1MB），可动态扩缩容
- 百万Goroutine不是梦：2KB × 1,000,000 = 2GB内存，完全在单机可承受范围内
- 协作式调度：在函数调用、Channel操作、系统调用等时机自动切换，避免线程切换开销
三、GMP调度模型深度剖析
Go的调度器采用GMP三元素模型：
- G（Goroutine）：待执行的任务，包含栈、指令指针等信息
- M（Machine）：操作系统线程，真正执行代码的实体
- P（Processor）：逻辑处理器，维护G的本地运行队列，数量由GOMAXPROCS决定（默认等于CPU核心数）
调度流程：每个P绑定一个M，P从本地队列取出G交给M执行。本地队列空时，从全局队列或其他P的队列"偷取"（Work Stealing）G。当G进行阻塞系统调用时，M与P解绑（handoff），P寻找或创建新M继续执行其他G。
四、Channel通信模式大全
| 模式 | 实现方式 | 典型场景 |
|---|---|---|
| Pipeline | 多个Channel串联，前级输出=后级输入 | 数据处理流水线 |
| Fan-out | 一个输入Channel分发到多个Goroutine | 并行处理任务 |
| Fan-in | 多个Goroutine输出合并到一个Channel | 结果汇总 |
| Select多路复用 | select {} 监听多个Channel | 超时控制、多源数据 |
| Worker Pool | 固定数量Goroutine从Job Channel取任务 | 控制并发数 |
五、同步原语与最佳实践
- sync.WaitGroup：等待一组Goroutine完成，最常用的同步原语
- sync.Mutex / RWMutex：互斥锁和读写锁，读多写少场景使用RWMutex
- sync.Once：确保只执行一次（单例模式、初始化）
- errgroup：WaitGroup + 错误收集，任一Goroutine出错则整体取消
最佳实践：优先使用Channel通信，只在性能敏感场景使用Mutex；使用Context传递取消信号和超时，避免Goroutine泄漏；goroutine泄漏检测使用go.uber.org/goleak。
相关阅读：Python 3.13无GIL时代 | Java 21虚拟线程 | Rust 2026崛起
评论 (29)