前言
很多人听说：
goroutine 很轻，可以开几十万
但为什么轻？到底轻在哪里？
我们从 内存、创建成本、切换成本、调度方式 四个维度拆开讲清楚。
一、最核心的一句话
goroutine 轻，是因为它是用户态调度 + 小栈 + 自己管理切换。
而线程：
是内核调度 + 大栈 + 内核切换。
差别非常大。
二、第一点：栈空间小（最直观）
线程的栈
操作系统线程：
- 默认栈大小通常 1MB～8MB
- 一创建就分配好
- 不会自动缩小
如果你开 10 万个线程？
1MB × 100000 = 100GB
直接爆内存。
goroutine 的栈
goroutine：
- 初始栈只有 2KB（不同版本略有差异）
- 按需自动扩容
- 可以自动收缩
例如：
- 只调用几层函数 → 一直是 2KB
- 深度递归 → 自动扩展
- 用完 → 可能回收
这就是“可增长栈”。
三、第二点：创建成本低
创建线程时发生什么？
创建 OS 线程需要：
- 内核分配栈
- 创建 TCB（线程控制块）
- 注册调度器
- 系统调用
- 内核态切换
是一次“重量级系统调用”。
创建 goroutine 时？
创建 goroutine：
- 分配一个 G 结构体
- 分配小栈
- 加入 P 的队列
没有系统调用。
完全在用户态完成。
所以：
- 开线程：微秒级甚至更高
- 开 goroutine：纳秒级
四、第三点：切换成本低（非常关键）
线程切换是：
内核调度
会发生：
- 用户态 → 内核态
- 保存寄存器
- 切换页表
- 刷新 TLB
- cache 失效
成本非常高。
goroutine 切换是：
runtime 调度
只需要：
- 保存少量寄存器
- 切换栈指针
- 更新 G 状态
没有内核参与。
属于“用户态协程切换”。
开销小得多。
五、第四点：调度方式不同
线程：
由操作系统调度
调度器不理解你的程序逻辑。
goroutine：
由 Go runtime 调度
它知道：
- 哪些 G 阻塞
- 哪些 G 等待 channel
- 哪些 G 正在 syscall
- GC 什么时候需要暂停
调度更智能。
六、用一个对比表彻底看清
| 维度 | 线程 | goroutine |
|---|---|---|
| 栈大小 | 1MB~8MB | 2KB 起步，自动扩容 |
| 创建成本 | 系统调用 | 用户态分配 |
| 切换成本 | 内核态 | 用户态 |
| 调度者 | 操作系统 | Go runtime |
| 数量级 | 几千 | 几十万 |
七、真正本质原因
如果用一句话概括：
goroutine 是 M:N 调度模型。
意思是：
M 个线程
调度
N 个 goroutine
例如：
8 个线程
调度 100000 个 goroutine
线程数量 ≈ CPU 核心数
goroutine 数量 ≫ 线程数
所以：
goroutine 并不是“更轻的线程”，它是被复用在少量线程上的任务。
八、为什么 Java 线程重？
因为 Java 线程就是：
1:1 映射到操作系统线程
一个 Java 线程 = 一个内核线程
所以不能开太多。
九、一个形象类比
线程像：
每个任务都单独租一辆卡车。
goroutine 像：
共享几辆卡车，任务轮流上车。
当然后者更省资源。
十、一个容易误解的点
很多人以为：
goroutine 比线程快。
这不完全准确。
如果只有一个任务：
- 线程和 goroutine 差别几乎没有
goroutine 的优势在：
- 大量并发
- 高 I/O
- 轻量任务
十一、真正的“轻”来自哪里？
可以记住这三条：
小栈
用户态切换
M:N 调度
这三点共同决定了它轻。
十二、但它也不是没有代价
- 过多 goroutine 会导致调度开销增加
- GC 扫描栈数量会变多
- 仍然受 GOMAXPROCS 限制
所以：
goroutine 轻，但不是免费。
十三、终极总结
goroutine 之所以轻：
- 小栈（2KB 起步）
- 动态栈增长
- 用户态创建
- 用户态切换
- M:N 调度复用线程
这五点叠加，才造就了“几十万 goroutine”。