4. 时序约束分析：绝对截止时间、相对截止时间、周期任务、偶发任务、抖动与漂移
好，咱们进入第四讲。这一讲的内容，说白了就是起搏器调度里的「硬规矩」。你想想看，心脏起搏器要是错过了某个脉冲的发放时机，那可不是卡顿一下的问题，是可能出人命的。所以，时序约束分析，就是把这些「硬规矩」一条条理清楚。
我个人习惯把时序约束分成两大类：一类是任务本身的属性，比如它是周期性的还是偶尔冒出来的；另一类是时间上的边界，比如最晚什么时候必须完成。咱们一个一个来拆解。
4.1 绝对截止时间 vs 相对截止时间
这两个概念，我刚开始做嵌入式时也经常搞混。后来在项目里吃过一次亏，才彻底分清了。
绝对截止时间，指的是一个任务必须在某个具体的、绝对的时间点之前完成。比如「在系统上电后的第500毫秒，必须完成心室起搏脉冲的发放」。这个500ms就是一个绝对的时间锚点，跟任务什么时候被唤醒没关系。
相对截止时间，则是相对于任务被释放（或就绪）的时刻来算的。比如「任务被触发后，必须在10ms内完成」。这个10ms是相对于触发时刻的，不是全局时钟。
在起搏器里，这两种约束都会用到。举个例子：
- 绝对截止时间：用于心房感知窗口的开启。比如「在A事件发生后150ms，必须开启心室感知窗口」。这个150ms是绝对的，不能因为CPU忙就往后拖。
- 相对截止时间：用于中断服务程序。比如「当检测到R波时，必须在2ms内完成信号处理」。这个2ms是从R波到达那一刻开始算的。
关键区别：绝对截止时间看的是「墙上时钟」，相对截止时间看的是「任务自己的时钟」。在起搏器里，绝对截止时间通常用于与心脏节律同步的操作，相对截止时间则更多用于数据处理和通信任务。
4.2 周期任务与偶发任务
这两种任务，是起搏器固件里的「常客」和「稀客」。
周期任务，顾名思义，就是每隔固定时间执行一次的任务。比如：
- 每5ms执行一次的心率监测任务
- 每100ms执行一次的电池电压检测任务
- 每1s执行一次的日志记录任务
周期任务的时序约束很明确：它的释放时间就是周期整数倍的那个点。比如一个10ms周期的任务，在0ms、10ms、20ms...被释放。它的截止时间通常是下一个释放点之前，也就是必须在10ms内完成。
偶发任务，则是「不知道什么时候来，但来了就必须处理」的任务。比如：
- 患者发生室颤时触发的紧急除颤任务
- 外部程控仪发来的参数调整命令
- 传感器检测到的异常信号
偶发任务的特点是：最小到达间隔时间。也就是说，虽然你不知道它什么时候来，但你知道它不会比某个频率更频繁地出现。比如「室颤检测任务的最小间隔是200ms」，这意味着两次触发之间至少隔200ms。
我的经验：在设计起搏器时，我建议把所有偶发任务都当成「有最小间隔的周期任务」来处理。这样在做可调度性分析时，可以用周期任务的分析方法，只是周期取那个最小间隔。我在一个项目中就是这么做的，省了不少分析时间。
4.3 抖动与漂移
这两个词，听起来有点像，但本质完全不同。我当年在调试一个起搏器原型时，就曾被这两个概念折磨过好几天。
抖动，指的是任务实际完成时间相对于理想完成时间的短期波动。比如一个10ms周期的任务，理想情况下每次都在10ms时完成。但实际中，可能这次9.8ms完成，下次10.2ms完成。这个±0.2ms的波动，就是抖动。
抖动的来源很多：
- 中断优先级反转
- 缓存未命中导致的指令执行时间变化
- 总线仲裁延迟
- RTOS调度器的上下文切换开销
漂移，则是任务完成时间相对于理想时间的长期、累积的偏差。比如一个任务每次都比预期慢0.1ms，运行1000次后，就累积了100ms的延迟。这个累积偏差，就是漂移。
漂移的典型原因：
- 时钟源精度不够（比如晶振频率偏差）
- 温度变化导致的时钟漂移
- 任务执行时间随数据变化而缓慢增长
注意：在起搏器里，抖动和漂移都是致命的。抖动可能导致感知窗口的误判，漂移则可能导致起搏脉冲与心脏自主节律的失同步。我曾经见过一个案例，因为晶振的温漂导致起搏器在低温环境下每24小时慢了3秒，差点造成患者不适。
4.4 实际案例分析
咱们来看一个具体的起搏器任务集，感受一下这些约束是怎么落地的。
| 任务名称 | 类型 | 周期/最小间隔 | 截止时间 | 最坏执行时间 |
|---|---|---|---|---|
| 心率监测 | 周期 | 5ms | 相对截止时间（5ms） | 1.2ms |
| 起搏脉冲控制 | 周期 | 10ms | 绝对截止时间（每10ms边界） | 0.8ms |
| 电池电压检测 | 周期 | 100ms | 相对截止时间（20ms） | 3ms |
| 室颤检测 | 偶发 | 最小间隔200ms | 绝对截止时间（事件后50ms） | 5ms |
| 程控通信 | 偶发 | 最小间隔500ms | 相对截止时间（100ms） | 15ms |
你看这个表，每个任务都有自己的「脾气」。心率监测任务，周期短、截止时间紧，但执行时间也短。起搏脉冲控制任务，用的是绝对截止时间，因为它的输出必须与心脏节律严格同步。室颤检测任务虽然是偶发的，但它的截止时间也是绝对的——因为一旦发生室颤，必须在50ms内做出反应。
核心要点：在做时序约束分析时，不要只看任务的周期和执行时间。一定要搞清楚：这个任务的截止时间是绝对的还是相对的？它的抖动容忍度是多少？漂移会不会累积到不可接受的程度？这些问题的答案，直接决定了你的调度策略和优先级分配。
4.5 避坑指南
最后，分享几个我踩过的坑：
- 别把偶发任务当周期任务分析：我曾经把一个偶发任务的最小间隔当成周期，结果在压力测试时发现，当偶发任务连续到达时，系统直接崩了。后来才意识到，偶发任务的最小间隔只是下限，实际到达模式可能更复杂。
- 抖动分析要留余量：我记得有一次，理论分析说抖动不超过0.1ms，结果实际测试时发现，因为DMA和CPU争抢总线，抖动达到了0.5ms。从那以后，我习惯在抖动预算里留50%的余量。
- 漂移要定期校准：对于长时间运行的起搏器，漂移是不可避免的。我建议在固件里加入周期性的时间校准机制，比如每10秒用高精度时钟源同步一次。
嗯，这一讲的内容就到这里。时序约束分析，说白了就是给每个任务画好「跑道」和「终点线」。下一讲，咱们会聊聊怎么把这些约束转化成具体的调度策略。