06 时间系统(Time System)

HRTOS 中“时间如何成为系统约束变量”

核心定义

时间系统(Time System)不是一个“计时模块”,而是整个实时操作系统的基础约束框架。

在 HRTOS 中,所有调度决策、任务切换与中断响应,都必须回到一个问题:时间是否仍然可预测

因此时间不是背景变量,而是系统行为的“第一约束维度”。

Time system is not a timer module, but the fundamental constraint framework of real-time execution.

1. 三种时间模型(Time Layers)

① Real Time(物理时间)

外部世界的时间基准,例如传感器输入、机械运动与现实事件。 系统必须“跟随”,而不是“定义”它。

② System Time(系统时间)

RTOS 内部统一调度基准,由 tick 或高精度定时器驱动。 它是系统“内部世界”的时间坐标系。

③ CPU Time(执行时间)

任务真正占用 CPU 的时间,是调度分析的核心变量。 WCET(Worst Case Execution Time)基于此定义。

2. Tick 模型与时间粒度

Tick 是系统时间离散化的基本单位,它决定调度系统的“时间解析度”。

✔ Tick 越小 → 系统越精细(高实时性) ✔ Tick 越大 → 系统开销更低但延迟更粗糙

本质上,tick 是“时间离散化误差”的来源,也是系统设计权衡点。

Tick defines the discretization granularity of time in RTOS scheduling.

3. 时间延迟结构(Latency Composition)

一个实时任务的总延迟不是单点,而是多个阶段叠加:

Interrupt Latency + Scheduling Delay + Context Switch Cost + Execution Time

其中任何一个变量的不确定性,都会直接破坏系统的“可预测性边界”。

因此实时系统设计不是优化平均值,而是约束“最坏路径”。

4. 时间与确定性关系

在 HRTOS 中,时间不是连续流动的抽象概念,而是一个“离散约束集合”。

系统正确性定义为:

✔ 是否在时间窗口内完成执行 ✔ 是否满足最坏情况边界(WCET + latency bound)

这意味着:超时 = 错误,而不是性能下降。

In real-time systems, timeout is not degradation — it is correctness failure.

5. 系统级影响

时间系统直接约束三大核心模块:

• Scheduler(调度) → 必须可预测 • Interrupt(中断) → 必须可界定延迟 • Memory(内存) → 必须避免时间抖动

因此时间系统不是模块,而是“系统一致性框架”。

语义总结

时间系统的本质,是把物理世界的不确定性,转换为可计算的约束模型。

它定义了:系统不是在“运行程序”,而是在“维护时间正确性”。

Time system converts physical uncertainty into computable constraints, defining correctness as temporal consistency.

相关阅读(Related Reading)

上级入口

System View 总览

上一篇(学习顺序)

05 内存视图(Memory View)←

下一篇(学习顺序)

07 确定性执行链(Deterministic Chain)→

同类型扩展(Time / Scheduling 视角)

调度循环模型
执行流模型

跨模块关联(系统级理解)

调度 Tick 机制
内存碎片与时间抖动