FreeRTOS——信号量

目录

一、概念及其应用

1.1定义

1.2作用

二、二值信号量

2.1定义

2.2二值信号量工作机制

2.3二值信号量应用场景---同步

2.4二值信号量API

2.4.1创建二值信号量

2.4.2任务中释放信号量

2.4.3中断中释放信号量

2.4.4任务中获取信号量

2.4.5中断中获取信号量

三、计数信号量

3.1定义

3.2作用

3.3创建计数信号量

3.4获取当前计数信号量的值

四、实现原理

队列、信号量、互斥信号量都是为了解决任务和中断之间通讯、同步、互斥的问题

一、概念及其应用

1.1定义

信号量 是应用层面实现任务与任务或任务与中断间通信的机制,可以类比裸机编程中的标志位

1.2作用

实现任务与任务或任务与中断间的同步功能(二值信号量) 、资源管理(计数信号量) 、临界资源的互斥访问(互斥信号量)

容易混淆:

临界段是内核的一种处理机制,不让任务或大部分中断 打断

消息队列 是实现任务与任务或任务与中断间通信的数据结构,可类比裸机编程中的数组,消息队列中的数据是重要的,而信号量中不关心数据,只关心是否为空

二、二值信号量

2.1定义

当信号量被获取了,信号量值变为0;当信号量被释放了,信号量值变为1。 把这种取值只有0与1两种状态的信号量称之为二值信号量。创建二值信号量时,系统会为创建的二值信号量分配内存

二值信号量是一种长度为1,消息大小为0的特殊消息队列。 因为这个队列只有空或满两种状态,而且消息大小为0,因此在运用时,只需要知道队列中是否有消息即可,而无需关注消息是什么

2.2二值信号量工作机制

TASK1阻塞等待信号量,直到TASK2释放后获得,解除阻塞态

2.3二值信号量应用场景---同步

1.任务与任务中同步的应用场景:

假设有一个温湿度传感器,每1s采集一次数据,把它采集的数据用液晶显示,液晶屏上的数据最快也只能是1s。但如果液晶屏刷新的周期是100ms,若温湿度数据还没更新,液晶屏根本无须刷新,只需要在1s后温湿度数据更新时刷新即可,否则CPU白白做了多次的无效数据更新操作,造成 CPU 资源浪费。要是液晶屏刷新的周期是 10s,那么温湿度的数据都变化了10次,液晶屏才来更新数据,那么这个产品测得的结果就是不准确的,所以还是需要同步协调工作,在温湿度采集完毕之后进行液晶屏数据的刷新,这样得到的结果才是最准确的,并且不会浪费 CPU 的资源。

2.任务与中断中同步的应用场景:

在串口接收 中,我们不知道什么时候有数据发送过来,但如果设置一个任务专门时刻查询是否有数据到来,将会浪费CPU资源,所以在这种情况下使用二值信号量是很好的办法:当没有数据到来时,任务进入阻塞态 ,不参与任务的调度 ;等到数据到来了 ,释放一个二值信号量,任务就立即从阻塞态中解除,进入就绪态,然后在运行时处理数据,这样系统的资源就会得到很好的利用。

2.4二值信号量API

2.4.1创建二值信号量

cpp 复制代码
#inlcude "FreeRTOS.h"
#include "semphr.h"

/*创建二值信号量*/
SemaphoreHandle_t xSemaphoreCreatBinary(void)

func:dynamically creat binary semaphore and return  semaphore_handle //创建二值信号量并返回句柄,初始化信号量值为0

   
return: NULL: 堆空间不足
    	Any other value: 成功返回的句柄
    
matters needing attention: 
configSUPPORT_DYNAMIC_ALLOCATION必须置1

2.4.2任务中释放信号量

cpp 复制代码
#inlcude "FreeRTOS.h"
#include "semphr.h"

/*任务中释放信号量(无论是哪种具体的信号量 都用这个API!!!)*/
BaseType_t xSemaphoreGive(SemaphoreHandle_t xSemaphore)
    
func:release semaphore in task//任务中释放信号量

params:xSemaphore    
    
return: pdTRUE: 释放成功
    	pdFAIL: 因为信号量的实现是基于消息队列,返回失败的主要原因是消息队列已经满了
    
matters needing attention: 
此函数不支持使用 xSemaphoreCreateRecursiveMutex()创建的信号量

2.4.3中断中释放信号量

cpp 复制代码
#inlcude "FreeRTOS.h"
#include "semphr.h"

/*中断中释放信号量(无论是哪种具体的信号量 都用这个API!!!)*/
BaseType_t xSemaphoreGiveFromISR(SemaphoreHandle_t xSemaphore, BaseType_t *pxHigherPriorityTaskWoken)

func:release semaphore in ISR //中断中释放信号量    
    
params:xSemaphore 句柄
        pxHigherPriorityTaskWoken 用于保存是否有高优先级任务准备就绪 意味着释放信号量成功后,是否进行上下文切换(pdTRUE) 
    						      一般使用NULL

return: pdTRUE:        释放成功
    	errQUEUE_FULL: 已经释放过了,相当于信号量的值顶满了 1~1
    
matters needing attention: 
此函数不支持使用 xSemaphoreCreateMutex ()创建的信号量

2.4.4任务中获取信号量

cpp 复制代码
#inlcude "FreeRTOS.h"
#include "semphr.h"

/*任务中获取信号量(无论是哪种具体的信号量 都用这个API!!!)*/
BaseType_t xSemaphoreTake(SemaphoreHandle_t xSemaphore,TickType_t xTicksToWait)

func:get semaphore in task//任务中获取信号量    
    
params:xSemaphore   句柄
    	xTicksToWait 阻塞时间 portMAX_DELAY表示一直"痴情"等

return: pdTRUE: 获取成功
    	pdFAIL: 获取失败
    
matters needing attention: 
此函数不支持使用 xSemaphoreCreateRecursiveMutex()创建的信号量

2.4.5中断中获取信号量

cpp 复制代码
#inlcude "FreeRTOS.h"
#include "semphr.h"

/*中断中获取信号量(无论是哪种具体的信号量 都用这个API!!!)*/
BaseType_t xSemaphoreTakeFromISR(SemaphoreHandle_t xSemaphore,BaseType_t *pxHigherPriorityTaskWoken)

func:get semaphore in isr//中断中获取信号量    
    
params:xSemaphore 句柄
        pxHigherPriorityTaskWoken 用于保存是否有高优先级任务准备就绪 意味着释放信号量成功后,是否进行上下文切换(pdTRUE) 
    						      一般使用NULL   

return: pdTRUE: 获取成功
    	pdFAIL: 获取失败
    
matters needing attention: 
只能在中断中调用,没有阻塞功能

三、计数信号量

3.1定义

取值为0~n(n>1具体用户决定)的信号量

3.2作用

计数信号量是资源管理 的重要手段,主要用于任务与任务间。

3.3创建计数信号量

cpp 复制代码
#inlcude "FreeRTOS.h"
#include "semphr.h"

/*创建计数信号量*/
SemaphoreHandle_t xSemaphoreCreatCounting(UBaseType_t uxMaxCount, UBaseType_t uxInitialCount)
  
func:dynamically creat counting semaphore and return  semaphore_handle //创建、初始化计数信号量并返回句柄

param: uxMaxCount       最大值
        uxInitialCount   初始值  
   
return: NULL: 堆空间不足
    	Any other value: 成功返回的句柄
    
matters needing attention: 
configSUPPORT_DYNAMIC_ALLOCATION必须置1
USE_COUNTING_SEMAPHORE必须置1

3.4获取当前计数信号量的值

cpp 复制代码
#inlcude "FreeRTOS.h"
#include "semphr.h"

/*获取当前计数信号量的值*/
SemaphoreHandle_t xSemaphoreGetCount(SemaphoreHandle_t xSemaphore)
  
func:return current value of counting semaphore //返回当前计数信号量的值

param: xSemaphore  计数信号量句柄
   
    
matters needing attention: None

四、实现原理

信号量是基于消息队列实现的机制,这点在代码中有很好的印证

1.二值信号量的创建

xSemaphoreCreatBinary(队列长度=1,ItemSize=0,消息队列类型参数)

消息大小为0因为消息空间没有意义

2.计数信号量

xSemaphoreCreatCounting() 实际接口xQueueCreatCountingSemaphore(),内部调用消息队列的创建API

uxMessageWaiting = uxInitialCount 表示创建后就可获取,不用阻塞等待

3.信号量的删除

完全拷贝消息队列的删除

4.释放信号量

Give对应Send,任务级对应任务级,中断级对应中断级。

消息队列的发送/接收都有阻塞任务的功能,但信号量的释放是把阻塞参数设为0,因为信号量释放是一个紧急事件,当信号量资源达到最大,就不需要再等待其他任务使用

中断中的Give实际又封装了一个消息队列give的API,与send的区别就是没有数据拷贝功能(也不需要),因为信号不占用空间

5.获取信号量

如同Give对应Send,Take则对应Receive,区别就是接收缓冲区=NULL,出队固定删除空间

相关推荐
一隅论数智5 天前
给AI一张“业务概念地图“:本体如何从哲学走向企业智能
大数据·人工智能·经验分享·笔记·学习·学习方法·政务
XiHongShi20165 天前
STM32F407 RTC定时器例程,建议保存
stm32·单片机·学习
爱吃苹果的日记本5 天前
离散数学第六课
学习·离散数学
优信电子5 天前
AIT1001 非接触式红外测温模块 STM32 驱动开发实战:从引脚到代码全解析
stm32·嵌入式·温度传感器·红外测温·非接触式测温·ait1001
AI职业加油站5 天前
AI智能体应用工程师证书:政策红利下的职业新风口
大数据·运维·人工智能·学习·职场发展
深圳老胡5 天前
STM32F407 控制 L6470 步进电机驱动 —— 控制过程简介
笔记·stm32·单片机·嵌入式硬件·代码规范
旖旎夜光5 天前
力控面试题 01.01: 判定字符是否唯一(位运算) —— 题解
c++·学习·算法·leetcode·力控
奇思妙想聪明勤奋的小羊5 天前
DeepAgents第5章:子Agent 与上下文隔离—让 Agent学会委派
人工智能·python·学习·语言模型
wuyk5555 天前
《WiFi 嵌入式物联网开发全套实战》| 第 16 章 ESP32 AP+STA 双模共存原理与工程坑点
网络·stm32·物联网