小麦大叔
认证:普通会员
所在专题目录 查看专题
基于CubeIDE快速整合FreeRTOS创建第一个任务
【FreeRTOS学习02】源码结构/数据类型/命名规则总结
【FreeRTOS学习03】Task Management 任务管理基本概念介绍
【FreeRTOS学习04】Queue Management 消息队列使用详解
【FreeRTOS学习05】深度解剖FreeRTOSConfig.h实现对系统的自定义剪裁
【FreeRTOS学习06】深度解剖中断与任务之间同步的具体使用场景
作者动态 更多
新手学STM32的话,先学标准库还是HAL库?
10-18 15:09
一个超级实用的源码阅读小技巧
07-31 10:28
Sourcetail 一款代码编辑神器,让看源码如丝般顺滑
07-30 09:24
真正的机器人为什么都需要SLAM?
07-29 13:12
又踩坑了!这次败给CAN总线了
07-16 13:59

【FreeRTOS学习06】深度解剖中断与任务之间同步的具体使用场景

嵌入式系统中中断是必不可少的一部分

1 前言

本文会在中断基础上对FreeRTOS的中断管理做一个介绍,读者需要掌握中断的概念,本文暂不会对此进行深入介绍;再操作系统中,中断随处可见,从Windows的中断,Linux的中断,以及RTOS的中断,其处理过程都是相同的;无论是软件中断还是硬件中断,在接收到中断源发出的中断请求之后,就会触发中断,CPU寻找中断向量表,然后跳转到中断服务函数,具体如下所示;

什么是中断源,通常就PC来说,中断源可以是以下几种:

  • I/O设备:鼠标,键盘等等;
  • 定时器中断;
  • 内部故障产生的中断;
  • CPU主动中断,比如调试程序,单步执行的情况;

那么,如何在中断服务函数和RTOS的任务之间,安全地完成数据的交互呢?下面会进一步介绍。

2 中断特点

中断发生的时候,会打断正常执行的函数,这时候就会进行现场保护,即将当前各个寄存器的值压到入栈,执行玩中断之后恢复现场,即出栈,重新恢复各个寄存器的值,系统还原到中断之前的状态;具体如下图所示;

FreeRTOS中,中断需要注意几点:

  • 事件的检测,除了中断方式,还可以通过轮询方式,需要更加具体的情况进行选择;
  • 何时使用中断;中断服务函数(ISR)要处理的数据量有多大,通常我们希望中断的切换越快越好,也就是说,ISR尽量采用耗时较少的处理方式;
  • 事件如何通知到任务(和中断服务函数区别开,非ISR函数),如何设计程序的架构可以完成良好的异步处理过程;
  • 事件通知的时候需要注意使用FreeRTOS提供的中断安全API,通常这些函数接口的后缀为xxxxxISR(),例如xQueueSendFrom

3 延迟中断处理

上面提到过,中断服务函数应该尽量断,因此这里才用中断的前部中断的后部来处理;

  • 前部:负责处理不耗时的操作,比如任务的同步,发送信号量去通知任务;
  • 后部:负责处理耗时的操作,这时候,中断已经恢复现场,实际执行可以视为软中断,即在一个Task任务中执行;

上述的方式也可以称之为延迟中断处理,具体的思路是:对应的中断创建一个相应的handler task,使用二值信号量去同步,在某个特殊的中断发生时,发送信号量,让任务解除阻塞,相当于让任务与中断同步。这样就可以让中断事件处理量大的工作在同步任务中完成,中断服务例程(ISR)中只是快速处理少部份工作,几点罗列一下;

  1. 中断处理可以说是被推迟(deferred)到一个处理(handler)任务中;
  2. 如果某个中断处理要求特别紧急,其延迟处理任务的优先级可以设为最高,以保证延迟处理任务随时都抢占系统中的其它任务。
  3. 延迟处理任务就成为其对应的 ISR退出后第一个执行的任务,在时间上紧接着 ISR 执行,相当于所有的处理都在 ISR 中完成一样。1

具体如下所示;

3.1 信号量的使用

关于信号量(Semaphore):通俗的解释,信号量是一个数,二值信号量,互斥信号量,只能表示01,假设一个信号量X,两个任务A,B;

  • 任务A获取了信号量,则该信号量X被设为0B任务都处于堵塞状态,等待A任务释放信号量;
  • A任务释放了信号量,则该信号量X被设为1B任务获取了信号量,则进入运行状态; 2FreeRTOS中对于信号量操作给出了以下相应的API
  • vSemaphoreCreateBinary:创建二值信号量;
  • xSemaphoreTake:获取信号量;
  • xSemaphoreGiveFromISR:发送信号量;这是一组宏定义,具体的实现在头文件semphr.h中,下面进一步介绍;

通常信号量的同步操作如下图所示;

3.2 vSemaphoreCreateBinary

FreeRTOS 中各种信号量的句柄都存储在 xSemaphoreHandle类型的变量中,在使用信号量之前,必须先通过vSemaphoreCreateBinary创建信号量,其具体函数原型如下;

#if( configSUPPORT_DYNAMIC_ALLOCATION == 1 )
	#define vSemaphoreCreateBinary( xSemaphore )																							\
		{																																	\
			( xSemaphore ) = xQueueGenericCreate( ( UBaseType_t ) 1, semSEMAPHORE_QUEUE_ITEM_LENGTH, queueQUEUE_TYPE_BINARY_SEMAPHORE );	\
			if( ( xSemaphore ) != NULL )																									\
			{																																\
				( void ) xSemaphoreGive( ( xSemaphore ) );																					\
			}																																\
		}
#endif
 

可以看到这个接口是通过调用xQueueGenericCreate函数创建了大小为1semSEMAPHORE_QUEUE_ITEM_LENGTH的信号量,并且创建成功之后,通过xSemaphoreGive将信号量设置为1,此时信号量有效;

3.3 xSemaphoreTake

“带走(Taking)”一个信号量意为”获取(Obtain)”或”接收(Receive)”信号量。只有当信号量有效的时候才可以被获取。在经典信号量术中,xSemaphoreTake()等同于一次P()操作。函数原型如下所示;

#define xSemaphoreTake( xSemaphore, xBlockTime )		\
		xQueueSemaphoreTake( ( xSemaphore ), ( xBlockTime ) )

3.4 xSemaphoreGiveFromISR

xSemaphoreGiveFromISR() xSemaphoreGive()的特殊形式, 专门用于中断服务函数中,其函数原型如下;

#define xSemaphoreGiveFromISR( xSemaphore, pxHigherPriorityTaskWoken )	\
		xQueueGiveFromISR( ( QueueHandle_t ) ( xSemaphore ), ( pxHigherPriorityTaskWoken ) )

4 计数信号量

上面讲的二值信号量最多只能锁存一个事件,通俗的讲只能进行一对一的触发,也就是说在中断频率相对较低的情况下,使用二值信号量是比较完美的,但是在中断频率较高的情况下,会出现这种情况:

  • 产生了中断,任务A获取信号量,并开始运行;
  • 新的中断产生,任务A还没有运行结束(任务A占有了信号量),此时信号量无效,因此这个中断信号没有处理就丢失了;这里通过使用计数信号量可以解决这种情况,通过使用xSemaphoreCreateCounting函数,函数原型如下所示;
#if( configSUPPORT_DYNAMIC_ALLOCATION == 1 )
	#define xSemaphoreCreateCounting( uxMaxCount, uxInitialCount ) \
	xQueueCreateCountingSemaphore( ( uxMaxCount ), ( uxInitialCount ) )
#endif

创建一个计数信号量;

xCountingSemaphore = xSemaphoreCreateCounting( 10, 0 );

具体中断和任务通过计数信号量的同步过程可以参考下图;

5 总结

本文对FreeRTOS中如何对中断服务函数和任务进行同步做了简单介绍,分析了通过二值信号量和计数信号量这两种场景的应用和注意事项,另外作者能力有限,难免存在错误和纰漏,请不吝赐教。

声明:本内容为作者独立观点,不代表电子星球立场。未经允许不得转载。授权事宜与稿件投诉,请联系:editor@netbroad.com
觉得内容不错的朋友,别忘了一键三连哦!
赞 3
收藏 2
关注 138
成为作者 赚取收益
全部留言
0/200
成为第一个和作者交流的人吧