FreeRTOS同优先级任务调度机制深度解析

1. FreeRTOS任务调度机制解析

FreeRTOS作为一款轻量级实时操作系统，其任务调度机制是理解整个系统运行逻辑的核心。在默认配置下，FreeRTOS采用基于优先级的抢占式调度策略，这种设计直接影响着任务执行的先后顺序。

FreeRTOS的任务控制块（TCB）中维护着几个关键数据结构：任务优先级（uxPriority）、就绪列表（pxReadyTasksLists）和任务状态（eState）。其中就绪列表是一个数组，每个优先级对应一个链表，用于管理所有处于就绪状态的任务。当多个任务具有相同优先级时，它们会被放入同一个优先级的就绪链表中。

关键点：FreeRTOS内核维护的pxReadyTasksLists数组，其每个元素都是对应优先级任务的链表头。相同优先级的任务按照创建顺序的逆序排列。

2. 同优先级任务的链表管理机制

当创建新任务时，FreeRTOS会执行以下关键操作：

1. 分配和初始化TCB结构体
2. 将任务添加到对应优先级的就绪链表
3. 如果新任务优先级≥当前运行任务，触发任务切换

重点在于第2步的链表插入操作。在task.c文件中，vListInsertEnd()函数实现了将新任务TCB插入到链表末端的操作。但实际插入位置由链表实现决定。

FreeRTOS使用了一种特殊的链表实现 - List_t结构体，其包含两个指针：

• pxIndex：当前遍历指针
• xListEnd：链表尾节点

新任务插入时，实际上是插入到xListEnd节点之前，这导致链表实际上按照FIFO的逆序排列。也就是说，后创建的任务会被放在链表更靠近头部的位置。

3. 调度器选择任务的逻辑

当需要进行任务切换时，调度器的决策流程如下：

1. 从最高优先级开始遍历pxReadyTasksLists数组
2. 找到第一个非空的就绪链表
3. 选择该链表中的第一个任务（listGET_OWNER_OF_HEAD_ENTRY）

由于链表是逆序排列的，第一个任务就是最后创建的那个任务。这就是为什么同优先级下后创建的任务会先执行的根本原因。

在prvGetNextTask()函数中可以看到这个选择逻辑：

c复制List_t * const pxReadyTasksLists = &( pxReadyTasksLists[ uxTop