1. 并发基础：Go并发模型概述、Goroutine与线程对比、Goroutine的轻量级原理
1.1 Go并发模型概述
Go语言的并发模型建立在CSP（Communicating Sequential Processes，通信顺序进程）理论之上，由Tony Hoare于1978年提出。与传统的共享内存并发模型不同，CSP强调“不要通过共享内存来通信，而应通过通信来共享内存”。
Go运行时实现了M:N调度模型，将M个goroutine映射到N个操作系统线程上执行。这一模型的核心组件包括：
- G（Goroutine）：轻量级执行体，包含栈、指令指针、状态等元数据。
- M（Machine）：操作系统线程，由内核调度，负责执行goroutine。
- P（Processor）：逻辑处理器，是G和M之间的调度上下文，控制并发度（默认等于CPU核心数）。
关键认知： Go的并发模型不是“多线程编程的简化版”，而是一种全新的并发抽象。goroutine是Go语言对CSP模型的具体实现，channel则是CSP中“通信”机制的载体。
1.2 Goroutine与线程对比
Goroutine常被称为“轻量级线程”，但两者在创建成本、调度方式、栈管理等方面存在本质差异。下表从多个维度进行对比：
| 对比维度 | 操作系统线程 | Goroutine |
|---|---|---|
| 创建成本 | 约 1~8 MB 栈空间 + 内核对象 | 初始仅 2~4 KB 栈空间 |
| 调度方式 | 内核态抢占式调度 | 用户态协作式调度 + 抢占点 |
| 上下文切换 | 约 1~10 μs（涉及内核态切换） | 约 0.1~1 μs（纯用户态切换） |
| 创建数量 | 数千个（受系统资源限制） | 数百万个（内存足够即可） |
| 栈管理 | 固定大小栈（通常 1~8 MB） | 动态伸缩栈（初始小，按需增长） |
| 标识符 | 有全局线程ID | 无全局ID（Go不暴露） |
| 通信方式 | 通常通过共享内存 + 锁 | 推荐通过 channel 通信 |
性能数据参考： 在相同硬件上创建 100,000 个线程通常会导致系统崩溃或OOM，而创建 100,000 个 goroutine 仅需约 200~400 MB 内存，且启动时间在毫秒级。
1.3 Goroutine的轻量级原理
Goroutine之所以“轻”，主要源于以下三个核心设计：
- 动态伸缩栈：初始栈仅 2~4 KB，运行时按需增长（通过栈复制技术），最大可达 1 GB。相比线程固定 1~8 MB 的栈空间，goroutine 在内存占用上具有数量级优势。
- 用户态调度：Go运行时自带调度器，goroutine的创建、切换、销毁均在用户态完成，不涉及系统调用，避免了内核态切换的高昂开销。
- 分段栈与栈复制：早期Go使用分段栈（segmented stacks），Go 1.3之后改用栈复制（stack copying）技术，在栈空间不足时分配更大的连续内存块并复制栈内容，效率更高。
1.4 调度器工作流程
Go调度器采用协作式调度，但加入了抢占点以防止goroutine长时间占用CPU。调度循环的核心逻辑如下：
- 调度循环开始：P 从本地队列或全局队列获取一个可运行的 G。
- 执行：P 将 G 绑定到 M 上执行。
- 阻塞/退出：G 执行完毕或发生阻塞（如 channel 操作、系统调用、time.Sleep），M 被释放。
- 重新调度：P 寻找下一个可运行的 G，重复步骤 1。
- 抢占：如果 G 运行超过 10 ms，调度器会发送抢占信号，强制让出 CPU。
注意： 虽然 goroutine 是轻量级的，但并不意味着可以无限制创建。每个 goroutine 至少占用 2~4 KB 栈空间，加上调度元数据，1000 万个 goroutine 将消耗约 20~40 GB 内存。在实际工程中，goroutine 池是控制并发数量的重要手段，这也是本课程后续章节的核心内容。
1.5 本章小结
- Go并发模型基于CSP理论，通过G-M-P调度架构实现高效的M:N调度。
- Goroutine相比线程在创建成本、栈空间、调度开销上具有数量级优势。
- 轻量级的核心在于动态伸缩栈、用户态调度和栈复制技术。
- 理解G-M-P模型是后续设计goroutine池和进行系统资源调优的基础。