在 FreeRTOS 中，数字优先级越小，逻辑优先级也越小，这与RT-Thread 和 μC/OS刚好相反。
就绪列表 pxReadyTasksLists[ configMAX_PRIORITIES ]是一个数组，数组里面存的是就绪任务的 TCB（准确来说是 TCB 里面的 xStateListItem 节点），数组的下标对应任务的优先级，优先级越低对应的数组下标越小。空闲任务的优先级最低，对应的是下标为 0 的链表。空闲任务自系统启动后会一直就绪，因为系统至少得保证有一个任务可以运行。任务在创建的时候，会根据任务的优先级将任务插入到就绪列表不同的位置，相同优先级的任务插入到就绪列表里面的同一条链表中。
查找最高优先级就绪任务
pxCurrenTCB 是一个全局的 TCB 指针，用于指向优先级最高的就绪任务的 TCB，即当前正在运行的 TCB。那么我们要想让任务支持优先级，即只要解决在任务切换（taskYIELD）的时候，让 pxCurrenTCB 指向最高优先级的就绪任务的 TCB 就可以。那问题的关键就是：如果找到最高优先级的就绪任务的 TCB。FreeRTOS 提供了两套方法，一套是通用的，一套是根据特定的处理器优化过的，接下来我们重点讲解下这两个方法。
1 通用的方法：
首先是这个宏taskSELECT_HIGHEST_PRIORITY_TASK()，用于更新最高优先级变量uxTopReadyPriority
/* uxTopReadyPriority 存的是就绪任务的最高优先级 */
// taskRECORD_READY_PRIORITY这个宏的作用，就是要更新一下最高优先级变量uxTopReadyPriority
// 传入参数为uxPriority，实际上，应该这样调用taskRECORD_READY_PRIORITY( TCB->uxPriority )
#define taskRECORD_READY_PRIORITY( uxPriority ) \
{ \
if( ( uxPriority ) > uxTopReadyPriority ) \
{ \
uxTopReadyPriority = ( uxPriority ); \
} \
} /* taskRECORD_READY_PRIORITY */接下来这个宏，taskSELECT_HIGHEST_PRIORITY_TASK()，用于选择最高优先级的任务（从最高优先级开始查找非空列表），并传入到pxCurrentTCB控制块，最后更新uxTopReadyPriority变量。
// 选择最高优先级任务
#define taskSELECT_HIGHEST_PRIORITY_TASK() \
{ \
/* 先获得当前的最高优先级，然后从最高优先级往下开始查找非空列表 */ \
UBaseType_t uxTopPriority = uxTopReadyPriority; \
\
/* 寻找包含就绪任务的最高优先级的队列 */ \
while( listLIST_IS_EMPTY( &( pxReadyTasksLists[ uxTopPriority ] ) ) ) \
{ \
--uxTopPriority; \
} \
\
/* 获取优先级最高的就绪任务的TCB，然后更新到pxCurrentTCB */ \
/* 把查找到的当前最高优先级任务传给pxCurrentTCB控制块，再更新一下uxTopReadyPriority */ \
listGET_OWNER_OF_NEXT_ENTRY( pxCurrentTCB, &( pxReadyTasksLists[ uxTopPriority ] ) ); \
/* 更新uxTopReadyPriority */ \
uxTopReadyPriority = uxTopPriority; \
} /* taskSELECT_HIGHEST_PRIORITY_TASK */以上是通用方法。可以看到，这里，我们的任务优先级没有限制，设置为多大都可以（任务优先级为unsigned long类型）。
通用方式的优点：
- 所有平台的移植文件都可以配置为 0，因为这是通用方式。
- 纯 C 编写，比专用方式效率低。
- 可用的优先级数量不限制。
2 优化方法（用内核中的自带指令来操作）：
优化方法的特点：
- 部分平台支持。
- 这些平台架构有专用的汇编指令，比如 CLZ（Count Leading Zeros）指令，通过这些指令可以加速算法执行速度。
- 比通用方式高效。
- 有最大优先级数限制，通常限制为 32 个（因为这个变量为32位，所以最大32个任务优先级）。
接下来看一下优化方法的宏定义：
这个宏，根据传入的任务优先级，把uxTopReadyPriority变量的对应位号置1，其他位号不改变
// 这个宏，根据传入的任务优先级，把uxTopReadyPriority变量的对应位号置1，其他位号不改变
#define taskRECORD_READY_PRIORITY( uxPriority ) portRECORD_READY_PRIORITY( uxPriority, uxTopReadyPriority )
// 这个宏的展开式如下，很好理解
/* #define portRECORD_READY_PRIORITY( uxPriority, uxReadyPriorities ) \
( uxReadyPriorities ) |= ( 1UL << ( uxPriority ) ) */同理，还可以把uxTopReadyPriority对应的位号清除，其他位不变
#define portRESET_READY_PRIORITY( uxPriority, uxReadyPriorities ) \
( uxReadyPriorities ) &= ~( 1UL << ( uxPriority ) )我们要记住这两个宏：
- RECORD_READY就是把uxTopReadyPriority对应的位号置1；
- RESET_READY就是把uxTopReadyPriority对应的位号清0；
然后继续看优化方法中的其他宏定义：
// 选择最高优先级任务，并传入到pxCurrentTCB
#define taskSELECT_HIGHEST_PRIORITY_TASK() \
{ \
UBaseType_t uxTopPriority; \
\
/* 寻找最高优先级 */ \
portGET_HIGHEST_PRIORITY( uxTopPriority, uxTopReadyPriority ); \
/* 上面这个宏portGET_HIGHEST_PRIORITY，展开如下 \
#define portGET_HIGHEST_PRIORITY( uxTopPriority, uxReadyPriorities ) \
uxTopPriority = ( 31UL - ( uint32_t ) __clz( ( uxReadyPriorities ) ) ) \
这就是利用CM3内核指令的快速算法 */ \
/* 获取优先级最高的就绪任务的TCB，然后更新到pxCurrentTCB */ \
listGET_OWNER_OF_NEXT_ENTRY( pxCurrentTCB, &( pxReadyTasksLists[ uxTopPriority ] ) ); \
} /* taskSELECT_HIGHEST_PRIORITY_TASK() */下面这个宏，用于清除掉传入参数的优先级（传入的位清0）
#define taskRESET_READY_PRIORITY( uxPriority ) \
{ \
portRESET_READY_PRIORITY( ( uxPriority ), ( uxTopReadyPriority ) ); \
}修改代码，支持多优先级
1 修改任务控制块，增加与优先级相关的成员：
typedef struct tskTaskControlBlock
{
volatile StackType_t *pxTopOfStack; /* 栈顶 */
ListItem_t xStateListItem; /* 任务节点 */
StackType_t *pxStack; /* 任务栈起始地址 */
/* 任务名称，字符串形式 */
char pcTaskName[ configMAX_TASK_NAME_LEN ];
TickType_t xTicksToDelay;
UBaseType_t uxPriority; /* 优先级 */
} tskTCB;
typedef tskTCB TCB_t;2 修改创建任务的xTaskCreateStatic()函数，要增加一个传入参数优先级，数值越大，优先级越高。
TaskHandle_t xTaskCreateStatic( TaskFunction_t pxTaskCode, /* 任务入口 */
const char * const pcName, /* 任务名称，字符串形式 */
const uint32_t ulStackDepth, /* 任务栈大小，单位为字 */
void * const pvParameters, /* 任务形参 */
// 新增加的优先级成员
UBaseType_t uxPriority, /* 任务优先级，数值越大，优先级越高 */
StackType_t * const puxStackBuffer, /* 任务栈起始地址 */
TCB_t * const pxTaskBuffer ) /* 任务控制块 */
{
TCB_t *pxNewTCB;
TaskHandle_t xReturn;
if( ( pxTaskBuffer != NULL ) && ( puxStackBuffer != NULL ) )
{
pxNewTCB = ( TCB_t * ) pxTaskBuffer;
pxNewTCB->pxStack = ( StackType_t * ) puxStackBuffer;
/* 创建新的任务 */
prvInitialiseNewTask( pxTaskCode, pcName, ulStackDepth, pvParameters,uxPriority, &xReturn, pxNewTCB);
/* 将任务添加到就绪列表 */
prvAddNewTaskToReadyList( pxNewTCB );
}
else
{
xReturn = NULL;
}
return xReturn;
}3 修改初始化一个新任务的prvInitialiseNewTask()函数
截取的部分代码（增加了初始化优先级）：
/* 任务名字的长度不能超过configMAX_TASK_NAME_LEN */
pxNewTCB->pcTaskName[ configMAX_TASK_NAME_LEN - 1 ] = '\0';
/* 初始化TCB中的xStateListItem节点 */
vListInitialiseItem( &( pxNewTCB->xStateListItem ) );
/* 设置xStateListItem节点的拥有者 */
listSET_LIST_ITEM_OWNER( &( pxNewTCB->xStateListItem ), pxNewTCB );
/* 初始化优先级，如果传入的优先级超过了最大限制，则设置为最大优先级，防止数组溢出 */
if( uxPriority >= ( UBaseType_t ) configMAX_PRIORITIES )
{
uxPriority = ( UBaseType_t ) configMAX_PRIORITIES - ( UBaseType_t ) 1U;
}
// 把任务优先级保存在控制块内
pxNewTCB->uxPriority = uxPriority;
/* 初始化任务栈 */
pxNewTCB->pxTopOfStack = pxPortInitialiseStack( pxTopOfStack, pxTaskCode, pvParameters );
/* 让任务句柄指向任务控制块 */
if( ( void * ) pxCreatedTask != NULL )
{
*pxCreatedTask = ( TaskHandle_t ) pxNewTCB;
}4 新增把任务添加到就绪列表的prvAddNewTaskToReadyList()函数，这个函数会自动的把任务加载到就绪列表，在创建任务的函数内调用，就不需要我们再手动的把任务添加到列表内了。
static void prvAddNewTaskToReadyList( TCB_t *pxNewTCB )
{
/* 进入临界段 */
taskENTER_CRITICAL();
{
/* 全局任务计时器加一操作 */
uxCurrentNumberOfTasks++;
/* 如果pxCurrentTCB为空，则将pxCurrentTCB指向新创建的任务 */
if( pxCurrentTCB == NULL )
{
pxCurrentTCB = pxNewTCB;
/* 如果是第一次创建任务，则需要初始化任务相关的列表 */
if( uxCurrentNumberOfTasks == ( UBaseType_t ) 1 )
{
/* 初始化任务相关的列表 */
prvInitialiseTaskLists();
}
}
else /* 如果pxCurrentTCB不为空，则根据任务的优先级将pxCurrentTCB指向最高优先级任务的TCB */
{
if( pxCurrentTCB->uxPriority <= pxNewTCB->uxPriority )
{
pxCurrentTCB = pxNewTCB;
}
}
uxTaskNumber++;
/* 将任务添加到就绪列表 */
prvAddTaskToReadyList( pxNewTCB );
}
/* 退出临界段 */
taskEXIT_CRITICAL();
}之前，我们是先创建任务，再手动将任务插入到就绪列表，需要两个语句。
现在就不需要了，在创建任务时，会根据优先级自动插入到就绪列表。
5 修改开始任务调度器的函数 vTaskStartScheduler()
截取的部分代码，新增了空闲任务的优先级（定义为0），然后删除了添加任务到就绪列表的语句（因为新的创建任务函数，会自动的根据优先级插入到就绪列表），删除了手动指定第一个运行任务的语句，因为现在回自动获取最高优先级的任务去执行。
xIdleTaskHandle = xTaskCreateStatic( (TaskFunction_t)prvIdleTask, /* 任务入口 */
(char *)"IDLE", /* 任务名称，字符串形式 */
(uint32_t)ulIdleTaskStackSize , /* 任务栈大小，单位为字 */
(void *) NULL, /* 任务形参 */
(UBaseType_t) tskIDLE_PRIORITY, /* 任务优先级，数值越大，优先级越高 */
(StackType_t *)pxIdleTaskStackBuffer, /* 任务栈起始地址 */
(TCB_t *)pxIdleTaskTCBBuffer ); /* 任务控制块 */
/* 将任务添加到就绪列表 */
//vListInsertEnd( &( pxReadyTasksLists[0] ), &( ((TCB_t *)pxIdleTaskTCBBuffer)->xStateListItem ) );
/*======================================创建空闲任务end================================================*/
/* 手动指定第一个运行的任务 */
//pxCurrentTCB = &Task1TCB;
/* 启动调度器 */
if( xPortStartScheduler() != pdFALSE )
{
/* 调度器启动成功，则不会返回，即不会来到这里 */
}6 修改vTaskDelay()函数
根据优先级将优先级位图表 uxTopReadyPriority 中对应的位清零，由函数 taskRESET_READY_PRIORITY()来实现。这样，在扫描最高优先级时，就可以避免扫描到这个函数。
void vTaskDelay( const TickType_t xTicksToDelay )
{
TCB_t *pxTCB = NULL;
/* 获取当前任务的TCB */
pxTCB = pxCurrentTCB;
/* 设置延时时间 */
pxTCB->xTicksToDelay = xTicksToDelay;
/* 把优先级对应的位清零 */
/* 这样的话，任务切换就会切到下一个任务去执行
实际上，这里修改的是uxTopReadyPriority变量的相应位清0，而在任务控制块内，还保留着任务优先级
这样的话，每执行一个程序，都会把优先级清0，我们系统的运行状态就是
从最高优先级开始，把所有的任务都执行（然后所有任务的优先级都为0了），此时开始执行空闲函数
在时基函数内，还是不断地递减。一旦某个任务控制块的延时时间到了，就恢复该任务优先级，然后任务切换
从而能执行到这个任务，而任务一旦执行，就又会在延时函数内清零，这样可以实现多个任务的调度 */
// 所以，延时函数是必不可少的
taskRESET_READY_PRIORITY( pxTCB->uxPriority );
/* 任务切换 */
taskYIELD();
}7 修改任务切换的函数 vTaskSwitchContext()函数
不再实行手动切换，而是寻找最高优先级的任务去执行。
/* 任务切换，即寻找优先级最高的就绪任务 */
void vTaskSwitchContext( void )
{
/* 获取优先级最高的就绪任务的TCB，然后更新到pxCurrentTCB */
taskSELECT_HIGHEST_PRIORITY_TASK();
}8 修改更新系统时基的函数（任务函数执行时，通过延时函数会清0优先级转去执行其他任务函数，而一旦这个任务的延时时间到了，又会重新开启这个任务）：
void xTaskIncrementTick( void )
{
TCB_t *pxTCB = NULL;
BaseType_t i = 0;
const TickType_t xConstTickCount = xTickCount + 1;
xTickCount = xConstTickCount;
/* 扫描就绪列表中所有线程的remaining_tick，如果不为0，则减1 */
for(i=0; i<configMAX_PRIORITIES; i++)
{
pxTCB = ( TCB_t * ) listGET_OWNER_OF_HEAD_ENTRY( ( &pxReadyTasksLists[i] ) );
if(pxTCB->xTicksToDelay > 0)
{
pxTCB->xTicksToDelay --;
/* 延时时间到，将任务就绪 */
if( pxTCB->xTicksToDelay ==0 )
{
// 在之后调用任务切换时，重新开启这个任务
taskRECORD_READY_PRIORITY( pxTCB->uxPriority );
}
}
}
/* 任务切换 */
portYIELD();
}
1338
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
