2. Goroutine 基础：创建、生命周期与线程对比

Goroutine 是 Go 语言并发编程的核心抽象，也是 Go 调度器直接管理的执行单元。理解 Goroutine 的创建方式、生命周期状态以及它与操作系统线程的本质差异，是掌握调度器工作原理的前提。

2.1 Goroutine 创建

在 Go 中，创建一个 Goroutine 只需在函数调用前加上关键字 go。Go 运行时会将这个函数调用包装为一个 Goroutine，并放入调度器的待运行队列。

package main

import (
    "fmt"
    "time"
)

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

func main() {
    go say("hello")   // 创建 Goroutine
    go say("world")   // 创建另一个 Goroutine
    time.Sleep(1 * time.Second) // 等待 Goroutine 执行
}

创建 Goroutine 时，Go 运行时会分配一个初始栈（约 2KB），并记录其调度元信息。与线程不同，Goroutine 的创建成本极低，一个进程可以轻松创建数十万甚至上百万个 Goroutine。

2.2 Goroutine 生命周期

Goroutine 的生命周期包含三个核心阶段：创建、运行、退出。在运行阶段，Goroutine 会在调度器的管理下经历多种状态转换。

Goroutine 的主要状态包括：

• Grunnable：Goroutine 已创建或从等待中恢复，位于调度器的运行队列中，等待被 M（线程）获取执行。
• Grunning：Goroutine 正在某个 M 上执行用户代码。
• Gwaiting：Goroutine 因等待 channel 操作、锁、定时器或 I/O 而阻塞。
• Gsyscall：Goroutine 正在执行系统调用，此时 M 与 P 解绑，等待系统调用返回。
• Gdead：Goroutine 执行完毕，结构体被放入空闲列表以备复用。

2.3 Goroutine 与线程对比

Goroutine 常被称为“轻量级线程”，但它们在创建成本、调度方式、栈管理等方面存在本质差异。下表从多个维度进行对比：

2.4 Goroutine 的核心优势

基于上述对比，Goroutine 在以下场景中具有显著优势：

• 高并发 I/O：处理数千个网络连接时，每个连接使用一个 Goroutine 比使用线程节省大量内存。
• 微服务架构：每个请求可以启动一个 Goroutine 处理，创建和销毁成本极低。
• 定时任务：结合 time.Ticker 或 time.After，Goroutine 可以高效管理大量定时器。
• 流水线处理：通过 channel 连接多个 Goroutine，形成高效的数据处理流水线。