WHY HRTOS / FOUNDATIONS

实时问题的本质 时间,决定正确性。

实时系统关注的不只是任务能否完成, 还包括任务能否在规定的时间约束内完成。 从一个外部事件,到系统给出响应, 每一段延迟都可能影响最终结果。

01 / 06 REAL-TIME FOUNDATIONS
理解时间约束,是理解实时调度、中断管理与内核设计的起点。
THE CORE IDEA

功能正确,不代表实时正确。

在实时系统中,计算结果的正确性与结果产生的时间都可能影响系统是否满足要求。

如果一个任务超过了规定的截止时间, 即使计算结果本身正确,也可能意味着该任务未能满足实时要求。

功能正确性 + 时间约束
Real-time computing concerns both functional correctness and timing requirements.
01

时间约束的本质

平均速度回答“通常有多快”,实时分析还要回答“最迟需要多久”。

实时系统的目标不是单纯追求更快的平均执行速度, 而是使关键任务的响应行为满足规定的时间要求。

对具有明确截止时间的任务, 需要分析任务执行时间、调度等待、中断干扰以及资源竞争等因素, 判断任务是否能够在规定的时间范围内完成。

更快的平均速度不一定意味着更好的实时性能。 关键在于系统能否满足具体任务的时间约束。
02

从外部事件到最终响应

实时行为不是孤立的任务执行,而是一条完整的响应链路。

当系统需要响应定时器、外部中断、通信数据或传感器事件时, 事件到达时间、当前系统状态和调度行为, 都可能影响最终的响应时刻。

STAGE 01
外部事件

定时器、通信或传感器触发

STAGE 02
中断响应

识别事件并执行中断处理

STAGE 03
调度决策

确定任务何时获得处理器

STAGE 04
任务执行

处理任务逻辑及相关干扰

STAGE 05
产生响应

输出控制结果或完成处理

因此,分析实时行为不仅需要理解任务本身, 还需要考虑任务如何被唤醒、何时获得处理器, 以及执行期间可能受到哪些干扰。

03

确定性与可分析性

重点不只是执行得快,更是关键行为能够被理解和分析。

确定性并不意味着系统中的每个操作都必须花费完全相同的时间。 更重要的是,关键执行路径的行为能够被理解, 相关的时间上界能够在明确的假设和条件下得到分析。

PROPERTY / 01

可预测的执行行为

理解中断、调度、上下文切换与临界区如何影响任务的响应过程。

PROPERTY / 02

可分析的时间边界

在明确的硬件、配置与运行假设下,分析关键路径的时间上界。

KEY FACTORS / TIME ANALYSIS
任务响应时间 从事件或任务就绪到任务获得响应的时间。
中断延迟 事件发生到中断处理开始之间的延迟。
调度与上下文切换 任务选择、寄存器保存及恢复带来的时间成本。
临界区与资源竞争 中断屏蔽、共享资源和任务间干扰造成的等待。

Determinism is about predictable behavior under defined conditions, not identical execution time for every operation.

04

什么情况下会违反实时要求

关键在于任务的时间约束,以及超时对系统造成的实际后果。

F / 01

任务超时

任务未能在规定的截止时间前完成。

F / 02

响应超界

从事件发生到系统产生响应的延迟超过允许范围。

F / 03

调度与中断干扰

高优先级任务、临界区或资源竞争影响关键任务响应。

F / 04

资源约束

有限的内存、栈空间或其他资源影响任务正常执行。

是否构成系统故障,取决于具体任务的时间要求、 系统安全与功能要求,以及超时后果。 不能将所有延迟都直接视为逻辑错误。

05

硬实时与软实时

区别不在于名称,而在于截止时间的约束及违约后果。

HARD REAL-TIME

硬实时

关键任务必须满足规定的截止时间。 超时可能构成不可接受的系统失败, 因而需要针对目标场景建立相应的时间保证。

SOFT REAL-TIME

软实时

超时通常会降低服务质量或系统效用, 但偶发超时不一定意味着整个系统失效。

硬实时与软实时描述的是任务时间要求及其违约后果, 并不能仅凭操作系统的名称或调度算法来判定。

WHY HRTOS

让时间行为成为内核设计的一部分。

在 8051 平台上,处理器资源有限, 中断处理、寄存器上下文保存、任务切换和调度机制之间存在紧密联系。 这些机制不仅决定系统如何运行,也影响关键任务的实际响应时间。

HRTOS 围绕任务调度、中断管理、上下文切换和资源控制构建专用内核, 并持续推进测试与最坏情况执行时间分析, 以更系统地理解关键路径的时间成本。

调度机制 关注任务优先级、调度等待与任务切换。
中断管理 关注中断响应、嵌套行为与临界区影响。
工程验证 结合目标硬件测试、编译结果与时间分析。
对具体目标芯片而言,实时性能仍需结合实际编译结果、 系统配置、硬件条件和分析覆盖范围进行验证。 设计目标与已验证的保证应当明确区分。
THE TAKEAWAY

从时间约束,理解实时系统。

实时系统不是简单地追求执行速度, 而是让系统行为满足明确的时间约束。 为此,需要理解任务执行、调度、中断、资源竞争与响应时间之间的关系。

真正重要的,不只是系统能够完成任务, 而是它能否在要求的时间内完成任务。

这也是 HRTOS 设计与持续完善的出发点: 从实时需求出发,围绕 8051 的实际执行机制构建内核, 并通过测试、分析和长期维护逐步提高系统的可理解性与可验证性。