4. NuttX任务管理基础：任务概念、状态转换与TCB结构
各位同学，今天我们正式进入NuttX任务调度的核心地带。任务管理，说白了就是操作系统怎么管好你写的那些并发代码。我刚开始接触RTOS时，总觉得任务就是个函数加个循环，后来踩了不少坑才明白——任务的状态机、控制块设计，才是整个系统的基石。
4.1 任务（Task）到底是什么？
在NuttX里，任务就是一段独立执行的代码流。每个任务有自己的栈空间、优先级、以及一组寄存器上下文。你可以把它想象成一个「轻量级进程」——共享地址空间，但执行上下文完全隔离。
我个人习惯把任务分成三类：
- 用户任务：你写的应用代码，比如传感器采集、通信处理
- 内核任务：系统内部的后台服务，比如文件系统刷新
- 中断处理：严格来说不算任务，但NuttX允许中断中唤醒任务
核心要点：NuttX的任务模型基于POSIX线程（pthread）扩展而来，但比Linux的线程更轻量。每个任务默认分配4KB栈空间，你可以通过配置调整。
4.2 任务状态与转换——这张图你得刻在脑子里
任务状态机是调度器的灵魂。NuttX定义了四种基本状态，我画了张图帮你理解：
这张图我建议你保存下来。每个箭头背后都有对应的API调用：
| 状态转换 | 触发条件 | 相关API |
|---|---|---|
| 就绪 → 运行 | 调度器选择最高优先级任务 | sched_yield()、task_start() |
| 运行 → 就绪 | 时间片用完或被更高优先级任务抢占 | 系统定时器中断 |
| 运行 → 阻塞 | 等待信号量、消息队列、延时等 | sem_wait()、usleep() |
| 阻塞 → 就绪 | 等待的资源可用 | sem_post()、mq_send() |
| 运行 → 挂起 | 任务主动调用挂起 | task_suspend() |
| 挂起 → 就绪 | 其他任务恢复它 | task_resume() |
我曾经踩过的坑：在项目中，我写了一个任务等待串口数据，用了sem_wait()。结果信号量被中断释放后，任务没有立即执行——因为它在阻塞状态，而中断里调用了sem_post()后，任务只是进入了就绪队列，要等调度器下次选择它。如果你需要实时响应，记得把任务优先级设高一点。
4.3 任务控制块（TCB）——任务的身份证
每个任务在NuttX内核里都有一个对应的TCB结构体。它长什么样？我直接贴代码：
struct tcb_s {
/* 任务标识 */
pid_t pid; // 进程ID，唯一标识
uint8_t sched_priority; // 当前调度优先级
uint8_t init_priority; // 初始优先级（用于优先级继承）
/* 状态管理 */
volatile uint8_t task_state; // 当前状态（就绪/运行/阻塞/挂起）
sq_entry_t list_entry; // 链表节点，用于挂入就绪队列或阻塞队列
/* 栈管理 */
FAR uint32_t *stack_alloc_ptr; // 栈起始地址（分配时）
FAR uint32_t *stack_base_ptr; // 栈基址（实际使用）
size_t adj_stack_size; // 栈大小
/* 上下文保存 */
uint32_t xcp_regs[XCPTCONTEXT_REGS]; // CPU寄存器保存区
/* 内核对象等待 */
FAR void *waitobj; // 当前等待的内核对象（信号量/互斥量等）
/* 时间管理 */
systime_t start_time; // 任务开始时间
systime_t elapsed_time; // 累计运行时间
};
这个结构体里，我重点说三个关键字段：
- pid：每个任务唯一，从1开始递增。0号任务保留给空闲任务。
- task_state：用位掩码表示，比如
STATE_TASK_READY、STATE_TASK_RUNNING。我见过有人直接比较数值，结果状态判断出错——因为NuttX里运行态其实也算就绪态的一种。 - xcp_regs：保存CPU寄存器的地方。任务切换时，当前任务的寄存器全部压到这里，然后加载新任务的寄存器。嗯，这里要注意，ARM Cortex-M的硬件自动压栈和NuttX的软件压栈是配合工作的。
个人经验：调试任务栈溢出时，我习惯在stack_alloc_ptr处填充0xDEADBEEF。任务运行一段时间后检查这个值是否被覆盖——如果变了，说明栈不够用。NuttX的up_check_stack()函数就是这么干的。
4.4 任务创建与销毁——从出生到死亡
创建一个任务，你通常用task_create()或kthread_create()。区别在于：task_create创建的是用户任务，有独立的地址空间保护；kthread_create创建的是内核线程，共享内核地址空间。
创建流程大致如下：
- 分配TCB内存（从内核堆分配）
- 分配任务栈空间
- 初始化寄存器上下文（设置入口函数、参数、返回地址）
- 将TCB挂入就绪队列
- 触发调度（如果新任务优先级更高）
销毁时，任务调用task_delete()或自行返回。内核会：
- 从所有队列中移除TCB
- 释放栈空间
- 释放TCB内存
- 通知父任务（如果有等待）
注意：千万不要在中断服务函数里调用task_delete()！我曾经这么干过，结果系统直接死锁——因为中断上下文不能进行内存释放操作。正确的做法是在中断里设置一个标志，然后在任务循环中检查并自我销毁。
4.5 任务优先级与调度策略
NuttX支持256级优先级（0最高，255最低）。我个人建议：
- 实时任务：优先级0-63
- 普通任务：优先级64-191
- 后台任务：优先级192-255
调度策略有三种：
| 策略 | 行为 | 适用场景 |
|---|---|---|
SCHED_FIFO |
同优先级任务按FIFO顺序执行，直到主动让出或阻塞 | 实时性要求高的任务 |
SCHED_RR |
同优先级任务轮转执行，每个任务一个时间片 | 多个同等重要的任务 |
SCHED_SPORADIC |
偶发调度，用于带宽控制 | 音频/视频流处理 |
你想想看，如果你的系统里有两个任务都做数据采集，用SCHED_RR最公平。但如果一个任务是紧急报警，另一个是日志记录，那报警任务必须用SCHED_FIFO加高优先级。
4.6 任务间通信——它们怎么协作？
任务不是孤岛。NuttX提供了多种通信机制：
- 信号量：最轻量的同步工具，用于互斥和事件通知
- 消息队列：传递数据块，支持优先级消息
- 信号：类似Linux信号，用于异步通知
- 共享内存：通过指针直接访问，注意加锁
我个人最常用的是信号量+消息队列的组合。比如一个传感器采集任务，采集完数据后通过消息队列发给处理任务，同时用信号量通知处理任务「数据来了」。这样处理任务可以阻塞等待，不浪费CPU。
核心原则：任务间通信尽量用消息队列，少用全局变量。全局变量容易引发竞态条件，而且调试起来非常痛苦。我在一个项目中吃过这个亏——两个任务同时修改一个全局计数器，结果计数永远不对，查了三天才发现是缺少互斥保护。
好了，任务管理的基础就讲到这里。记住那张状态转换图，理解TCB的每个字段含义，你就能在NuttX里游刃有余地管理任务了。下一节我们会深入调度器的实现细节，看看NuttX是怎么在微秒级别完成任务切换的。