3. 延迟抖动定义

在实时系统中，延迟抖动（Jitter）是衡量时间确定性最核心的指标之一。它直接反映了系统在重复执行同一任务时，完成时间的不稳定程度。理解抖动的数学定义、影响及来源，是使用工具链进行排查和优化的前提。

3.1 延迟抖动的数学定义

抖动的数学定义非常简洁，它量化了延迟的离散程度：

其中：

• 最大延迟（Max Latency）：在多次测量中，任务从触发到完成所经历的最长时间。
• 最小延迟（Min Latency）：在多次测量中，任务从触发到完成所经历的最短时间。

这个差值代表了系统时间行为的不确定性范围。一个理想的硬实时系统，其抖动应趋近于零。

下面的 SVG 图展示了在理想、良好和抖动严重的三种系统中，延迟随时间变化的对比：

3.2 抖动对实时应用的影响

抖动对不同类型的实时应用影响差异巨大。下表总结了抖动对三类典型实时任务的影响：

应用类型	典型场景	抖动容忍度	抖动过大的后果
硬实时（Hard Real-Time）	工业机器人控制器、汽车引擎ECU、医疗起搏器	零容忍（必须≤ deadline）	设备损坏、人员伤亡、灾难性系统故障
软实时（Soft Real-Time）	音频/视频播放、网络游戏服务器	可容忍少量超时	音画不同步、卡顿、用户体验下降
准实时（Firm Real-Time）	数据采集系统、金融交易系统	偶尔超时可接受，但结果失效	数据丢失、交易失败、经济损失

3.3 典型抖动来源分类

在 Linux + PREEMPT_RT 系统中，延迟抖动的来源可以归纳为以下几大类。理解这些来源是后续使用工具链进行定位的基础。

下面的 SVG 架构图展示了抖动来源的层次结构：

下面我们详细展开每一类来源的具体成因：

3.3.1 硬件相关抖动

• Cache Miss / TLB Miss：CPU 缓存未命中导致需要访问主存，引入几十到几百纳秒的额外延迟。
• DMA 总线竞争：高速 DMA 设备（如网卡、GPU）与 CPU 争用内存总线，导致 CPU 访问内存延迟增加。
• 中断控制器延迟：APIC（高级可编程中断控制器）或 GIC（通用中断控制器）在处理高优先级中断时，延迟传递低优先级中断。
• SMI / NMI 干扰：系统管理中断（SMI）或不可屏蔽中断（NMI）会透明地抢占 CPU，导致不可预测的延迟峰值。

3.3.2 内核相关抖动

• 中断关闭（irqsoff）：内核代码显式关闭本地中断，导致外部事件无法被及时响应。
• 抢占关闭（preemptoff）：内核代码关闭内核抢占，导致高优先级实时任务无法抢占当前低优先级内核线程。
• 自旋锁持有时间过长：在 PREEMPT_RT 中，自旋锁被转换为互斥锁，但若持有时间过长，仍会阻塞其他实时任务。
• RCU 宽限期阻塞：RCU（Read-Copy-Update）同步机制在宽限期结束时，若存在阻塞的读者，会导致延迟。

3.3.3 用户空间相关抖动

• Page Fault 处理：访问未映射的内存页时，内核需要执行磁盘 I/O 或内存回收，引入毫秒级延迟。
• 内存分配（malloc）：标准库的 malloc 可能触发 brk 系统调用或 mmap，导致上下文切换和锁竞争。
• 系统调用开销：频繁的系统调用（如 read、write）会陷入内核，增加延迟和抖动。
• 调度器延迟（sched）：调度器选择下一个任务的时间，以及任务在运行队列中等待的时间，是抖动的直接来源。