任务状态机：就绪、运行、阻塞、挂起状态转换实战

任务调度说白了就是RTOS的"交通指挥"。任务在四个状态之间跳来跳去，什么时候该走、什么时候该停，全看状态机怎么转。我刚开始接触RTOS时，总觉得状态图是纸上谈兵，直到有一次在项目中把一个本该阻塞的任务写成了死循环，整个系统直接卡死……嗯，从那以后我再也不敢轻视状态转换了。

四个核心状态，一个都不能少

RTOS里的任务，一辈子就在这四个状态里打转：

状态 含义 典型触发条件
就绪（Ready） 任务已准备好运行，只等CPU 创建任务、阻塞超时、被唤醒
运行（Running） 任务正在占用CPU执行 调度器选中该任务
阻塞（Blocked） 任务等待某个事件或资源 等待信号量、消息队列、延时
挂起（Suspended） 任务被强制暂停，不参与调度 调用挂起API、调试暂停

你想想看，这四个状态其实跟人的日常很像——就绪就是排队等活干，运行就是正在干活，阻塞是等外卖或者等快递，挂起是被领导叫停。说白了，状态机就是管理任务"什么时候该干什么事"。

状态转换的六条路径

任务不会乱跳，状态转换有严格的规则。我画了一张图，把六条路径都标出来了：

任务状态转换图 就绪（Ready） 运行（Running） 阻塞（Blocked） 挂起（Suspended） 调度器选中 时间片耗尽 等待资源 事件到达 挂起API 恢复API 说明：阻塞和挂起不能直接互转，必须先回到就绪状态 挂起状态不参与调度，阻塞状态在事件到达后自动回到就绪

这张图我建议你多看几遍。六条路径里，最容易搞混的是阻塞→就绪和挂起→就绪的区别。阻塞是"被动等"，等到了自动醒；挂起是"主动停"，必须有人叫才能醒。

实战：用FreeRTOS代码演示状态转换

光说不练假把式。我们写一段代码，让一个任务把四个状态都走一遍：

void vTaskFunction(void *pvParameters)
{
    TickType_t xLastWakeTime = xTaskGetTickCount();
    
    for(;;)
    {
        // 当前状态：运行（Running）
        // 做点实际工作
        vToggleLED();
        
        // 主动让出CPU，进入就绪（Ready）
        // 同优先级任务可以抢到CPU
        taskYIELD();
        
        // 延时阻塞，进入阻塞（Blocked）
        // 等待100ms后自动回到就绪
        vTaskDelayUntil(&xLastWakeTime, pdMS_TO_TICKS(100));
        
        // 模拟等待信号量阻塞
        // 如果信号量不可用，任务进入阻塞
        if(xSemaphoreTake(xSemaphore, pdMS_TO_TICKS(50)) == pdTRUE)
        {
            // 拿到了信号量，继续运行
            vProcessData();
            xSemaphoreGive(xSemaphore);
        }
        
        // 挂起自己（演示用，实际慎用）
        // 进入挂起（Suspended）
        vTaskSuspend(NULL);
        
        // 只有其他任务调用vTaskResume()才能恢复
        // 恢复后进入就绪（Ready）
    }
}

我的调试小技巧：在代码里加一个状态打印宏，配合串口输出，能实时看到任务在哪个状态。我曾经用这个方法抓到一个"任务莫名其妙卡死"的bug——原来是信号量超时时间设成了0，任务根本没机会等。

状态转换的三大避坑点

我在项目里踩过不少坑，挑三个最典型的说说：

  1. 阻塞和挂起混用——有人用挂起代替阻塞，结果任务永远不醒。阻塞是"等事件"，挂起是"被暂停"，两码事。
  2. 挂起后忘记恢复——调试时挂起一个任务，上线前忘了恢复。系统跑着跑着某个功能就没了。我建议在挂起API调用处加一个断言检查。
  3. 在中断里操作挂起——FreeRTOS不允许在中断服务函数里调用vTaskSuspend()，必须用xTaskResumeFromISR()。这个坑我踩过两次，第一次是编译没过，第二次是运行时崩溃。

警告：千万不要在挂起状态下调用任何阻塞API（如xSemaphoreTake、vTaskDelay）。挂起任务不参与调度，阻塞API永远不会返回，任务就彻底"死"了。我见过有人把挂起当"暂停"用，结果信号量等了一辈子。

状态机在调度器中的真实运作

调度器内部维护了三个链表：就绪链表、阻塞链表、挂起链表。运行态的任务只有一个，就是当前CPU正在执行的。每次系统节拍中断（SysTick）到来时，调度器会做三件事：

  • 检查阻塞链表，看有没有任务超时了——超时的移到就绪链表
  • 检查当前运行任务的时间片——用完了就移到就绪链表尾部
  • 从就绪链表头部取出下一个任务——切换过去运行

说白了，状态转换就是"链表节点搬家"。就绪链表是个环形队列，谁在头部谁就跑。阻塞链表按超时时间排序，时间到了就搬走。挂起链表就是个"冷宫"，没人叫就不出来。

核心要点：状态转换的原子性很重要。FreeRTOS在切换状态时会关中断，防止在链表操作过程中被节拍中断打断。这也是为什么你在临界区里不能调用阻塞API——死锁风险极高。

实战练习：自己写一个状态监控

我建议你动手写一个简单的状态监控任务，每隔1秒打印所有任务的状态：

void vMonitorTask(void *pvParameters)
{
    TaskStatus_t xTaskDetails;
    UBaseType_t uxArraySize;
    TaskStatus_t *pxTaskStatusArray;
    
    uxArraySize = uxTaskGetNumberOfTasks();
    pxTaskStatusArray = pvPortMalloc(uxArraySize * sizeof(TaskStatus_t));
    
    for(;;)
    {
        uxArraySize = uxTaskGetSystemState(
            pxTaskStatusArray,
            uxArraySize,
            NULL
        );
        
        for(int i = 0; i < uxArraySize; i++)
        {
            printf("Task: %s, State: %d\r\n",
                pxTaskStatusArray[i].pcTaskName,
                pxTaskStatusArray[i].eCurrentState);
            // 0=就绪, 1=运行, 2=阻塞, 3=挂起
        }
        
        vTaskDelay(pdMS_TO_TICKS(1000));
    }
}

跑起来之后，你会看到任务状态在0、1、2之间来回跳。如果看到3一直不消失，八成是挂起后没人恢复。嗯，这个监控工具我几乎每个项目都会加，调试利器。

← 上一章 📖 返回目录 下一章 →