事件标志组是实现多任务同步的有效机制之一。也许有不理解的初学者会问采用事件标志组多麻烦, 搞个全局变量不是更简单?其实不然,在裸机编程时,使用全局变量的确比较方便,但是在加上 RTOS 后 就是另一种情况了。 使用全局变量相比事件标志组主要有如下三个问题:
任务间事件标志组的实现是指各个任务之间使用事件标志组实现任务的通信或者同步机制。 下面我们来说说 FreeRTOS 中事件标志的实现,根据用户在 FreeRTOSConfig.h 文件中的配置: #define configUSE_16_BIT_TICKS 1 配置宏定义 configUSE_16_BIT_TICKS 为 1 时,每创建一个事件标志组,用户可以使用的事件标志是8 个。 #define configUSE_16_BIT_TICKS 0 配置宏定义 configUSE_16_BIT_TICKS 为 0 时,每创建一个事件标志组,用户可以使用的事件标志是24 个。
FreeRTOS 中断方式事件标志组的实现是指中断函数和 FreeRTOS 任务之间使用事件标志。 下面我们通过如下的框图来说明一下 FreeRTOS 事件标志的实现,让大家有一个形象的认识。
任务 Task1 运行过程中调用函数 xEventGroupWaitBits,等待事件标志位被设置,任务 Task1 由运行态进入到阻塞态。 Task1 阻塞的情况下,串口接收到数据进入到了串口中断服务程序,在串口中断服务程序中设置 Task1等待的事件标志,任务 Task1 由阻塞态进入到就绪态,在调度器的作用下由就绪态又进入到运行态。 上面就是一个简单的 FreeRTOS 中断方式事件标志通信过程。 实际应用中,中断方式的消息机制要注意以下四个问题:
中断函数的执行时间越短越好,防止其它低于这个中断优先级的异常不能得到及时响应。 实际应用中,建议不要在中断中实现消息处理,用户可以在中断服务程序里面发送消息通知任务,在任务中实现消息处理,这样可以有效地保证中断服务程序的实时响应。同时此任务也需要设置为高优先级,以便退出中断函数后任务可以得到及时执行。 中断服务程序中一定要调用专用于中断的事件标志设置函数,即以 FromISR 结尾的函数。 在操作系统中实现中断服务程序与裸机编程的区别。 如果 FreeRTOS 工程的中断函数中没有调用 FreeRTOS 的事件标志组 API 函数,与裸机编程是一样的。 如果 FreeRTOS 工程的中断函数中调用了 FreeRTOS 的事件标志组的 API 函数,退出的时候要检测是否有高优先级任务就绪,如果有就绪的,需要在退出中断后进行任务切换,这点跟裸机编程稍有区别
使用如下 11 个函数可以实现 FreeRTOS 的事件标志组: xEventGroupCreate() xEventGroupCreateStatic() vEventGroupDelete() xEventGroupWaitBits() xEventGroupSetBits() xEventGroupSetBitsFromISR() xEventGroupClearBits() xEventGroupClearBitsFromISR() xEventGroupGetBits() xEventGroupGetBitsFromISR() 这里我们重点的说以下 4 个函数: xEventGroupCreate() xEventGroupWaitBits() xEventGroupSetBits() xEventGroupSetBitsFromISR()
函数 xEventGroupCreate 函数原型: EventGroupHandle_t xEventGroupCreate( void ); 函数描述: 函数 xEventGroupCreate 用于创建事件标志组。 返回值,如果创建成功, 此函数返回事件标志组的句柄,如果 FreeRTOSConfig.h 文件中定义的 heap 空间不足会返回 NULL #define configTOTAL_HEAP_SIZE ( ( size_t ) ( 30 * 1024 ) )
函数 xEventGroupSetBits 函数原型: EventBits_t xEventGroupSetBits( EventGroupHandle_t xEventGroup, /* 事件标志组句柄 */ const EventBits_t uxBitsToSet ); /* 事件标志位设置 */ 函数描述: 函数 xEventGroupSetBits 用于设置指定的事件标志位为 1。 第 1 个参数是事件标志组句柄。 第 2 个参数表示 24 个可设置的事件标志位,EventBits_t 是定义的 32 位变量,低 24 位用于事件标志设置。变量 uxBitsToSet 的低 24 位的某个位设置为 1,那么被设置的事件标志组的相应位就设置为 1。 变量 uxBitsToSet 设置为 0 的位对事件标志相应位没有影响。比如设置变量 uxBitsToSet = 0x0003 就表示将事件标志的位 0 和位 1 设置为 1,其余位没有变化。
返回当前的事件标志组数值。
使用这个函数要注意以下问题: 1. 使用前一定要保证事件标志组已经通过函数 xEventGroupCreate 创建了。 2. 此函数是用于任务代码中调用的,故不可以在中断服务程序中调用此函数,中断服务程序中使用xEventGroupSetBitsFromISR 3. 用户通过参数 uxBitsToSet 设置的标志位并不一定会保留到此函数的返回值中,下面举两种情况:
a. 如果设置一个位导致等待该位的任务离开阻塞(注意是离开阻塞态,即使没有进入运行态,只要离开阻塞态即可)状态,则该位可能会被自动清除(请参阅xEventGroupWaitBits()的xClearBitOnExit参数)。 b. 调用此函数的任务是一个低优先级任务,通过此函数设置了事件标志后,让一个等待此事件标志 的高优先级任务就绪了,会立即切换到高优先级任务去执行,相应的事件标志位会被函数 xEventGroupWaitBits 清除掉,等从高优先级任务返回到低优先级任务后,函数xEventGroupSetBits 的返回值已经被修改。
函数 xEventGroupSetBitsFromISR 函数原型: BaseType_t xEventGroupSetBitsFromISR( EventGroupHandle_t xEventGroup, /* 事件标志组句柄 */ const EventBits_t uxBitsToSet, /* 事件标志位设置 */ BaseType_t *pxHigherPriorityTaskWoken ); /* 高优先级任务是否被唤醒的状态保存 */ 函数描述: 函数 xEventGroupSetBitsFromISR,用于设置指定的事件标志位为 1。(中断方式) 第 1 个参数是事件标志组句柄。 第 2 个参数表示 24 个可设置的事件标志位,EventBits_t 是定义的 32 位变量(详解 18.1.2 小节说 明),低 24 位用于事件标志设置。变量 uxBitsToSet 的低 24 位的某个位设置为 1,那么被设置的 事件标志组的相应位就设置为 1。 变量 uxBitsToSet 设置为 0 的位对事件标志相应位没有影响。比 如设置变量 uxBitsToSet = 0x0003 就表示将事件标志的位 0 和位 1 设置为 1,其余位没有变化。 第 3 个参数用于保存是否有高优先级任务准备就绪。如果函数执行完毕后,此参数的数值是 pdTRUE, 说明有高优先级任务要执行,否则没有。 返回值,如果消息成功发送给 daemon 任务(就是 FreeRTOS 的定时器任务)返回 pdPASS,否则 返回 pdFAIL,另外 daemon 任务中的消息队列满了也会返回 pdFAIL。 使用这个函数要注意以下问题: 1. 使用前一定要保证事件标志已经通过函数 xEventGroupCreate 创建了。同时要在 FreeRTOSConfig.h文件中使能如下三个宏定义: #define INCLUDE_xEventGroupSetBitFromISR 1 #define configUSE_TIMERS 1 #define INCLUDE_xTimerPendFunctionCall 1 2. 函数 xEventGroupSetBitsFromISR 是用于中断服务程序中调用的,故不可以在任务代码中调用此函数,任务代码中使用的是 xEventGroupSetBits。 3. 函数 xEventGroupSetBitsFromISR 对事件标志组的操作是不确定性操作,因为不知道当前有多少个任务在等待此事件标志。而 FreeRTOS 不允许在中断服务程序和临界段中执行不确定性操作。 为了不在中断服务程序中执行,就通过此函数给FreeRTOS 的 daemon 任务(就是 FreeRTOS 的定时器任务)发送消息,在 daemon 任务中执行事件标志的置位操作。 同时也为了不在临界段中执行此不确定操作,将临界段改成由调度锁来完成。这样不确定性操作在中断服务程序和临界段中执行的问题就都得到解决了。 4. 由于函数 xEventGroupSetBitsFromISR 对事件标志的置位操作是在 daemon 任务里面执行的,如果想让置位操作立即生效,即让等此事件标志的任务能够得到及时执行,需要设置 daemon 任务的优先级高于使用此事件标志组的所有其它任务。 5. 通过下面的使用举例重点看一下函数 xEventGroupSetBitsFromISR 第三个参数的规范用法,初学者务必要注意。
static void AppTaskCreate(void)
{
xTaskCreate(vTaskWork, /* 任务函数 */
"vTaskWork", /* 任务名 */
512, /* 任务栈大小,单位word,也就是4字节 */
NULL, /* 任务参数 */
1, /* 任务优先级*/
&xHandleTaskWork ); /* 任务句柄 */
xTaskCreate( vTaskLed1, /* 任务函数 */
"vTaskLed1", /* 任务名 */
512, /* 任务栈大小,单位word,也就是4字节 */
NULL, /* 任务参数 */
2, /* 任务优先级*/
&xHandleTaskLED1); /* 任务句柄 */
xTaskCreate( vTaskBeep, /* 任务函数 */
"vTaskBeep", /* 任务名 */
512, /* 任务栈大小,单位word,也就是4字节 */
NULL, /* 任务参数 */
3, /* 任务优先级*/
&xHandleTaskBeep ); /* 任务句柄 */
}
/*********************************************************************************
* @ 函数名 : vTaskBeep
* @ 功能说明: Beep 任务
* @ 参数 : pvParameters,当任务创建的时候传进来,可以没有
* @ 返回值 : 无
********************************************************************************/
void vTaskBeep(void *pvParameters)
{
EventBits_t uxBits;
const TickType_t xTicksToWait = 5000; /* 最大延迟100ms */
while(1)
{
/* 等K1按键按下设置bit0和K2按键按下设置bit1 */
uxBits = xEventGroupWaitBits(xCreatedEventGroup, /* 事件标志组句柄 */
BIT_ALL, /* 等待bit0和bit1被设置 */
pdTRUE, /* 退出前bit0和bit1被清除,这里是bit0和bit1都被设置才表示“退出”*/
pdTRUE, /* 设置为pdTRUE表示等待bit1和bit0都被设置*/
xTicksToWait); /* 等待延迟时间 */
if((uxBits & BIT_ALL) == BIT_ALL)
{
/* 接收到bit1和bit0都被设置的消息 */
printf("接收到bit0和bit1都被设置的消息\r\n");
}
else
{
/* 超时,另外注意仅接收到一个按键按下的消息时,变量uxBits的相应bit也是被设置的 */
BEEP_TOGGLE;
}
}
}
/***按键处理任务***/
static void vTaskWork(void *pvParameters)
{
EventBits_t uxBits;
while(1)
{
if (key1_flag==1)
{
key1_flag=0;
/* 设置事件标志组的bit0 */
uxBits = xEventGroupSetBits(xCreatedEventGroup, BIT_0);
if((uxBits & BIT_0) != 0)
{
printf("K1键按下,事件标志的bit0被设置\r\n");
}
else
{
printf("K1键按下,事件标志的bit0被清除,说明任务vTaskBeep已经接受到bit0和bit1被设置的情况\r\n");
}
}
if(key2_flag==1)
{
key2_flag=0;
uxBits = xEventGroupSetBits(xCreatedEventGroup, BIT_1);
if((uxBits & BIT_1) != 0)
{
printf("K2键按下,事件标志的bit1被设置\r\n");
}
else
{
printf("K2键按下,事件标志的bit1被清除,说明任务vTaskBeep已经接受到bit0和bit1被设置的情况\r\n");
}
}
vTaskDelay(20);
}
}
创建的任务,按键处理优先级低于事件等待的Beep任务,先按下K1,再按K2,打印如下:
第一个输出毫无疑问,第二行,由于事件等待Beep优先级大于按键处理,所以当K2按下之后,调度器首先回到高优先级的任务Beep,打印出此时K1,K2都被按下以致bit0和bit1被置位的消息,在Beep任务中调用xEventGroupWaitBits函数后,这两个置为1的位bit1和bit0会被清零,此时,调度器再次回到低优先级的按键处理任务时,xEventGroupSetBits的返回值已经更新成清零值,故第三行打印清除的消息。
现在,我们把按键处理的优先级设置成为高于Beep任务的,打印输出如下:
第一个输出也毫无疑问,按下K1,bit0被置位,当我按下K2的时候,此时调度器 不会马上返回低优先级的Beep任务,而会继续执行自身(此实验设置按键处理最高优先级)直到被阻塞,所以会有第二行的打印,但是,注意,第二行按下K2的打印却依旧显示的是被清除了,因为在Beep任务中使用了事件等待,而K2按下的时候,freertos操作系统会知道等待两个按键按下的事件已经触发了,此时,在按键处理任务中,xEventGroupSetBits的返回值,也不是当前获取的置位值了,而是经过xEventGroupSetBits函数自动清零之后的值,所以第二行打印的是清零消息,第三行打印都被置位,为什么不是清零?因为此时xEventGroupWaitBits返回值是清零前的事件标志组数值。
可能你觉得有点奇怪, xEventGroupSetBits函数本就是置位信息的功能,居然还要受xEventGroupWaitBits函数和调用形式影响,哪怕调用xEventGroupWaitBits函数的任务优先级还是低于我们的按键任务的(但是事件标志的设置让低优先级的任务离开了阻塞态(只要离开了阻塞态,返回值就会更新),在就绪态,只是被高优先级任务抢占了),但是,正是因为这样,我们真正实时传递了事件信息啊。试想,要是我的两个按键事件都已经触发了,而我在按键处理任务中还不能立即知道,这样的实时性显然是不满足需求的。就连裸机中,我们通过中断改变一个元素的值,一定是中断改变之后,这个值在被任何使用的时候都已经更新,所以,作为实时操作系统,freertos这样的行为也就可以理解了。
中断方式不再演示,只是需要在中断服务函数中使用xEventGroupSetBitsFromISR,使用方式如下:
/*
*********************************************************************************************************
* 函 数 名: TIM_CallBack1和TIM_CallBack2
* 功能说明: 定时器中断的回调函数,此函数被bsp_StartHardTimer所调用。
* 形 参: 无
* 返 回 值: 无
*********************************************************************************************************
*/
static void TIM_CallBack1(void)
{
BaseType_t xResult;
BaseType_t xHigherPriorityTaskWoken = pdFALSE;
/* 向任务vTaskBeep发送事件标志 */
xResult = xEventGroupSetBitsFromISR(xCreatedEventGroup, /* 事件标志组句柄 */
BIT_0 , /* 设置bit0 */
&xHigherPriorityTaskWoken );
/* 消息被成功发出 */
if( xResult != pdFAIL )
{
/* 如果xHigherPriorityTaskWoken = pdTRUE,那么退出中断后切到当前最高优先级任务执行 */
portYIELD_FROM_ISR(xHigherPriorityTaskWoken);
}
}
扫码关注腾讯云开发者
领取腾讯云代金券
Copyright © 2013 - 2025 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号:粤B2-20090059 深公网安备号 44030502008569
腾讯云计算(北京)有限责任公司 京ICP证150476号 | 京ICP备11018762号 | 京公网安备号11010802020287
Copyright © 2013 - 2025 Tencent Cloud.
All Rights Reserved. 腾讯云 版权所有