确定性指:在相同输入、状态与环境条件下,系统必须产生完全一致的执行结果与时间行为。
一致性不仅包括计算结果,还包括执行路径、调度顺序、中断时刻与延迟边界。
确定性不是优化目标,而是系统成立的前提条件。
如果行为不可预测,系统就无法用于任何控制类任务。
确定性必须同时满足两个维度:
• 执行路径确定性
• 时间边界确定性
缺少任何一个,系统都无法进入强实时领域。
通用系统允许:调度变化、执行路径变化、延迟抖动。
实时系统不允许这些变化,因为变化本身就是不确定性来源。
1. 逻辑确定性(结果固定)
2. 调度确定性(顺序固定)
3. 时间确定性(上界固定)
为保证确定性,系统必须限制动态优化空间与非确定性路径。
换取的是:可预测性与时间可证明性。
确定性 → 执行流(Execution Flow)
确定性 → 调度循环(Scheduler Cycle)
确定性 → 时间系统(Time System)