确定性约束(Determinism Constraint)

实时系统的第一原则:系统行为必须可预测

核心定义

确定性指:在相同输入、状态与环境条件下,系统必须产生完全一致的执行结果与时间行为。

一致性不仅包括计算结果,还包括执行路径、调度顺序、中断时刻与延迟边界。

为什么是第一原则

确定性不是优化目标,而是系统成立的前提条件。

如果行为不可预测,系统就无法用于任何控制类任务。

约束的真实含义

确定性必须同时满足两个维度:

• 执行路径确定性
• 时间边界确定性

缺少任何一个,系统都无法进入强实时领域。

与通用系统的差异

通用系统允许:调度变化、执行路径变化、延迟抖动。

实时系统不允许这些变化,因为变化本身就是不确定性来源。

确定性的三个层级

1. 逻辑确定性(结果固定)
2. 调度确定性(顺序固定)
3. 时间确定性(上界固定)

系统设计影响

为保证确定性,系统必须限制动态优化空间与非确定性路径。

换取的是:可预测性与时间可证明性。

系统映射关系

确定性 → 执行流(Execution Flow)
确定性 → 调度循环(Scheduler Cycle)
确定性 → 时间系统(Time System)