2. Goroutine 基础：创建、启动与核心原理

Goroutine 是 Go 语言并发编程的基石，它是一种由 Go 运行时管理的轻量级执行单元。与操作系统线程相比，Goroutine 的创建和切换开销极低，使得开发者可以轻松启动成千上万个并发任务。本节将深入讲解 Goroutine 的创建与启动方式、go 关键字的工作原理，并通过与线程的对比揭示其设计优势。

2.1 Goroutine 创建与启动

在 Go 中，启动一个 Goroutine 只需在函数调用前加上 go 关键字。该函数可以是命名函数、匿名函数或闭包。Goroutine 会在新的执行流中异步运行，不会阻塞当前 Goroutine。

package main

import (
    "fmt"
    "time"
)

func printMsg(msg string) {
    for i := 0; i < 3; i++ {
        fmt.Println(msg, i)
        time.Sleep(100 * time.Millisecond)
    }
}

func main() {
    // 方式一：启动命名函数
    go printMsg("Goroutine A")

    // 方式二：启动匿名函数
    go func(id int) {
        fmt.Println("匿名 Goroutine, ID:", id)
    }(42)

    // 方式三：启动闭包（注意变量捕获）
    for i := 0; i < 3; i++ {
        go func(n int) {
            fmt.Println("闭包 Goroutine:", n)
        }(i) // 显式传值，避免共享变量问题
    }

    // 等待 Goroutine 执行（仅用于演示，生产环境应使用 sync.WaitGroup）
    time.Sleep(1 * time.Second)
    fmt.Println("主 Goroutine 结束")
}

2.2 Go 关键字原理

go 关键字是 Go 编译器和运行时协作的结果，其底层执行流程可分为三个关键步骤：

1. 编译器标记： 编译器将 go func() 调用识别为 Goroutine 创建指令，生成特殊的运行时调用，而非普通函数调用。
2. 运行时创建： 运行时调用 runtime.newproc，在堆上分配一个 g 结构体（Goroutine 描述符），初始栈大小仅 2KB～4KB，并设置函数入口、参数和调度上下文。
3. 调度器入队： 新创建的 Goroutine 被放入当前 P（Processor）的本地运行队列或全局运行队列，等待 M（Machine，即系统线程）取出执行。

2.3 Goroutine 与线程对比

Goroutine 常被称为“协程”，但其与操作系统线程有本质区别。下表从多个维度对比两者，帮助理解 Goroutine 的轻量级设计。

2.4 关键设计理念

• 栈动态伸缩： Goroutine 初始栈仅 2KB，当栈空间不足时，运行时通过 runtime.morestack 触发栈扩容（拷贝到新位置），最大可达 1GB。栈收缩则在 GC 时进行，回收未使用的栈空间。
• 协作式调度基础： 早期 Go 版本采用纯协作式调度，Goroutine 在主动让出（如 channel 操作、系统调用）时切换。Go 1.14 后引入基于信号的抢占式调度，防止长时间计算的 Goroutine 饿死其他任务。
• 无全局 ID 设计： Go 刻意不暴露 Goroutine 的全局唯一 ID，避免开发者依赖 ID 进行 Goroutine 间的耦合通信，强制使用 Channel 等更安全的并发原语。