FreeRTOS 与隔壁的 RT-Thread 和 μC/OS 一样,都支持时间片的功能。所谓时间片就是同一个优先级下可以有多个任务,每个任务轮流地享有相同的 CPU 时间,享有 CPU 的时间我们叫时间片。在 RTOS 中,最小的时间单位为一个 tick,即 SysTick 的中断周期,RT-Thread 和 μC/OS 可以指定时间片的大小为多个 tick,但是 FreeRTOS 不一样,时间片只能是一个 tick。与其说 FreeRTOS 支持时间片,倒不如说它的时间片就是正常的任务调度。
其实时间片的功能我们已经实现,剩下的就是通过实验来验证。那么接下来我们就先看实验现象,再分析原理,透过现象看本质。
时间片测试实验
假设目前系统中有三个任务就绪(算上空闲任务就是 4 个),任务 1 和任务 2 的优先级为 2,任务 3 的优先级为 3,整个就绪列表的示意图如下
为了方便在逻辑分析仪中地分辨出任务 1 和任务 2 使用的时间片大小,任务 1 和任务 2 的主体编写成一个无限循环函数,不会阻塞,任务 3 的阻塞时间设置为 1 个 tick。任务 1 和任务 2 的任务主体编写为一个无限循环,这就意味着,优先级低于 2 的任务就会被饿死,得不到执行,比如空闲任务。在真正的项目中,并不会这样写,这里只是为了实验方便。整个 mai.c 的文件的实验代码具体如下
main 函数
/*
*************************************************************************
* 包含的头文件
*************************************************************************
*/
#include "FreeRTOS.h"
#include "task.h"
/*
*************************************************************************
* 全局变量
*************************************************************************
*/
portCHAR flag1;
portCHAR flag2;
portCHAR flag3;
extern List_t pxReadyTasksLists[ configMAX_PRIORITIES ];
/*
*************************************************************************
* 任务控制块 & STACK
*************************************************************************
*/
TaskHandle_t Task1_Handle;
#define TASK1_STACK_SIZE 128
StackType_t Task1Stack[TASK1_STACK_SIZE];
TCB_t Task1TCB;
TaskHandle_t Task2_Handle;
#define TASK2_STACK_SIZE 128
StackType_t Task2Stack[TASK2_STACK_SIZE];
TCB_t Task2TCB;
TaskHandle_t Task3_Handle;
#define TASK3_STACK_SIZE 128
StackType_t Task3Stack[TASK3_STACK_SIZE];
TCB_t Task3TCB;
/*
*************************************************************************
* 函数声明
*************************************************************************
*/
void delay (uint32_t count);
void Task1_Entry( void *p_arg );
void Task2_Entry( void *p_arg );
void Task3_Entry( void *p_arg );
/*
************************************************************************
* main函数
************************************************************************
*/
int main(void)
{
/* 硬件初始化 */
/* 将硬件相关的初始化放在这里,如果是软件仿真则没有相关初始化代码 */
/* 创建任务 */
Task1_Handle = xTaskCreateStatic( (TaskFunction_t)Task1_Entry, /* 任务入口 */
(char *)"Task1", /* 任务名称,字符串形式 */
(uint32_t)TASK1_STACK_SIZE , /* 任务栈大小,单位为字 */
(void *) NULL, /* 任务形参 */
(UBaseType_t) 2, /* 任务优先级,数值越大,优先级越高 */
(StackType_t *)Task1Stack, /* 任务栈起始地址 */
(TCB_t *)&Task1TCB ); /* 任务控制块 */
Task2_Handle = xTaskCreateStatic( (TaskFunction_t)Task2_Entry, /* 任务入口 */
(char *)"Task2", /* 任务名称,字符串形式 */
(uint32_t)TASK2_STACK_SIZE , /* 任务栈大小,单位为字 */
(void *) NULL, /* 任务形参 */
(UBaseType_t) 2, /* 任务优先级,数值越大,优先级越高 */
(StackType_t *)Task2Stack, /* 任务栈起始地址 */
(TCB_t *)&Task2TCB ); /* 任务控制块 */
Task3_Handle = xTaskCreateStatic( (TaskFunction_t)Task3_Entry, /* 任务入口 */
(char *)"Task3", /* 任务名称,字符串形式 */
(uint32_t)TASK3_STACK_SIZE , /* 任务栈大小,单位为字 */
(void *) NULL, /* 任务形参 */
(UBaseType_t) 3, /* 任务优先级,数值越大,优先级越高 */
(StackType_t *)Task3Stack, /* 任务栈起始地址 */
(TCB_t *)&Task3TCB ); /* 任务控制块 */
portDISABLE_INTERRUPTS();
/* ①启动调度器,开始多任务调度,启动成功则不返回 */
vTaskStartScheduler();
for(;;)
{
/* 系统启动成功不会到达这里 */
}
}
/*
*************************************************************************
* 函数实现
*************************************************************************
*/
/* 软件延时 */
void delay (uint32_t count)
{
for(; count!=0; count--);
}
/* ②任务1 */
void Task1_Entry( void *p_arg )
{
for( ;; )
{
flag1 = 1;
//vTaskDelay( 1 );
delay (100);
flag1 = 0;
delay (100);
//vTaskDelay( 1 );
}
}
/* ③任务2 */
void Task2_Entry( void *p_arg )
{
for( ;; )
{
flag2 = 1;
//vTaskDelay( 1 );
delay (100);
flag2 = 0;
delay (100);
//vTaskDelay( 1 );
}
}
void Task3_Entry( void *p_arg )//④
{
for( ;; )
{
flag3 = 1;
vTaskDelay( 1 );
//delay (100);
flag3 = 0;
vTaskDelay( 1 );
//delay (100);
}
}
/* 获取空闲任务的内存 */
StackType_t IdleTaskStack[configMINIMAL_STACK_SIZE];
TCB_t IdleTaskTCB;
void vApplicationGetIdleTaskMemory( TCB_t **ppxIdleTaskTCBBuffer,
StackType_t **ppxIdleTaskStackBuffer,
uint32_t *pulIdleTaskStackSize )
{
*ppxIdleTaskTCBBuffer=&IdleTaskTCB;
*ppxIdleTaskStackBuffer=IdleTaskStack;
*pulIdleTaskStackSize=configMINIMAL_STACK_SIZE;
}
②和③为了方便观察任务 1 和任务 2 使用的时间片大小,特意将任务的主体编写成一个无限循环。
实际项目中不会这样使用,否则低于任务 1 和任务 2 优先级的任务就会被饿死,一直没有机会被执行。
④因为任务 1 和任务 2 的主体是无限循环的,要想任务 3 有机会执
行,其优先级就必须高于任务 1 和任务 2 的优先级。为了方便观察任务 1 和任务 2 使用的时间片大小,任务 3 的阻塞延时我们设置为 1 个 tick。
实验现象
进入软件调试,全速运行程序,从逻辑分析仪中可以看到任务 1 和任务 2 轮流执行,每一次运行的时间等于任务 3 中 flag3 输出高电平或者低电平的时间,即一个 tick。
在这一个 tick(时间片)里面,任务 1 和任务 2 的 flag 标志位做了很多次的翻转,点击逻辑分析仪中 Zoom In 按钮将波形放大后就可以看到 flag 翻转的细节
原理分析
之所以在同一个优先级下可以有多个任务,最终还是得益于taskRESET_READY_PRIORITY() 和taskSELECT_HIGHEST_PRIORITY_TASK() 这两个函函数的实现方法。接下来我们分析下这两个函数是如何在同一个优先级下有多个任务的时候起作用的。
系统在任务切换的时候总会从就绪列表中寻找优先级最高的任务来执行,寻找优先级最高的任务这个功能由 taskSELECT_HIGHEST_PRIORITY_TASK() 函数来实现,该函数在 task.c 中定义
taskSELECT_HIGHEST_PRIORITY_TASK() 函数
#define taskSELECT_HIGHEST_PRIORITY_TASK()
{
UBaseType_t uxTopPriority;
/* ①寻找最高优先级 */
portGET_HIGHEST_PRIORITY( uxTopPriority, uxTopReadyPriority );
/* ②获取优先级最高的就绪任务的TCB,然后更新到pxCurrentTCB */
listGET_OWNER_OF_NEXT_ENTRY( pxCurrentTCB, &( pxReadyTasksLists[ uxTopPriority ] ) );
} /* taskSELECT_HIGHEST_PRIORITY_TASK() */
①寻找就绪任务的最高优先级。即根据优先级位图表 uxTopReadyPriority 找到就绪任务的最高优先级,然后将优先级暂存在 uxTopPriority。
②获取优先级最高的就绪任务的 TCB,然后更新到 pxCurrentTCB。目前我们的实验是在优先级 2 上有任务 1 和任务 2,假设任务 1 运行了一个 tick,那接下来再从对应优先级 2 的就绪列表上选择任务来运行就应该是选择任务 2?怎么选择,代码上怎么实现?奥妙就在 listGET_OWNER_OF_NEXT_ENTRY() 函数中,该函数在 list.h 中定义
/* 获取列表的列表项的OWNER,即TCB */
#define listGET_OWNER_OF_NEXT_ENTRY( pxTCB, pxList )
{
List_t * const pxConstList = ( pxList );
/* 列表项索引指向列表第一个列表项调整列表项索引指针,指向下一个列表项,
如果当前列表有N个节点,当第N次调用该函数时,pxInedex则指向第N个列表项 */
( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext;
/* 当前列表为空 */
if( ( void * ) ( pxConstList )->pxIndex == ( void * ) &( ( pxConstList )->xListEnd ) )
{
( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext;
}
/* 获取列表项的OWNER,即TCB */
( pxTCB ) = ( pxConstList )->pxIndex->pvOwner;
}
listGET_OWNER_OF_NEXT_ENTRY() 函数的妙处在于它并不是获取列表下的第一个节点的OWNER,而且用于获取下一个列表项的 OWNER。有下一个那么就会有上一个的说法,怎么理解?假设当前列表有 N 个节点,当第 N 次调用该函数时,pxIndex 则指向第 N 个列表项,即每调用一次,节点遍历指针 pxIndex 则会向后移动一次,用于指向下一个列表项。
本实验中,优先级 2 下有两个任务,当系统第一次切换到优先级为 2 的任务(包含了任务 1 和任务 2,因为它们的优先级相同)时,pxIndex 指向任务 1,任务 1 得到执行。当任务 1 执行完毕,系统重新切换到优先级为 2 的任务时,这个时候 pxIndex 指向任务 2,任务 2 得到执行,任务 1和任务 2 轮流执行,享有相同的 CPU 时间,即所谓的时间片。
本实验中,任务 1 和任务 2 的主体都是无限循环,那如果任务 1 和任务 2 都会调用将自己挂起的函数(实际运用中,任务体都不能是无限循环的,必须调用能将自己挂起的函数),比如vTaskDelay()。调用能将任务挂起的函数中,都会先将任务从就绪列表删除,然后将任务在优先级位图表 uxTopReadyPriority 中对应的位清零,这一功能由 taskRESET_READY_PRIORITY() 函数来实现,该函数在 task.c 中定义
taskRESET_READY_PRIORITY() 函数
#define taskRESET_READY_PRIORITY( uxPriority )
{
if( listCURRENT_LIST_LENGTH( &( pxReadyTasksLists[ ( uxPriority ) ] ) ) == ( UBaseType_t ) 0 )
{
portRESET_READY_PRIORITY( ( uxPriority ), ( uxTopReadyPriority ) );
}
}
taskRESET_READY_PRIORITY() 函数的妙处在于清除优先级位图表 uxTopReadyPriority 中相应的位时候,会先判断当前优先级列表下是否还有其它任务,如果有则不清零。假设当前实验中,任务 1 会调用 vTaskDelay(),会将自己挂起,只能是将任务 1 从就绪列表删除,不能将任务 1 在优先级位图表 uxTopReadyPriority 中对应的位清 0,因为该优先级下还有任务 2,否则任务 2 将得不到执行。
修改代码,支持优先级
其实,我们的代码已经支持了时间片,实现的算法与 FreeRTOS 官方是一样的,即 taskSELECT_HIGHEST_PRIORITY_TASK() 和taskRESET_READY_PRIORITY() 这两个函数的实现。但是在代码的编排组织上与 FreeRTOS 官方的还是有点不一样,为了与 FreeRTO S 官方代码统一起来,我们还是稍作修改。
xPortSysTickHandler() 函数
xPortSysTickHandler() 函数在port.c定义具体修改见代码如下,即当 xTaskIncrementTick()函数返回为真时才进行任务切换,原来的 xTaskIncrementTick() 是不带返回值的,执行到最后会调用 taskYIELD() 执行任务切换。
void xPortSysTickHandler( void )
{
/* 关中断 */
vPortRaiseBASEPRI();
/* 更新系统时基 */
if ( xTaskIncrementTick() != pdFALSE )
{
/* 任务切换,即触发 PendSV */
//portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET_BIT;
taskYIELD();
}
/* 开中断 */
vPortClearBASEPRIFromISR();
}
修改 xTaskIncrementTick() 函数
xTaskIncrementTick() 函数具体修改如下
//void xTaskIncrementTick( void )
BaseType_t xTaskIncrementTick( void )//①
{
TCB_t * pxTCB;
TickType_t xItemValue;
BaseType_t xSwitchRequired = pdFALSE;/②
const TickType_t xConstTickCount = xTickCount + 1;
xTickCount = xConstTickCount;
/* 如果xConstTickCount溢出,则切换延时列表 */
if( xConstTickCount == ( TickType_t ) 0U )
{
taskSWITCH_DELAYED_LISTS();
}
/* 最近的延时任务延时到期 */
if( xConstTickCount >= xNextTaskUnblockTime )
{
for( ;; )
{
if( listLIST_IS_EMPTY( pxDelayedTaskList ) != pdFALSE )
{
/* 延时列表为空,设置xNextTaskUnblockTime为可能的最大值 */
xNextTaskUnblockTime = portMAX_DELAY;
break;
}
else /* 延时列表不为空 */
{
pxTCB = ( TCB_t * ) listGET_OWNER_OF_HEAD_ENTRY( pxDelayedTaskList );
xItemValue = listGET_LIST_ITEM_VALUE( &( pxTCB->xStateListItem ) );
/* 直到将延时列表中所有延时到期的任务移除才跳出for循环 */
if( xConstTickCount < xItemValue )
{
xNextTaskUnblockTime = xItemValue;
break;
}
/* 将任务从延时列表移除,消除等待状态 */
( void ) uxListRemove( &( pxTCB->xStateListItem ) );
/* 将解除等待的任务添加到就绪列表 */
prvAddTaskToReadyList( pxTCB );
#if ( configUSE_PREEMPTION == 1 )//③
{
if( pxTCB->uxPriority >= pxCurrentTCB->uxPriority )
{
xSwitchRequired = pdTRUE;
}
}
#endif /* configUSE_PREEMPTION */
}
}
}/* xConstTickCount >= xNextTaskUnblockTime */
#if ( ( configUSE_PREEMPTION == 1 ) && ( configUSE_TIME_SLICING == 1 ) )//④
{
if( listCURRENT_LIST_LENGTH( &( pxReadyTasksLists[ pxCurrentTCB->uxPriority ] ) )
> ( UBaseType_t ) 1 )
{
xSwitchRequired = pdTRUE;
}
}
#endif /* ( ( configUSE_PREEMPTION == 1 ) && ( configUSE_TIME_SLICING == 1 ) ) */
/* 任务切换 */
//portYIELD();//⑤
}
①将 xTaskIncrementTick() 函数修改成带返回值的函数。
②定义一个局部变量 xSwitchRequired,用于存储xTaskIncrementTick()函数的返回值,当返回值是 pdTRUE 时,需要执行一次任务切换,默认初始化为 pdFALSE。
③configUSE_PREEMPTION 是在 FreeRTOSConfig.h 的一个宏,默认为 1,表示有任务就绪且就绪任务的优先级比当前优先级高时,需要执行一次任务切换,即将 xSwitchRequired 的值置为 pdTRUE。在 xTaskIncrementTick() 函数还没有修改成带返回值的时候,我们是在执行完 xTaskIncrementTick() 函数的时候,不管是否有任务就绪,不管就绪的任务的优先级是否比当前任务优先级高都执行一次任务切换。如果就绪任务的优先级比当前优先级高,那么执行一次任务切换与加了比之前多的这段代码实现的功能是一样的。如果没有任务就绪呢?就不需要执行任务切换,这样与之前的实现方法相比就省了一次任务切换的时间。虽然说没有更高优先级的任务就绪,执行任务切换的时候还是会运行原来的任务,但这是以多花一次任务切换的时间为代价的。
④这部分与时间片功能相关。当 configUSE_PREEMPTION 与 confi-
gUSE_TIME_SLICING 都为真,且当前优先级下不止一个任务时就执行一次任务切换,即将xSwitchRequired 置为 pdTRUE 即可。在 xTaskIncrementTick() 函数还没有修改成带返回值之前,这部分代码不需要也是可以实现时间片功能的,即只要在执行完xTaskIncrementTick()函数后执行一次任务切换即可。configUSE_PREEMPTION 在 FreeRTOSConfig.h 中默认定义为 1,configUSE_TIME_SLICING 如果没有定义,则会默认在FreeRTOS.h 中定义为 1。
其实 FreeRTOS 的这种时间片功能不能说是真正意义的时间片,因为它不能随意的设置时间为多少个 tick,而是默认一个 tick,然后默认在每个 tick 中断周期中进行任务切换而已。
⑤不在这里进行任务切换,而是放到了 xPortSysTickHandler() 函数中。当 xTaskIncrementTick() 函数的返回值为真时才进行任务切换。
至此,FreeRTOS 时间片功能就讲完。FreeRTOS学习计划从0到一写FreeRTOS内核也全部学习完,后面会学习FreeRTOS 内核应用
开发。
参考资料:《FreeRTOS 内核实现与应用开发实战—基于RT1052》