1. 执行流模型(Execution Flow)

RTOS中的时间执行路径模型

核心定义

执行流描述任务从“触发条件成立”到“完成返回”的完整时间路径。

在 HRTOS 中,它不仅是控制流,更是时间流,每一步都必须可分析。

Execution Flow is a time-bounded execution path with analyzable timing constraints.

1. 任务触发(Trigger)

任务来源于三类触发:外部中断、内核事件、调度器唤醒。

触发必须具备低抖动与有界延迟,否则系统时间模型失效。

2. 调度决策(Scheduling)

调度器从就绪集合中选择可执行任务。

本质是约束满足问题:在不破坏时间约束前提下选择执行路径。

Scheduling is constraint satisfaction under timing guarantees.

3. 就绪队列竞争(Ready Queue)

多任务同时 READY 时进入竞争。

竞争因素包括优先级、抢占状态与资源依赖。

系统必须避免随机性,否则破坏确定性。

4. 执行阶段(Execution)

CPU 执行任务主体逻辑,系统进入时间消耗阶段。

该阶段受中断抢占、高优先级插入、缓存与流水线延迟影响。

必须通过 WCET(最坏执行时间)约束建模。

5. 中断交互(Interrupt Interaction)

执行流可能被中断打断并插入新的执行路径。

中断必须保证可控延迟与短执行路径,避免破坏任务窗口。

6. 完成与返回(Completion)

任务完成后进入资源释放与调度回归。

系统关键点是重新进入可调度状态的时机。

7. 系统闭环(System Loop)

执行流构成周期闭环:

触发 → 调度 → 执行 → 中断 → 恢复 → 完成 → 再触发

RTOS 的核心是保证闭环时间误差不累积失控。

语义总结

执行流的核心不是“任务执行过程”,而是“时间路径是否可建模”。

一旦时间不可分析,实时系统将退化为通用系统。

Real-time systems exist only when execution paths are time-bounded and analyzable.

相关阅读

System View

返回总览

下一篇

任务生命周期 →

相关模块

中断流模型
调度周期模型