概述
优先级调度（Priority Scheduling）根据任务优先级进行调度决策， 高优先级任务可抢占低优先级任务，从而满足实时性要求。
优先级调度是实时操作系统的核心调度策略之一，通过任务优先级决定执行顺序，确保高优先级任务在确定性时间内获得CPU执行权。与时间片轮转调度不同，优先级调度不依赖时间片分配，而是基于任务的重要性与实时性需求分配优先级，适用于对响应时间要求严格的实时系统。
优先级调度分为静态优先级与动态优先级两种模式。静态优先级在任务创建时确定，运行期间不变，适用于任务重要性固定的场景。动态优先级可在运行时调整，如优先级继承、优先级天花板等机制，用于解决优先级反转问题。HRTOS默认采用静态优先级调度，同时提供动态优先级扩展机制，满足复杂应用场景的需求。
优先级调度的核心优势在于实时性保证。高优先级任务一旦就绪即可立即抢占CPU，确保关键任务（如中断处理、安全监控）的响应时间确定。这种特性使优先级调度成为硬实时系统的首选策略，广泛应用于汽车电子、工业控制、航空航天等领域。
工作原理
系统维护就绪队列，并按照优先级排序。 每当有更高优先级任务进入就绪状态时，调度器立即触发任务切换。
优先级调度的内部实现依赖于优先级队列与就绪队列管理。每个任务具有优先级属性，系统维护多个就绪队列，每个队列对应一个优先级级别。高优先级队列的任务优先执行，低优先级队列的任务在高优先级队列为空时才获得执行机会。这种多队列设计确保了调度决策的快速性，调度器只需检查最高优先级非空队列即可。
抢占式调度是优先级调度的核心特性。当高优先级任务进入就绪状态时（如中断服务程序唤醒任务、信号量释放、定时器到期），调度器立即触发任务切换，暂停当前低优先级任务，切换到高优先级任务。抢占操作在临界区中快速完成，确保切换延迟最小。HRTOS采用优化的上下文切换机制，减少寄存器保存与恢复开销。
同优先级任务的调度策略取决于系统配置。HRTOS支持时间片轮转与FIFO两种策略。时间片轮转策略为同优先级任务分配固定时间片，时间片到期时切换到下一个任务，确保公平性。FIFO策略按任务就绪顺序执行，直到任务阻塞或主动让出CPU。开发者可根据应用需求选择合适的策略。
调度规则
在优先级调度模型中，系统始终选择最高优先级且处于就绪状态的任务执行。 当更高优先级任务进入就绪队列时，当前任务将被立即抢占。
优先级调度的核心规则是最高优先级优先执行。调度器始终选择就绪队列中优先级最高的任务运行，确保关键任务获得CPU执行权。当多个任务具有相同优先级时，系统根据配置采用时间片轮转或FIFO策略，确保同优先级任务的公平性。
抢占规则是优先级调度的关键特性。当高优先级任务进入就绪状态时，当前低优先级任务被立即抢占，保存上下文并切换到高优先级任务。抢占操作在临界区中快速完成，确保切换延迟最小。HRTOS支持延迟抢占策略，在某些情况下（如中断临界区）延迟抢占，避免破坏系统一致性。
低优先级任务的执行规则是仅在高优先级任务全部阻塞时运行。当高优先级任务就绪时，低优先级任务立即被抢占，即使低优先级任务正在执行关键操作。这种设计确保了高优先级任务的实时性，但可能导致低优先级任务饥饿。HRTOS提供优先级提升机制，防止低优先级任务长时间得不到执行。
关键接口 / 结构
相关接口文档： HRTOS API Reference →
os_task_set_priority()用于设置任务优先级，参数包括任务控制块指针、新优先级。该接口更新任务的优先级字段，如果新优先级高于当前运行任务，触发抢占调度。设置成功返回0，失败返回错误码。该接口在临界区中执行，确保优先级更新的原子性。
os_scheduler_run()用于触发调度器运行，无参数。该接口检查就绪队列，选择最高优先级任务执行，如果最高优先级任务与当前运行任务不同，触发上下文切换。该接口通常在任务阻塞、任务唤醒、优先级改变时自动调用，开发者无需手动调用。
os_task_yield()用于主动让出CPU，无参数。该接口将当前任务重新插入就绪队列尾部，触发调度器选择下一个任务执行。该接口适用于需要公平共享CPU的场景，如长时间计算任务定期让出CPU。让出成功返回0，失败返回错误码。
task_control_block结构体定义了任务的核心属性。priority字段存储任务优先级，数值越小优先级越高。state字段存储任务状态（就绪、运行、阻塞）。stack_ptr字段指向任务栈顶。该结构体还可能包含任务ID、等待队列指针、统计信息等字段。结构体大小取决于配置，HRTOS通过优化字段布局减少内存占用。
运行流程
完整的优先级调度流程包括：任务因中断、信号量释放、定时器到期等原因进入就绪状态；调度器检查就绪队列，找到最高优先级任务；如果最高优先级任务与当前运行任务不同，触发抢占操作；保存当前任务上下文，加载目标任务上下文，切换到目标任务执行；目标任务运行直至阻塞或被更高优先级任务抢占。
抢占流程包括：高优先级任务进入就绪状态；调度器检测到更高优先级任务就绪；内核进入临界区，禁用中断；保存当前任务上下文（寄存器、栈指针、程序计数器）；更新当前运行任务指针；加载目标任务上下文；退出临界区，跳转到目标任务执行。整个过程在微秒级完成，确保实时性。
同优先级任务切换流程包括：当前任务时间片到期或主动让出CPU；调度器从同优先级队列中选择下一个任务；保存当前任务上下文；加载下一个任务上下文；切换到下一个任务执行。如果同优先级队列为空，调度器查找下一优先级队列，确保CPU不会空闲。
优先级反转问题
当低优先级任务持有共享资源， 高优先级任务等待该资源， 而中优先级任务持续运行时， 将导致高优先级任务被间接阻塞。
优先级反转是优先级调度的固有问题，严重影响系统实时性。典型场景包括：低优先级任务L持有互斥锁M，高优先级任务H尝试获取锁M并阻塞，中优先级任务M持续运行抢占CPU，导致低优先级任务L无法释放锁M，高优先级任务H被间接阻塞。这种情况下，高优先级任务的响应时间被中优先级任务决定，违反了实时性要求。
优先级继承是解决优先级反转的有效机制。当高优先级任务等待低优先级任务持有的资源时，系统临时提升低优先级任务的优先级至高优先级任务级别，确保低优先级任务尽快执行并释放资源。资源释放后，低优先级任务恢复原优先级。这种机制确保了高优先级任务的阻塞时间仅限于低优先级任务的临界区执行时间，避免了中优先级任务的干扰。
优先级天花板是另一种解决优先级反转的机制。每个资源分配一个天花板优先级，通常为所有可能访问该资源的任务中的最高优先级。当任务获取资源时，其优先级被提升至天花板优先级，确保在临界区内不会被任何可能访问该资源的任务抢占。资源释放后，任务恢复原优先级。这种机制比优先级继承更简单，但可能导致任务优先级提升过高，影响系统整体性能。
扩展说明
为避免优先级反转问题，HRTOS可结合优先级继承机制（Priority Inheritance） 或优先级天花板协议进行优化。
优先级分配策略是工程实践中的关键决策。静态优先级分配通常基于任务的重要性、截止时间、周期性等属性。常用的分配算法包括单调速率调度（RMS）、最短截止时间优先（EDF）等。HRTOS提供优先级配置工具，开发者可根据任务特性合理分配优先级，确保系统可调度性。
动态优先级调度适用于复杂的实时系统场景。除了优先级继承与天花板协议，系统还支持优先级老化、优先级捐赠等机制。优先级老化机制定期提升等待时间长的低优先级任务，防止饥饿。优先级捐赠允许高优先级任务将部分优先级借给低优先级任务，加速关键路径执行。这些机制共同构建了灵活的调度体系。
- 模块职责：优先级调度管理负责基于任务优先级的调度决策，确保高优先级任务的实时响应
- 内部机制：基于优先级队列、就绪队列管理、抢占机制、优先级继承实现，支持静态与动态优先级
- 状态迁移：任务在READY、RUNNING、BLOCKED状态间切换，由调度决策驱动
- 调用流程：task_ready → scheduler_scan → priority_check → preempt/context_switch → task_run
- 资源管理：就绪队列为共享资源需保护并发访问，优先级字段为任务私有资源
- 工程案例：汽车电子ECU、工业控制系统、医疗设备控制器、航空航天系统
- 边界条件：优先级数量限制、抢占延迟、同优先级调度策略、优先级反转
- 错误场景：优先级配置冲突、死锁、任务饥饿、调度延迟、优先级反转未解决
- 异常处理：优先级继承、优先级天花板、优先级老化、死锁检测、降级处理
- 模块关系：与任务管理模块协作管理任务状态，与同步模块协调资源访问
优先级调度的性能优化是实时系统工程的重要环节。HRTOS采用优化的优先级队列数据结构，在O(1)时间内找到最高优先级任务。系统支持位图优先级算法，通过位图快速查找非空优先级队列，减少扫描开销。对于多核SMP系统，每个核心独立维护就绪队列，避免核心间竞争，提高调度效率。
对于功耗敏感的嵌入式系统，优先级调度的使用会影响系统功耗管理。高优先级任务的频繁抢占可能导致系统无法进入低功耗模式。HRTOS提供智能功耗管理机制，在系统空闲时自动降低CPU频率或进入低功耗模式，在高优先级任务就绪时快速唤醒。系统还支持任务级功耗配置，允许开发者根据任务重要性选择功耗策略，平衡实时性与功耗。