协程是计算机中一种“轻量级线程”，核心价值在于让开发者用写同步代码的简单方式，实现极高并发的异步任务**，从而彻底解决传统线程“阻塞即浪费”的痛点。
这是一个横跨1963年至今的成熟技术，并非某个语言独有。下面我从核心价值、工作原理、分类图谱、主流语言实现四个维度为你拆解。
目录
1. 协程到底解决了什么问题？
传统多线程编程在处理I/O密集型任务（网络请求、文件读写）时存在两大死穴：
- 线程“阻塞”即“闲置”：当线程等待I/O时，它被操作系统挂起，无法做任何事，但依然占用4~10MB的栈内存。
- 上下文切换成本高：CPU在数千个线程间切换，每次都需要陷入内核态保存/恢复寄存器，这是纯开销。
协程的解法：将“等待”这件事从线程级别下放到用户态协程级别。当协程遇到I/O，它主动挂起自己，线程立即转身去执行另一个协程。线程不再空闲，协程切换仅需纳秒级。
一个直观类比：
- 线程：10个厨师（线程），每人负责一道菜，菜下锅后必须守在锅前等熟（阻塞），期间不能做任何事。
- 协程：1个厨师（线程），同时管理10道菜，把菜下锅后就去切别的菜，锅响了再回来处理（异步回调）。协程技术就是把“厨师等锅”的时间彻底榨干。
2. 协程的工作原理：从“函数”到“状态机”
协程的本质是一个可以暂停并恢复的函数。其实现有两种路径，这也构成了协程生态最大的分类鸿沟：
| 维度 | 有栈协程 (Stackful) | 无栈协程 (Stackless) |
|---|---|---|
| 实现原理 | 为每个协程预分配独立的调用栈，切换时完整保存CPU寄存器上下文 | 不保存调用栈，而是将协程编译成状态机，仅保存暂停点所需的局部变量 |
| 能否在嵌套函数中挂起 | 能。可以在深层递归函数中随时挂起 | 不能。只能在标记过的顶层异步函数中挂起 |
| 内存占用 | 较大（类似线程，但可动态扩缩） | 极小（仅状态，Go的Goroutine在Go 1.2之后是动态栈，属于有栈但轻量） |
| 性能 | 切换需复制栈，略有开销 | 切换即状态跳转，性能极高 |
| 代表语言 | Go (Goroutine)、Lua、libco | Rust、Kotlin、Python (async/await)、JavaScript |
技术深潜：Rust无栈协程的“状态机”魔法
当你写下async fn foo() { ... }，Rust编译器不会生成一个栈，而是生成一个匿名结构体（Future），代码中的每个.await点都变成了这个结构体的枚举状态分支。调用poll时，根据当前状态直接跳转到对应代码行继续执行。这完全是在编译期确定好的，运行时零开销。
3. 协程的分类图谱
基于不同的调度哲学，协程还有另外两种划分方式，常与上述维度叠加：
按调度权归属：
- 非对称协程：有明确的“调用-返回”关系（yield -> resume），如Lua、Python。大部分语言采用此模式。
- 对称协程：所有协程平权，可直接将执行权转移给任意另一个协程（如早期Simula）。目前较少直接使用。
按抢占特性：
- 协作式：协程必须主动
yield或await才会让出CPU。可控性强，无需锁，但存在误写死循环导致线程卡死的风险。 - 抢占式：运行时可以在任意点暂停协程（Go早期版本）。更安全，但需完整保存栈，实现复杂。
一个容易混淆的核心概念：
Go的Goroutine本质是有栈、抢占式的用户态线程，在Rust/Kotlin语境下常被称为“绿色线程”，与严格意义上的“无栈协作式协程”有本质区别。
4. 主流语言协程生态一瞥
| 语言 | 类型 | 核心机制 | 一句话点评 |
|---|---|---|---|
| Go | 有栈、抢占式 | go func()，运行时调度，栈动态扩缩 |
极简并发，虽非严格协程，但解决并发问题最优美 |
| Kotlin | 无栈、协作式 | suspend关键字，编译成状态机 |
线程粘合器，不绑定特定线程，可自由切调度器 |
| Rust | 无栈、协作式 | Future trait + poll + Waker |
零开销抽象，但Pin和生命周期导致陡峭学习曲线 |
| Python | 无栈、协作式 | async/await，基于事件循环 |
入门简单，但全局解释锁（GIL）下本质仍是单核并发 |
| Lua | 有栈、协作式 | coroutine.create/resume/yield |
最纯粹的对称/非对称混合模型，接口极简 |
| C++ | 无栈 (C++20) | co_await / co_yield |
标准姗姗来迟，生态仍在建设中 |
5. 总结：不是银弹，而是范式的转变
协程技术不是要消灭线程，而是消灭“无谓的阻塞”。线程依然是资源分配的单位，而协程是任务调度的单位。
何时用协程？
- ✅ I/O密集型：网关、代理、数据库连接池、微服务BFF层。这是协程的主场。
- ✅ 高并发任务切换：数万乃至数十万个网络连接。
- ❌ CPU密集型：视频编解码、科学计算。此时用协程反而因切换增加开销，应直接用OS线程绑核。
协程让“并发”这件事从“操作系统级资源管理”降维成了“语言级控制流管理”。正如Rust社区的一句箴言：协程解决的是并发（Concurrency）问题，而不是并行（Parallelism）问题。
0 条评论