1. Goroutine 基础：Go并发模型、Goroutine与线程对比、轻量级原理

1.1 Go并发模型：CSP与GMP

Go语言的并发模型基于CSP（Communicating Sequential Processes，通信顺序进程）理论，核心思想是：不要通过共享内存来通信，而应通过通信来共享内存。与传统的多线程编程（如Java、C++）依赖锁和共享变量不同，Go通过Channel在Goroutine之间传递消息，从根本上避免了复杂的锁竞争和死锁问题。

Go运行时实现了GMP调度模型，这是Goroutine能够高效运行的根本保障：

1.2 Goroutine vs 线程：核心差异对比

Goroutine常被称为“用户态线程”，但其与操作系统线程在多个维度存在本质差异。理解这些差异是进行池化调优的前提：

1.3 Goroutine轻量级原理：栈动态伸缩与用户态调度

Goroutine之所以被称为“轻量级”，核心在于以下三个技术原理：

1. 栈空间动态伸缩：初始栈仅2~4KB，通过stack copying技术动态扩容（最大1GB），远小于线程的固定1~8MB栈。
2. 用户态调度：Go运行时在用户空间完成Goroutine的创建、切换和销毁，不依赖系统调用，避免了内核态切换的高昂成本。
3. 协作式+抢占式混合调度：Go 1.14之前以协作式为主（函数调用时检查调度点），1.14之后引入基于信号的异步抢占，解决了纯协作式调度可能导致的“饿死”问题。

下面通过一个简单的代码示例，直观感受Goroutine的轻量级特性：

package main

import (
    "fmt"
    "runtime"
    "sync"
)

func main() {
    // 查看当前GOMAXPROCS（逻辑处理器数量）
    fmt.Println("GOMAXPROCS:", runtime.GOMAXPROCS(0))

    var wg sync.WaitGroup
    // 启动10万个Goroutine
    for i := 0; i < 100000; i++ {
        wg.Add(1)
        go func(id int) {
            defer wg.Done()
            // 模拟轻量计算
            _ = id * id
        }(i)
    }
    wg.Wait()
    fmt.Println("10万个Goroutine执行完毕，内存占用极小")
}

1.4 本节小结与性能启示

• Goroutine是Go并发编程的基石，其轻量级特性（2~4KB初始栈、用户态调度、动态伸缩）使得百万级并发成为可能。
• GMP调度模型通过G、M、P三层结构，实现了Goroutine到内核线程的高效映射，避免了传统线程模型的资源浪费。
• 与OS线程的对比清晰表明：Goroutine在创建成本、切换开销、可扩展性方面具有数量级优势，但并非“银弹”——无限制创建Goroutine仍会导致调度器压力和内存膨胀，这正是后续章节中Goroutine池化调优要解决的核心问题。