Goroutine（协程）和系统线程（OS Thread）是 Go 语言高并发能力的核心所在。简单来说，Goroutine 是 Go 语言运行时（Runtime）管理的“轻量级线程”，而系统线程是操作系统内核管理的资源。

以下是它们在内存、调度、创建成本等方面的详细对比：

核心区别总结表

---

详细对比解析

1. 内存占用 (Memory Consumption)

• OS Thread: 操作系统线程通常有一个固定大小的栈内存（通常默认为 2MB 或 8MB）。如果你创建 1000 个线程，可能就需要几个 GB 的内存，这限制了线程的总数量。
• Goroutine: Goroutine 的初始栈非常小，通常只有 2KB。更重要的是，这个栈是动态伸缩的。随着任务需要，它可以自动增长（最大可达 1GB，视架构而定），不需要时可以收缩。这使得在普通的硬件上同时运行成千上万甚至上百万个 Goroutine 成为可能。

2. 创建与销毁成本 (Creation & Teardown)

• OS Thread: 创建线程需要向操作系统申请资源，涉及内核态和用户态的切换，过程繁琐且昂贵。
• Goroutine: 由 Go Runtime 在用户态进行管理。创建 Goroutine 就像分配一个对象一样简单，开销极小。

3. 上下文切换 (Context Switching)

这是性能差异的关键点。

• OS Thread: 线程切换由内核控制。切换时需要保存和恢复所有的 CPU 寄存器（通用寄存器、浮点寄存器、程序计数器、栈指针等），还需要处理内存映射等状态。这个过程比较慢，且涉及陷入内核态。
• Goroutine: 切换由 Go Runtime 控制。因为 Goroutine 是用户态的代码，不需要陷入内核。切换时只需要保存和恢复极少量的寄存器（主要是 PC 程序计数器、SP 栈指针和 DX）。因此，Goroutine 的切换速度比系统线程快一个数量级。

4. 调度模型 (Scheduling)

• OS Thread: 操作系统使用 1:1 模型（一个用户线程对应一个内核线程）。内核负责调度，通常基于时间片轮转。
• Goroutine: Go 使用 M:N 模型（M 个 Goroutine 映射到 N 个系统线程上）。
  • G (Goroutine): 任务本身。
  • M (Machine): 对应一个系统线程。
  • P (Processor): 逻辑处理器，维护一个 Goroutine 队列。
  • 机制: 如果某个 Goroutine 阻塞了（例如进行系统调用），P 会带着其他的 G 转移到另一个 M 上运行，从而复用线程，避免线程阻塞导致的资源浪费。

5. 身份标识 (Identity)

• OS Thread: 每个线程都有唯一的 ID。程序员经常利用这个 ID 来实现 线程局部存储 (Thread Local Storage, TLS)。
• Goroutine: Go 官方故意没有暴露 Goroutine ID。这是为了防止程序员滥用 TLS（TLS 会导致代码耦合度高、难以测试）。Go 鼓励通过参数传递上下文（Context）或使用 Channel 来通信，而不是依赖隐式的局部存储。

总结

你可以把 OS Thread 想象成一条宽阔但昂贵的高速公路车道，而 Goroutine 是在这条车道上飞驰的轻型赛车。Go 的运行时调度器（Scheduler）就是一个超级交警，它能极其高效地指挥成千上万辆赛车（Goroutine）在为数不多的车道（OS Thread）上交替运行，从而榨干 CPU 的性能。