调度基础（Scheduling Fundamentals）
调度机制决定操作系统在任务之间如何分配处理器执行机会。 在 RTOS 中，任务状态、优先级、抢占规则和阻塞机制共同影响任务何时运行， 而系统能否满足实时约束，还需要结合执行时间、资源竞争、中断开销与实际负载进行分析。
一、调度器的职责是什么？
调度器的直接职责，是依据操作系统的调度规则，从具备运行条件的任务中选择下一执行任务。 它并不一定在每次调度时计算所有任务是否能够满足截止时间。
因此，任务选择是调度机制的直接工作，时间约束是否成立则是系统分析与验证的问题。 某些调度算法可以结合任务参数进行可调度性分析，但不能据此认为所有 RTOS 调度器都会实时执行这种分析。
二、任务状态与调度时机
任务状态描述任务当前能否参与调度。不同 RTOS 对状态名称和内部数据结构的定义可能不同， 但通常可以用以下模型理解任务的执行过程。
就绪（Ready）
任务已具备运行条件，但当前尚未获得处理器。 就绪任务不一定立即运行，具体取决于优先级、调度策略和其他调度约束。
运行（Running）
任务当前正在处理器上执行。在单核系统中，同一时刻通常只有一个普通任务处于运行状态； 中断处理过程需要单独考虑。
阻塞（Blocked）
任务正在等待某个事件、资源、消息或时间条件。 等待条件满足后，任务通常重新进入就绪状态。
终止或非活动
任务已结束、被删除，或尚未被激活。 具体状态模型取决于操作系统的任务管理设计。
三、优先级调度
优先级用于表达任务在调度选择中的相对重要程度。 在常见的固定优先级调度模型中，当多个任务同时就绪时，调度器会按照优先级规则选择任务。 但优先级数值的含义、相同优先级的处理方式以及是否允许抢占，都由具体系统决定。
优先级决定的是调度中的相对顺序，而不是任务执行时间，也不是对截止时间的自动保证。 如果高优先级任务长期持续就绪，低优先级任务可能长时间得不到执行机会。
四、常见调度模型
固定优先级调度
任务使用预先配置或由系统规则确定的优先级。 实现相对直接，适用于需要明确区分任务重要程度的系统。 是否能够满足时间约束，仍需结合任务负载与阻塞情况分析。
抢占式调度
在允许抢占的调度点，当符合规则的更高优先级任务就绪时， 系统可以暂停当前任务并切换执行对象。 实际响应还受到中断屏蔽区间、内核临界区和切换开销等因素影响。
协作式调度
任务通常在主动让出处理器、等待事件或到达约定调度点时交出执行权。 设计简单，但如果任务长时间不让出处理器，其他任务的响应可能受到影响。
时间片轮转
在适用的任务集合中，为任务分配轮转执行机会。 时间片有助于分配处理器使用权，但公平轮转本身并不等于满足实时截止时间。
动态优先级调度
任务优先级可根据时间、任务状态或调度策略变化。 例如，EDF 按绝对截止时间的先后选择任务。 其效果取决于算法假设与系统实现。
事件驱动执行
外部事件、中断、消息或定时器可以使任务进入就绪状态。 事件驱动描述的是任务被触发或激活的方式，并不代表唯一的一种调度算法。
五、抢占与协作：执行权如何转移？
抢占式与协作式的主要区别，在于任务是否可以在没有主动让出处理器的情况下， 被调度机制转移执行权。两种模型都能用于构建实时系统，但需要采用不同的任务设计和时序分析方法。
| 比较维度 | 抢占式调度 | 协作式调度 |
|---|---|---|
| 执行权转移 | 满足抢占条件时，可由内核转移执行权 | 通常在任务主动让出或约定调度点转移 |
| 高优先级任务响应 | 通常更容易限制就绪后的等待时间，但并非瞬时响应 | 可能受到当前任务连续执行时间的影响 |
| 共享数据保护 | 需要处理并发访问、临界区与资源竞争 | 仍需考虑中断、重入和任务交接时的数据一致性 |
| 上下文切换 | 可能发生于更多调度时机 | 切换时机通常更受任务主动行为控制 |
| 实时性 | 不自动保证截止时间 | 也可以进行时间分析，但必须约束任务执行与让出行为 |
无论采用哪种模型，都需要分析任务最迟何时能够运行。 对抢占式系统，要考虑阻塞、不可抢占区间和调度开销； 对协作式系统，还要特别关注任务连续占用处理器的最长时间。
六、调度与上下文切换
调度决策与上下文切换是相关但不同的两个过程。 调度机制确定下一步应该执行哪个任务；上下文切换则负责保存当前执行状态，并恢复目标任务的状态。
上下文通常涉及程序执行位置、堆栈和架构相关寄存器状态。 实际保存内容取决于处理器架构、编译器约定与内核实现，不能把某一处理器的切换过程直接套用到所有平台。
七、调度开销与资源竞争
调度机制本身会消耗处理器时间。任务切换、中断处理、临界区以及共享资源竞争， 都可能影响任务实际获得处理器的时机。
上下文切换开销
保存和恢复执行状态需要时间。切换频率过高时，内核管理开销可能占据更多处理器时间。
中断与临界区
中断处理和暂时禁止抢占或中断的代码区间，可能延迟任务调度。 相关影响需要结合实际执行路径测量或分析。
资源阻塞
任务等待锁、信号量或其他资源时，即使优先级较高，也可能暂时无法继续执行。
优先级反转
低优先级任务持有高优先级任务所需的资源时，中优先级任务可能间接延长高优先级任务的等待时间。 是否需要优先级继承等机制，取决于资源模型与系统设计。
需要注意，缓存失效是部分具有缓存的处理器上的潜在成本，不是所有 RTOS 或 8051 系统都具有的通用切换开销。
八、调度与实时性分析
实时系统不仅关心任务能否执行，还关心任务能否在规定时间内完成。 调度策略影响任务的等待、抢占和阻塞，但实时性结论必须建立在明确的工作负载和时间参数之上。
这里的公式是概念性的分析入口，并不是适用于所有调度算法的通用响应时间计算公式。 对不同任务模型，应采用与其调度策略和假设相匹配的分析方法。
平均执行时间
用于观察常见运行条件下的性能，但不能单独证明最坏情况下能够满足截止时间。
最坏情况执行时间（WCET）
在给定硬件、软件路径与分析假设下，估计或证明一次任务执行所需时间的上界。 它是实时性分析的重要输入之一，但不是完整的响应时间结论。
九、如何理解 HRTOS 的调度机制？
对 8051 实时操作系统，调度设计不仅涉及任务优先级，还涉及有限的 RAM、任务堆栈、 中断响应、上下文保存和任务切换路径。 这些因素需要放在同一个工程模型中分析。
对 HRTOS 的具体行为，应以对应版本的内核实现、配置、目标芯片和测试结果为准。 通用调度理论用于建立分析框架，不能代替对真实执行路径的核验。