3. 实时性基础与内存确定性

在 VxWorks 这类实时操作系统中，“快”并不是唯一目标，“可预测”才是核心。一个任务平均 200 微秒完成，但偶尔跳到 5 毫秒，对硬实时系统而言往往比稳定 800 微秒更危险。因此理解实时性，必须从指标定义、最坏执行时间（WCET）以及内存分配抖动三条主线入手。

一、实时系统的三个关键指标

评价实时性通常看三类指标：响应时间、抖动和截止期满足率。响应时间指从事件到达（如中断触发）到任务输出有效结果的时间；抖动指同一操作多次执行时响应时间的波动范围；截止期满足率则是在规定时限内完成的比例。硬实时要求满足率为 100%，软实时允许少量超时。

以 VxWorks 中一个由中断触发的控制任务为例：中断服务程序（ISR）通过 semGive() 释放信号量，任务被唤醒后读取传感器、计算并输出。若 ISR 耗时 8 微秒，任务调度延迟 5 微秒，计算 40 微秒，输出 7 微秒，则单次响应约 60 微秒。但若某次因内存分配触发系统调用，响应可能拉长到 300 微秒，抖动即 240 微秒。抖动越大，控制环路的稳定性越差。

二、最坏执行时间（WCET）

WCET 是任务在所有可能输入与系统状态下执行时间的上界。它不是平均值，也不是某次测量值，而是用于判断任务能否在截止期前完成的保守估计。WCET 受分支路径、循环次数、缓存命中率、中断嵌套、内存访问延迟等因素影响。

在 VxWorks 中估算 WCET 常用两种方式：一是静态分析，通过反汇编与路径分析给出上界；二是动态测量，用 sysTimestamp() 或硬件定时器在任务入口与出口打点，多次运行取最大值并留出安全裕量。例如某任务在 1000 次运行中最大耗时 85 微秒，考虑中断干扰与缓存最差情况，可设定 WCET 为 120 微秒。若截止期为 150 微秒，则余量 30 微秒，属于可接受范围。

三、内存分配抖动对实时性的影响

内存分配抖动是实时系统中最隐蔽的延迟来源之一。VxWorks 提供多种内存分配方式：malloc()/free() 属于通用堆分配，可能触发合并、分裂与锁竞争；memPartAlloc() 从固定分区分配，行为更可预测；memPoolCreate() 创建固定大小内存池，分配时间接近常数。不同方式带来的抖动差异巨大。

假设一个任务每周期需要申请 256 字节缓冲区。若使用 malloc()，在堆碎片化后，分配可能从 2 微秒恶化到 50 微秒以上，且释放时可能触发合并操作，进一步拉长延迟。若改用固定大小内存池，每次分配仅需从空闲链表摘取一个块，时间稳定在 1～2 微秒，抖动极小。这就是“确定性”的价值：不是更快，而是更稳。

下面这张图展示了从事件到达、内存分配到任务完成的信号链与抖动来源，帮助理解各环节对实时性的影响。

四、把三者串起来：一个可执行的判断方法

实际工程中，可以按以下顺序判断系统是否满足实时性：

1. 确定每个任务的截止期 D，并测量其 WCET（含最坏内存分配路径）。
2. 计算响应时间 R = ISR + 调度延迟 + WCET + 输出延迟。
3. 检查 R ≤ D，并统计多次运行中的抖动 J = R_max − R_min。
4. 若 J 过大，优先排查内存分配方式，将 malloc() 替换为固定内存池或分区分配。
5. 若仍不满足，再考虑降低中断嵌套、绑定 CPU、调整优先级或使用 taskLock() 保护关键段。

例如某控制任务截止期 200 微秒，测得 WCET 为 90 微秒，ISR 与调度合计 20 微秒，输出 10 微秒，则 R = 120 微秒，余量 80 微秒。但若内存分配抖动达到 100 微秒，R 可能升至 220 微秒，直接超时。此时把 malloc() 改为 memPoolAlloc()，抖动降到 3 微秒，R 回到 123 微秒，系统重新满足截止期。

五、VxWorks 中的确定性内存实践

在 VxWorks 中提升内存确定性，通常遵循以下原则：启动阶段一次性分配所有可能用到的缓冲区，运行阶段只做固定大小块的获取与归还；对实时任务使用 memPoolCreate() 创建专用内存池，避免与其他任务共享通用堆；对中断服务程序禁止调用可能阻塞的分配函数；使用 memPartShow() 或 memPoolShow() 观察碎片与空闲块数量，作为抖动风险的早期信号。

总结来说，实时性不是单点优化，而是从指标定义、WCET 估算到内存分配方式选择的系统性约束。只有把抖动控制在可接受范围内，并让 WCET 可界定，VxWorks 的实时能力才能真正落地。