任务状态

机制定义

相关API： os_task · os_task_function · os_task_release · os_switch

任务状态背景

任务状态是硬实时操作系统描述任务生命周期阶段的核心机制。任务状态定义任务在不同阶段的属性与行为，系统通过状态转换控制任务调度与资源分配。状态机模型确保任务状态转换的一致性与可预测性。

实时系统需要任务状态机制的原因在于，嵌入式应用包含多个并发任务，任务在不同阶段需要不同的处理策略。状态机制使系统能够精确控制任务执行流程，避免状态混乱与资源冲突。汽车电子、工业控制等典型应用依赖任务状态机制实现精确的任务管理。

状态机模型

任务状态机定义所有可能的状态与状态转换规则。状态机包括新建、就绪、运行、阻塞、挂起、终止等状态。每个状态对应特定的任务属性与系统行为。状态转换由事件驱动，转换规则明确定义。

状态机的一致性直接影响系统稳定性。非法状态转换可能导致任务调度异常或系统崩溃。HRTOS通过严格的状态机定义与运行时检查确保状态转换的正确性。

状态转换触发

状态转换由系统调用、中断、调度决策等事件触发。任务创建触发新建到就绪转换，调度器触发就绪到运行转换，系统调用触发运行到阻塞转换，事件满足触发阻塞到就绪转换。

状态转换需考虑原子性。转换过程必须原子性完成，避免中断破坏状态一致性。HRTOS通过临界区保护与汇编原子指令确保状态转换的原子性。

状态管理开销

状态管理开销包括状态检查、状态转换、队列操作等步骤。状态管理开销直接影响系统实时性。HRTOS通过优化状态检查路径、使用位图表示状态、快速队列操作等手段降低状态管理开销。

状态管理开销与状态数量相关。状态数量越多，状态检查与转换逻辑越复杂。HRTOS采用精简状态模型，仅包含必要状态，降低状态管理复杂度。

状态模型

就绪状态详细说明

就绪状态表示任务已具备执行条件但尚未获得CPU使用权。就绪任务位于就绪队列中，等待调度器选择执行。就绪队列按优先级排序，高优先级任务位于队列头部。HRTOS支持多级就绪队列，每个优先级对应一个队列，提高调度效率。

就绪状态的转换包括从新建到就绪、从阻塞到就绪、从挂起到就绪。新建到就绪由任务创建触发，阻塞到就绪由事件满足触发，挂起到就绪由恢复操作触发。就绪到运行由调度器触发，调度器选择最高优先级就绪任务执行。

运行状态详细说明

运行状态表示任务当前占用CPU并执行代码。系统中同一时刻最多有一个运行任务。运行任务可通过系统调用主动切换，或被高优先级任务抢占。运行任务的所有寄存器状态保存在CPU中，TCB中的寄存器快照可能过时。

运行状态的转换包括从就绪到运行、从阻塞到运行。就绪到运行由调度器触发，阻塞到运行由抢占调度触发。运行到就绪由抢占或时间片耗尽触发，运行到阻塞由系统调用触发。运行到挂起由挂起操作触发，运行到终止由任务退出触发。

阻塞状态详细说明

阻塞状态表示任务等待事件发生。阻塞任务不占用CPU，位于等待队列中。阻塞原因包括等待信号量、消息队列、延时、互斥锁等。HRTOS为每种阻塞类型维护独立队列，便于快速查找与唤醒。

阻塞状态的转换包括从运行到阻塞、从阻塞到就绪。运行到阻塞由系统调用触发，阻塞到就绪由事件满足触发。阻塞任务在事件满足后重新进入就绪队列，等待调度器选择执行。阻塞时间长短直接影响系统实时性。

挂起状态详细说明

挂起状态是任务的暂停状态。挂起任务不在就绪队列中，即使就绪也不被调度。挂起通常由用户或系统触发，用于临时停止任务执行。恢复挂起任务需要显式调用接口。挂起状态常用于调试、错误恢复或功耗管理。

挂起状态的转换包括从运行到挂起、从就绪到挂起、从挂起到就绪。运行到挂起由挂起操作触发，就绪到挂起由挂起操作触发，挂起到就绪由恢复操作触发。挂起状态不影响任务的TCB与栈空间，任务恢复后可继续执行。

终止状态详细说明

终止状态表示任务执行结束。终止任务已释放所有资源，TCB可能被回收。HRTOS支持任务主动退出与被动删除。终止任务不再参与调度，其栈空间与TCB可被重用。任务终止是生命周期的最终状态。

终止状态的转换包括从运行到终止、从阻塞到终止、从挂起到终止。运行到终止由任务退出触发，阻塞到终止由删除操作触发，挂起到终止由删除操作触发。终止后任务的所有资源需正确释放，避免资源泄漏。

演示代码

#include <HRTOS.H>
#include <HRTOS_KERNEL.H>

void task_demo(void)
{
    while(1)
    {
        os_wait1(5);   // 进入阻塞状态

        os_nop();      // 恢复运行
    }
}

void system_init(void)
{
    os_task((unsigned int)task_demo, 1, 2, 0);
    os_task_release(1);
}
    

系统意义

任务状态管理决定RTOS调度行为与系统实时性， 是任务生命周期与调度器协作的基础机制。

调度行为控制

任务状态管理决定RTOS调度行为。调度器根据任务状态选择执行任务，就绪任务参与调度，运行任务占用CPU，阻塞任务等待事件，挂起任务暂停执行。状态管理的正确性直接影响调度决策的正确性。

调度行为控制需考虑状态转换的及时性。状态转换延迟可能导致调度决策滞后，影响系统实时性。HRTOS通过优化状态检查路径、快速队列操作等手段降低状态转换延迟。

实时性保障

任务状态管理是系统实时性保障的基础。通过精确的状态转换控制，确保关键任务在规定时间内获得CPU执行权。实时性是汽车电子、工业控制、医疗设备等应用的核心要求，状态管理直接影响系统安全性与可靠性。

实时性保障需要考虑状态转换的可预测性。状态转换规则必须明确定义，避免不确定的状态转换导致实时性下降。HRTOS通过严格的状态机定义确保状态转换的可预测性。

生命周期协作

任务状态管理是任务生命周期与调度器协作的基础机制。生命周期定义任务的完整执行路径，状态管理实现生命周期各阶段的状态转换。两者协同工作，确保任务从创建到终止的正确执行。

生命周期协作需考虑状态转换的完整性。生命周期包含所有必要的状态转换，状态管理需支持所有转换路径。HRTOS通过完整的状态转换支持，确保生命周期与状态管理的一致性。

资源分配优化

任务状态管理优化资源分配。阻塞任务不占用CPU资源，系统可将CPU分配给其他就绪任务。挂起任务释放部分资源，系统可重用这些资源。状态管理通过精确的资源控制，提高系统资源利用率。

资源分配优化需考虑资源释放的及时性。状态转换时需及时释放不再需要的资源，避免资源泄漏。HRTOS通过自动资源管理机制，在状态转换时自动释放相关资源。

系统关联链路

Task 模块 · Scheduler 调度器 · Context Switch Flow · Task Lifecycle

关联实验： 创建任务 · 上下文切换 · 优先级继承

核心 API： os_task · os_task_function · os_task_state · os_switch