FreeRTOS学习笔记-基于stm32(9)信号量总结(二值信号量、计数型信号量、互斥信号量、优先级翻转、优先级继承)

一、什么是信号量

信号量是一种队列,用于任务间同步和资源管理的机制,主要用来传递状态。就像是一种特殊的"旗子"或"钥匙",用来在不同的任务之间进行沟通和协调,确保它们能够正确地配合工作,不会互相干扰。

二、二值信号量

二值信号量相当于长度为1的队列。

二值信号量的使命就是同步,完成任务与任务或中断与任务之间的同步。大多数情况下都 是中断与任务之间的同步。在任务中尝试读取信号量,当信号量为空时发生阻塞,然后当有事件发生时,在中断中释放信号量,此时在任务中就可以读取信号量从而执行接下来的代码,这样就实现了同步。

|--------------------------------|---------------|
| 函数 | 描述 |
| xSemaphoreCreateBinary() | 使用动态方式创建二值信号量 |
| xSemaphoreCreateBinaryStatic() | 使用静态方式创建二值信号量 |
| xSemaphoreGive() | 释放信号量 |
| xSemaphoreGiveFromISR() | 在中断中释放信号量 |
| xSemaphoreTake() | 获取信号量 |
| xSemaphoreTakeFromISR() | 在中断中获取信号量 |

动态创建二值信号量:

cs 复制代码
#define xSemaphoreCreateBinary() 
        xQueueGenericCreate( ( UBaseType_t ) 1, semSEMAPHORE_QUEUE_ITEM_LENGTH, queueQUEUE_TYPE_BINARY_SEMAPHORE )

其实就是创建队列的过程;

该函数没有参数,通过宏定义实际调用的函数有三个默认参数,分别是队列长度:1;队列项大小:0;队列类型:二值信号量;

返回值:创建成功返回句柄,失败返回NULL。

释放信号量:

cs 复制代码
#define xSemaphoreGive( xSemaphore )
        xQueueGenericSend( ( QueueHandle_t ) ( xSemaphore ), NULL, semGIVE_BLOCK_TIME, queueSEND_TO_BACK )

其实就是向队列发送消息的过程;

该函数有一个参数,表示要释放的信号量句柄;

返回值:pdPASS: 释放信号量成功;errQUEUE_FULL: 释放信号量失败。

获取信号量:

cs 复制代码
#define xSemaphoreTake( xSemaphore, xBlockTime )	
        xQueueGenericReceive( ( QueueHandle_t ) ( xSemaphore ), NULL, ( xBlockTime ), pdFALSE )

获取信号量的过程其实就是读取队列的过程;

该函数的参数:xSemaphore:表示要获取的信号量句柄; xBlockTime: 表示阻塞时间;

返回值:pdTRUE: 获取信号量成功;pdFALSE: 超时,获取信号量失败。

三、 计数型信号量

计数型信号量相当于长度大于 1 的队列。

计数型信号量通常用于事件计数以及资源管理。

事件计数:即当每次事件发生的时候就在事件处理函数中释放信号量即信号量计数值+1;资源管理:代表当前资源的可用数量。

|----------------------------------|----------------|
| 函数 | 描述 |
| xSemaphoreCreateCounting() | 使用动态方法创建计数型信号量 |
| xSemaphoreCreateCountingStatic() | 使用静态方法创建计数型信号量 |
| xSemaphoreGive() | 释放信号量 |
| xSemaphoreGiveFromISR() | 在中断中释放信号量 |
| xSemaphoreTake() | 获取信号量 |
| xSemaphoreTakeFromISR() | 在中断中获取信号量 |

动态创建计数型信号量

cs 复制代码
#define xSemaphoreCreateCounting( uxMaxCount, uxInitialCount ) 
        xQueueCreateCountingSemaphore( ( uxMaxCount ), ( uxInitialCount ) )

该函数有两个参数:uxMaxCount: 计数信号量最大计数值,当信号量值等于此值的时候释放信号量就会失败;uxInitialCount: 计数信号量初始值。

返回值:NULL: 计数型信号量创建失败;其他值: 计数型信号量创建成功,返回计数型信号量句柄。

获取释放信号量与二值信号量处理函数一致。

四、优先级翻转

在使用二值信号量的时候会遇到优先级翻转的问题。

大概就是高优先级的任务与低优先级的任务需要共同使用同一个资源时,如果低优先级的任务先执行了,它会获得对应该资源的信号量,如果此时高优先级的任务触发,它会抢占低优先级任务,但因为低优先级的任务占用着该资源,即信号量为空,此时高优先级任务会被挂起,继续执行低优先级任务,当低优先级任务执行完成释放资源后,高优先级任务才能继续执行。如果低优先级的任务在执行过程中被另一个中等优先级的任务打断,就会导致高优先级的任务迟迟不能执行,这就是优先级翻转。

那么我们要如何解决优先级翻转的问题呢?答案就是:互斥信号量。

五、互斥信号量

互斥信号量其实就是一个拥有优先级继承的二值信号量。

如果低优先级的任务先执行占取互斥信号量,此时高优先级的任务在尝试获取互斥信号量的话就会被阻塞。不过这个高优先级的任务会将低优先级任务的优先级提升到与自己相同的优先级,这个过程就是优先级继承。这样就不会出现低优先级的任务在执行过程中被另一个中等优先级的任务打断的情况,从而降低了高优先级任务处于阻塞态的时间。

互斥信号量不能用于中断服务函数中。

**1.**互斥信号量有优先级继承的机制;

2.要等待互斥信号量从而会进入阻塞态。

|-------------------------------|---------------|
| 函数 | 描述 |
| xSemaphoreCreateMutex() | 使用动态方法创建互斥信号量 |
| xSemaphoreCreateMutexStatic() | 使用静态方法创建互斥信号量 |

动态创建互斥信号量

cs 复制代码
#define xSemaphoreCreateMutex() 
        xQueueCreateMutex( queueQUEUE_TYPE_MUTEX )

该函数没有参数;

返回值: NULL: 互斥信号量创建失败;其他值: 创建成功的互斥信号量的句柄。

获取释放信号量与二值信号量处理函数一致。

相关推荐
酷飞飞4 分钟前
STC8单片机驱动I2C屏幕:实现时间、日期与温湿度显示
单片机·嵌入式硬件·51单片机·嵌入式
Starry_hello world1 小时前
MySql 表的约束
数据库·笔记·mysql·有问必答
源远流长jerry3 小时前
STM32之MCU和GPIO
linux·c++·stm32·单片机·嵌入式硬件
汇能感知6 小时前
摄像头模块在运动相机中的应用
经验分享·笔记·科技
2401_8769075210 小时前
Python基础笔记
笔记
风已经起了10 小时前
FPGA学习笔记——IIC协议简介
笔记·学习·fpga开发
牧子与羊10 小时前
自学中医笔记(二)
笔记
lingggggaaaa10 小时前
小迪安全v2023学习笔记(六十二讲)—— PHP框架反序列化
笔记·学习·安全·web安全·网络安全·php·反序列化
我们从未走散12 小时前
JVM学习笔记-----StringTable
jvm·笔记·学习
胡萝卜3.012 小时前
数据结构初阶:排序算法(一)插入排序、选择排序
数据结构·笔记·学习·算法·排序算法·学习方法