实时不是“快”，而是“慢的边界可知”。共享资源是时间炸弹。调度算法暴露问题，不解决问题。
如果你刚接触实时系统，可能会有一个天然印象：实时系统就是要“快”。越快越好，越快越实时。这个直觉很诱人，但它会把你带偏。
让我们从三个反直觉的公理开始，重新理解什么是真正的实时系统设计。
公理一：实时 ≠ 快，实时 = 慢的边界可知
设想一个任务必须在 1ms 内完成，它实际运行只需要 0.5ms。剩下的 0.5ms 不是“余量”，而是你可以用来换取确定性的预算。你可以故意让任务变慢——比如加冗余检查、加锁、加缓存预热——只要不超过 1ms。慢不可怕，不可预测的慢才可怕。
实时系统的目标不是让最好情况尽可能快，而是让最坏情况尽可能接近最好情况。换句话说，我们追求的是时间的可预测性，而不是单纯的性能。
技术映射：
- 最坏情况执行时间（WCET）分析→ 量化“慢的边界”
- 中断延迟测量→ 量化系统响应能力的边界
- 响应时间分析（RTA）→ 证明这个边界是否小于截止时间
公理二：任何共享资源都是潜在的时间炸弹
两个任务共享一个变量、一个缓冲区、一个硬件寄存器——你就创造了耦合。这种耦合在时间轴上的表现是：一个任务必须等另一个任务。等多久？如果不知道，你就失去了确定性。
锁是显式的炸弹——你知道它在等。无锁结构（环形缓冲区、双缓冲）本质上是拆弹，通过空间隔离消除等待。但当拆不掉时，就必须用优先级继承来控制爆炸范围，让等待时间有一个硬上界。
技术映射：
- 无锁设计（环形缓冲区、双缓冲）→ 消除共享等待
- 优先级继承协议（PIP）→ 给等待时间加上界
- 优先级天花板协议（PCP）→ 更强的上界，同时防止死锁
公理三：调度算法解决不了资源冲突，只能暴露它
很多人认为选对了调度算法（速率单调 RM、最早截止时间优先 EDF）就能解决实时问题。这是幻觉。调度算法只管 CPU 的分配，管不了锁、总线、I/O。
当高优先级任务等锁时，调度算法无能为力——因为锁的持有者可能正在被一个中优先级任务抢占。这就是经典的优先级反转。反转的本质不是调度错误，而是资源管理缺失。调度算法只是把问题暴露出来，它自己解决不了。
因此，调度和资源管理必须联合设计。单独优化调度，就像只修路不设红绿灯。
技术映射：
- 速率单调（RM）→ 固定优先级调度，配合 RTA 分析
- 最早截止时间优先（EDF）→ 动态优先级，利用率高但最坏情况分析复杂
- 优先级继承/天花板→ 资源访问协议，与调度器协同
三种隔离：从公理到动作
公理是“为什么”，隔离是“怎么做”。你只需要记住三种隔离手段，所有实时设计都是它们的组合。
1. 时间隔离
为关键任务划定专属的时间窗口，在此期间其他任务（包括 RTOS 内核）不得侵入。
- 技术：关中断、最高优先级中断、Tickless 模式、时间触发调度、CPU 核隔离
- 适用：周期极短（<50µs）、抖动要求极高的任务，如电机控制
2. 资源隔离
让关键任务不与其他任务共享可变资源，或通过无锁结构消除等待。
- 技术：只读数据、双缓冲、环形缓冲区（无锁）、消息传递（拷贝）、RCU
- 适用：流式数据处理，如雷达信号处理、网络收包
3. 优先级隔离
当无法避免共享时，通过优先级继承或天花板协议，确保等待时间有上界。
- 技术：优先级继承协议（PIP）、优先级天花板协议（PCP）、优先级带分离
- 适用：偶发性共享资源，如 CAN 发送队列、NFC 寄存器
一张决策脑图
当你拿到一个实时任务，按下面三个问题走一遍，设计就定了 80%。
问题1：它的时间粒度是多少？
- < 50µs → 必须用时间隔离（硬件定时器中断，绕过 RTOS）
- 50µs ~ 1ms → 可用 RTOS，但需禁用时间片、关中断短临界区
- ≥ 1ms → 标准 RTOS 配置即可
问题2：它依赖什么共享资源？
- 无共享 → 简单，只需可调度性分析
- 只读共享 → 安全，不需要锁
- 读写共享 → 尝试改成无锁（环形缓冲、双缓冲）；改不了则用优先级继承互斥锁
问题3：有没有可能被更低优先级的任务阻塞？
- 没有 → 普通互斥量也行
- 有 → 必须启用优先级继承；安全关键用优先级天花板
写在最后
实时系统设计，归根结底就是回答一个问题：我的关键任务需要哪种隔离？时间、资源、还是优先级？答案决定了一切。
所有实时系统的核心知识点，都可以映射到这三种隔离类型里：
- 优先级反转 → 违反公理二 + 需要优先级隔离
- 中断延迟 → 违反公理一 + 需要时间隔离
- WCET/RTA → 量化公理一中的“边界”
- 无锁/双缓冲 → 实现资源隔离
- 时间触发/Tickless 调度 → 实现时间隔离
记住这个模型，你就能在实时系统设计中始终保持清晰的思路。
本文节选自《权衡之境》主题22。书稿已完成，出版在即。
更多思维模型可访问我的 GitHub 仓库：https://github.com/jakegom/weighing-the-world（27 个工程师专属思维模型卡片，持续更新）
——高翔，技术哲学作者，系统架构师。著有《权衡之境：一位工程师的技术哲学笔记》，专注技术决策的底层逻辑与思维模型。
