DIMENSION 01
⌘
执行行为
分析关键代码路径、条件分支、循环次数和调用关系， 理解不同执行路径带来的工作量差异。
WHY HRTOS / 03 · REAL-TIME DETERMINISM
实时确定性 从设计约束到时间边界
实时系统不仅需要计算正确的结果，还需要在规定的时间约束内完成任务。 确定性设计的重点，是让关键执行行为能够被理解、评估， 并在明确条件下进行验证。
CORE IDEA
01
确定性
什么是实时确定性？
确定性关注的是：当系统状态、输入、调度规则和运行条件明确时， 关键行为是否具有可解释、可预测的规律，以及响应时间是否能够得到合理分析。
确定性不意味着每次执行都必须消耗完全相同的时间。 中断发生时刻、任务状态、分支条件和资源竞争都可能改变实际执行过程。 实时设计需要识别这些变化，并分析它们对关键任务响应时间的影响。
02 / FOUR DIMENSIONS
确定性，需要拆解成具体问题
从代码如何执行，到处理器何时响应，再到任务何时获得运行机会。
DIMENSION 02
⇄
调度行为
明确任务优先级、抢占规则、时间片和任务状态转换， 分析任务何时能够获得处理器。
DIMENSION 03
ϟ
中断响应
关注中断屏蔽窗口、正在执行的指令、上下文保存、 中断嵌套以及中断退出后的调度行为。
DIMENSION 04
◷
时间边界
结合指令周期、执行路径、调度干扰和资源竞争， 评估关键操作的执行时间与任务响应时间。
03 / A COMMON MISCONCEPTION
可预测，不代表永远不变
REAL-TIME DESIGN
规则明确，干扰可分析
实时系统可以根据任务优先级、事件到达和任务状态改变执行顺序。 抢占式调度本身并不违背确定性；关键在于调度规则是否明确， 以及相关干扰能否在规定的运行条件下进行分析。
NOT THE REQUIREMENT
并非每次都走同一路径
执行路径可以因输入和状态而不同。 对实时分析而言，重要的是识别相关路径、明确分析假设， 并合理评估最不利情况下的时间开销，而不是要求执行顺序永远固定。
04 / WCET & TIME BOUND
从确定性设计，到时间分析
平均表现可以描述常见情况，但不能单独回答截止时间是否能够满足。
最坏情况执行时间（WCET）
对实时任务来说，还需要关注最坏情况下的执行时间、任务释放与调度等待、 中断干扰、临界区以及共享资源造成的阻塞。 WCET 分析尝试在明确的处理器、编译结果、输入与运行条件下， 评估指定代码路径的时间上界。
WCET
TIME ANALYSIS
STEP 01
明确目标
确定目标芯片、时钟条件、编译结果与待分析的关键路径。
STEP 02
识别执行开销
关注指令执行、分支路径、上下文切换及相关处理器机制。
STEP 03
纳入运行干扰
分析中断、调度等待、临界区和共享资源可能造成的影响。
STEP 04
评估证据边界
检查模型、假设、覆盖范围与验证证据是否足以支撑结论。
需要注意：一次测试或单个测量值不能证明所有场景都具有严格的时间上界。
分析结论必须与其目标硬件、编译结果、运行假设和覆盖范围相对应。
05 / HRTOS ARCHITECTURE
确定性如何映射到 HRTOS？
面向 8051 的专用内核，需要把中断、上下文和调度放在同一条执行链路中理解。
面向 8051 的内核设计
HRTOS 面向 8051 单片机，围绕任务调度、中断处理、 上下文切换和资源管理构建专用内核。 这些机制并非孤立的功能模块，而是共同影响任务响应时间和系统运行行为。
01 / EVENT
中断处理
→
02 / CONTEXT
上下文管理
→
03 / SCHEDULING
任务调度
→
04 / EVALUATION
响应时间分析
这是一条用于理解系统关系的概念链路，并非所有事件都会依次经过全部环节。 实际执行过程会因中断类型、任务状态和调度条件而有所不同。
06 / ENGINEERING EVIDENCE
从运行测试，逐步走向可分析性
观察到的表现、测得的延迟与严格的时间上界，是不同层次的工程证据。
测试与场景验证
测试可以发现缺陷、观察实际延迟并验证指定场景， 为系统行为提供直接的运行证据。
硬件性能测量
结合目标芯片和实际运行条件，测量关键路径的执行开销与响应延迟， 识别性能瓶颈和需要进一步检查的路径。
代码与时间分析
进一步结合编译后的机器代码、关键执行路径和中断条件， 逐步推进时间分析，并明确结论能够覆盖的范围。
对 HRTOS 而言，确定性既是内核设计的重要方向， 也是持续开展测试、性能测量和 WCET 分析时需要面对的工程约束。 具体能力应结合目标硬件、系统配置及分析覆盖范围进行评估。
07 / KEY TAKEAWAY
实时确定性，不是让一切保持不变，而是让关键行为有据可循。
它强调明确运行条件与时间要求，理解关键行为，控制重要干扰， 并为关键实时路径建立可信的时间评估依据。
对 HRTOS 来说，方向是让 8051 上的实时行为更可预测、 更可分析，并通过持续测试与分析逐步积累工程证据。