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: 互斥信号量创建失败;其他值: 创建成功的互斥信号量的句柄。

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

相关推荐
蜡笔小新星12 分钟前
Python Kivy库学习路线
开发语言·网络·经验分享·python·学习
VirtuousLiu25 分钟前
LM74912-Q1用作电源开关
单片机·嵌入式硬件·ti·电源设计·lm74912·电源开关
打地基的小白25 分钟前
软件I2C-基于江科大源码进行的原理解析和改造升级
stm32·单片机·嵌入式硬件·通信模式·i2c
攸攸太上25 分钟前
JMeter学习
java·后端·学习·jmeter·微服务
speop36 分钟前
【笔记】I/O总结王道强化视频笔记
笔记·音视频
Echo_cy_38 分钟前
STM32 DMA+AD多通道
stm32·单片机·嵌入式硬件
朴人41 分钟前
【从零开始实现stm32无刷电机FOC】【实践】【7.2/7 完整代码编写】
stm32·单片机·嵌入式硬件·foc
追梦少年时1 小时前
STM32中断——外部中断
stm32·单片机·嵌入式硬件
Ljubim.te1 小时前
Linux基于CentOS学习【进程状态】【进程优先级】【调度与切换】【进程挂起】【进程饥饿】
linux·学习·centos
bai_lan_ya1 小时前
stm32定时器中断和外部中断
stm32·单片机·嵌入式硬件