等待队列、睡眠与唤醒
这页讲的是：任务等不到资源时，Linux 并不是让它傻站着浪费 CPU，而是把它放进等待关系里先睡下，等条件满足再叫醒。学这页的重点，是理解“等待”在内核里不是消极停住，而是一套被认真组织起来的调度与同步行为。
这块是什么
等待队列、睡眠与唤醒，讲的是当任务暂时做不下去时，内核如何把它挂到某个等待条件上，让它先退出运行竞争，等资源可用、事件发生或条件改变后，再把它重新唤醒继续推进。这是内核把“我现在做不了”变成“我等合适时机再继续”的关键组织方式。
可以把它理解成：不是所有人都站在窗口前死等叫号，而是先去候场区坐下，等系统通知到你时再回来处理。
它负责什么
让任务优雅等待
- 资源暂时不可用时先别白耗 CPU
- 把任务从当前运行竞争里拿下来
- 让等待变成有条件、有组织的状态
- 避免用忙等把系统拖慢
建立唤醒关系
- 把“谁在等什么”组织清楚
- 条件满足时把对应任务叫醒
- 让事件和任务推进重新接上
- 把等待和恢复运行做成一条闭环路径
衔接调度与同步
- 等待不是单独动作，而会影响调度
- 唤醒时机也常与锁和状态变化绑定
- 很多阻塞式接口都离不开它
- 让任务等待不至于变成时序混乱
为什么不能一直忙等
| 如果一直忙等 | 会怎样 | 等待队列的价值 |
|---|
| 任务一直反复检查条件 | 会白白烧 CPU，影响系统整体吞吐。 | 条件不满足时先让出 CPU，更符合系统整体利益。 |
| 大家都挤在前台等待 | 调度器会被很多“其实干不了活”的任务干扰。 | 让真正能推进的任务先运行。 |
| 等待和事件没有正式关系 | 谁该被叫醒、何时叫醒会变得混乱。 | 把等待对象和唤醒时机组织成明确关系。 |
| 阻塞路径全靠手写时序 | 更容易出现遗漏唤醒、早唤醒或状态错乱。 | 提供统一世界观来组织睡眠与唤醒。 |
关键概念
| 概念 | 现在怎么理解 |
|---|
| 等待队列 | 把等待某个条件的任务组织起来的那套机制。 |
| 睡眠 | 任务暂时退出运行竞争，等待未来某个条件成立。 |
| 唤醒 | 条件满足后，把原先等待的任务重新拉回可运行世界。 |
| 阻塞 | 当前做不下去，只能等资源或事件到来的状态。 |
| 条件变化 | 真正决定“该不该叫醒任务”的那个状态改变点。 |
为什么重要
- 它解释了为什么很多系统调用或内核路径在“暂时做不了”时不会疯狂占着 CPU。
- 很多 I/O、锁等待、事件通知和驱动交互，都是靠睡眠与唤醒把执行流串起来。
- 理解这层后，你会更容易把“任务状态变化”和“调度器为什么切走它”联系起来。
- 很多看似随机的卡住问题，根子都在等待条件、唤醒时机或状态同步上。
常见误解
- 误解一：等待就是简单暂停。实际上它必须和条件、状态、调度、唤醒逻辑配套出现。
- 误解二：只要有人负责唤醒就行。实际上什么时候睡、什么时候醒、状态何时变都很关键。
- 误解三：这只是调度器的话题。实际上驱动、文件系统、网络和同步路径里都会大量用到。
它不负责什么
- 它不替代锁；锁解决互斥，等待队列更偏向“现在先别跑，等条件变好”。
- 它不创造条件本身，只负责组织等待者与唤醒时机。
- 它不等于定时器，但很多等待都会和超时机制一起出现。
和其他模块的关系
| 相关模块 | 关系 |
|---|
| 调度器 | 任务睡下去和被唤醒，本质上都会改变调度器眼里的可运行任务集合。 |
| 并发控制 | 等待前后常要和状态修改、锁保护一起配合，避免错过唤醒。 |
| 定时器 / 超时 | 很多等待不是无限等，而要配合超时和延迟执行一起工作。 |
| 驱动 / I/O 路径 | 设备未准备好、数据未到、资源未释放时，经常都要先睡再等唤醒。 |
一条典型“先睡再醒”路径现在怎么想
| 步骤 | 发生了什么 | 最容易踩的坑 |
|---|
| 先检查条件 | 任务先确认现在到底能不能继续推进。 | 如果条件判断和后续睡眠没配好，就可能错过刚发生的变化。 |
| 挂入等待关系 | 当前任务被正式放进等待队列，准备退出运行竞争。 | 如果只是“心里想等”却没被系统正式组织起来，后面就没人知道该叫醒谁。 |
| 条件发生变化 | 别的路径释放资源、收到数据或推进状态。 | 这一步如果没和状态更新顺序配好，就容易出现遗漏唤醒。 |
| 唤醒并重新竞争 CPU | 任务被拉回可运行集合，之后仍要等待调度器真正安排它继续跑。 | 被唤醒不等于立刻执行，这也是很多人最容易混的地方。 |
读完这页后，你应该能回答
- 为什么内核更喜欢“睡眠等待”而不是忙等？
- 为什么等待和唤醒必须和状态变化一起理解？
- 为什么很多卡住问题本质上是等待条件或唤醒时机出了问题？
后面适合继续问：等待队列和 poll/select 这类等待模型是什么关系？为什么遗漏唤醒会让问题显得特别随机？超时等待为什么又会把定时器拉进来？