概述
任务状态模型是一种有限状态机（FSM）， 用于描述任务在实时系统中的执行路径与转换规则， 是调度器行为分析的基础结构。
任务状态模型用于描述任务在运行过程中所处的不同状态及其转换关系，是调度器与任务管理的核心抽象结构。在实时系统中，任务状态转换必须具有确定性与可预测性，确保任务响应时间满足实时性要求。HRTOS采用有限状态机模型管理任务状态，每个状态具有明确的进入条件与退出条件，状态转换由调度器、中断系统与同步原语共同驱动。
任务状态模型包括五个基本状态：就绪态（READY）、运行态（RUNNING）、阻塞态（BLOCKED）、挂起态（SUSPENDED）与终止态（TERMINATED）。就绪态表示任务已准备好执行，等待调度器分配CPU。运行态表示任务正在CPU上执行。阻塞态表示任务等待资源或事件，暂时无法执行。挂起态表示任务被显式暂停，暂停执行。终止态表示任务已完成执行或被终止，等待资源回收。
状态转换规则定义了任务在不同状态之间的合法转换路径。就绪态可转换为运行态（调度器选择）或挂起态（显式挂起）。运行态可转换为就绪态（时间片到期、优先级抢占）、阻塞态（资源等待）或终止态（任务完成）。阻塞态可转换为就绪态（资源可用）或终止态（强制终止）。挂起态可转换为就绪态（显式恢复）。终止态是最终状态，不再转换。这些规则确保了状态转换的合法性与一致性。
工作原理
状态转换由调度器、中断以及系统调用共同触发。 任务根据资源可用性与调度策略在不同状态之间切换。
状态转换的内部实现依赖于任务控制块的状态字段与转换规则。每个任务控制块包含一个状态字段，存储当前任务状态。状态转换操作在临界区中执行，确保原子性。系统维护状态转换表，定义所有合法的状态转换路径。当尝试非法状态转换时，系统触发错误或忽略操作，确保状态一致性。
调度器驱动的状态转换包括就绪态到运行态的转换。调度器从就绪队列中选择最高优先级任务，将任务状态从READY转换为RUNNING。同时，将当前运行任务状态从RUNNING转换为READY（时间片到期）或BLOCKED（优先级抢占）。这种转换在调度决策时触发，是抢占式调度的核心机制。
中断驱动的状态转换包括阻塞态到就绪态的转换。中断服务程序（ISR）通过唤醒机制将等待资源的任务从BLOCKED转换为READY。典型场景包括：定时器到期唤醒延时任务、UART接收中断唤醒等待数据的任务、GPIO中断唤醒等待事件的任务。这种转换确保了中断响应的实时性，是实时系统的关键特性。
系统调用驱动的状态转换包括运行态到阻塞态的转换。任务调用阻塞接口（如os_sem_wait、os_mutex_lock）时，内核检查资源是否可用。如果资源不可用，将任务状态从RUNNING转换为BLOCKED，将任务插入资源的等待队列，触发调度器选择下一个任务执行。这种转换由任务主动发起，是同步原语的核心机制。
关键接口 / 结构
os_task_suspend()用于挂起任务，参数包括任务ID。该接口将任务状态从READY或RUNNING转换为SUSPENDED，从就绪队列中移除任务，暂停任务执行。挂起成功返回0，失败返回错误码。该接口在临界区中执行，确保状态转换的原子性。
os_task_resume()用于恢复任务，参数包括任务ID。该接口将任务状态从SUSPENDED转换为READY，将任务插入就绪队列，恢复任务执行。恢复成功返回0，失败返回错误码。该接口与os_task_suspend()配合使用，实现任务的暂停与恢复。
os_task_block()用于阻塞任务，参数包括任务ID与阻塞原因。该接口将任务状态从RUNNING转换为BLOCKED，将任务插入资源的等待队列，触发调度器选择下一个任务执行。阻塞成功返回0，失败返回错误码。该接口通常由同步原语内部调用，开发者无需直接调用。
os_task_unblock()用于唤醒任务，参数包括任务ID。该接口将任务状态从BLOCKED转换为READY，将任务从等待队列移除并插入就绪队列。如果被唤醒任务优先级高于当前运行任务，触发抢占调度。唤醒成功返回0，失败返回错误码。该接口通常由中断服务程序或同步原语内部调用。
task_state枚举定义了任务的所有可能状态。READY表示任务就绪，等待CPU分配。RUNNING表示任务正在CPU上执行。BLOCKED表示任务等待资源或事件。SUSPENDED表示任务被挂起，暂停执行。TERMINATED表示任务已终止，等待资源回收。该枚举是任务状态机的基础，确保状态转换的合法性。
运行流程
任务从创建开始进入 READY 状态， 在调度器选择后进入 RUNNING 状态执行。 在运行过程中，可能因资源等待进入 BLOCKED， 或被更高优先级任务抢占返回 READY。 任务执行完成后进入 TERMINATED 状态。
完整的状态转换流程包括：任务创建，状态从CREATED转换为READY；调度器从就绪队列中选择任务，状态从READY转换为RUNNING；任务执行，可能因资源等待转换为BLOCKED，因时间片到期或优先级抢占转换为READY；资源可用，状态从BLOCKED转换为READY；任务完成或被终止，状态转换为TERMINATED；系统回收任务资源，任务生命周期结束。每个状态转换都有明确的触发条件与转换规则。
抢占式调度的状态转换流程包括：高优先级任务进入就绪状态；调度器检测到更高优先级任务就绪；内核进入临界区，禁用中断；将当前运行任务状态从RUNNING转换为READY；将高优先级任务状态从READY转换为RUNNING；保存当前任务上下文，加载目标任务上下文；退出临界区，跳转到目标任务执行。整个过程在微秒级完成，确保实时性。
阻塞到唤醒的状态转换流程包括：任务调用阻塞接口，状态从RUNNING转换为BLOCKED；任务插入资源的等待队列；调度器选择下一个任务执行；资源释放或事件触发；内核从等待队列中取出任务；将任务状态从BLOCKED转换为READY；将任务插入就绪队列；如果被唤醒任务优先级高于当前运行任务，触发抢占调度。这种机制确保了任务等待资源时的公平性与实时性。
扩展说明
状态模型直接影响系统的实时性分析能力， 包括任务响应时间、调度确定性以及系统可预测性。 在复杂系统中，状态设计不合理会导致优先级反转或调度饥饿问题。
状态模型是实时性分析的基础。通过分析任务状态转换路径，系统可计算任务响应时间、调度延迟等关键指标。HRTOS提供状态转换时间测量工具，实时监控任务从就绪到运行的切换延迟，从阻塞到就绪的唤醒延迟。这些测量数据帮助开发者优化系统配置，满足实时性要求。
状态模型还影响系统的可预测性。确定性状态转换确保任务行为可预测，避免意外状态转换导致的系统不稳定。HRTOS采用严格的状态转换规则，禁止非法状态转换。系统还提供状态转换日志功能，记录所有状态转换事件，帮助开发者调试状态相关问题。
- 模块职责：任务状态模型管理负责控制任务状态转换，确保状态一致性与合法性
- 内部机制：基于有限状态机、状态转换规则、临界区保护、状态转换表实现，支持原子性状态转换
- 状态迁移：任务在READY、RUNNING、BLOCKED、SUSPENDED、TERMINATED状态间转换
- 调用流程：state_check → transition_validate → state_update → queue_update → schedule_trigger
- 资源管理：状态字段为任务控制块私有资源，就绪队列为共享资源需保护并发访问
- 工程案例：汽车电子ECU、工业控制系统、医疗设备控制器、航空航天系统
- 边界条件：状态转换规则、优先级范围、队列容量、临界区执行时间
- 错误场景：非法状态转换、状态不一致、死锁、任务饥饿、状态转换失败
- 异常处理：状态回滚、错误日志、告警机制、系统重启、降级处理
- 模块关系：与调度器模块协作触发状态转换，与同步模块协调阻塞与唤醒
状态模型的性能优化是实时系统工程的重要环节。HRTOS采用优化的状态转换机制，减少状态切换开销。系统支持快速状态检查，在常数时间内验证状态转换合法性。对于多核SMP系统，每个核心独立维护任务队列，避免核心间竞争。这些优化确保了状态模型的高效性，满足实时系统的性能要求。
对于功耗敏感的嵌入式系统，状态模型的使用会影响系统功耗管理。频繁的状态转换可能导致系统功耗增加。HRTOS提供智能功耗管理机制，在系统空闲时挂起非关键任务，减少状态转换频率。系统还支持任务级功耗配置，允许开发者根据任务重要性选择功耗策略，平衡实时性与功耗。