【FreeRTOS】信号量 semaphore（附源码）

7yewh

已于 2024-06-09 18:40:53 修改

阅读量420

点赞数 4

分类专栏：【RTOS开发实战】文章标签：笔记 stm32 单片机 linux 面试 c++ c语言

于 2024-06-09 18:40:00 首次发布

本文链接：https://blog.csdn.net/weixin_64593595/article/details/139553021

版权

【RTOS开发实战】专栏收录该内容

15 篇文章 2 订阅

订阅专栏

引言：前面介绍的队列(queue)可以用于传输数据：在任务之间、任务和中断之间。
有时候我们只需要传递状态，并不需要传递具体的信息，比如：
我的事做完了，通知一下你；
卖包子了、卖包子了，做好了1个包子！做好了2个包子！做好了3个包子；
这个停车位我占了，你们只能等着；
综上所述，在这种情况下我们可以使用信号量(semaphore)，它更节省内存。

1.信号量的特性

1.信号量这个名字很恰当：
信号：起通知作用；量：还可以用来表示资源的数量
支持的动作："give"给出资源，计数值加1；"take"获得资源，计数值减1
2.计数型信号量的典型场景是：
计数：事件产生时"give"信号量，让计数值加1；处理事件时要先"take"信号量，就是获得信号量，让计数值减1。
资源管理：要想访问资源需要先"take"信号量，让计数值减1；用完资源后"give"信号量，让计数值加1。
3.信号量的"give"、"take"双方并不需要相同，可以用于生产者-消费者场合：
生产者为任务A、B，消费者为任务C、D
一开始信号量的计数值为0，如果任务C、D想获得信号量，会有两种结果：
阻塞：买不到东西咱就等等吧，可以定个闹钟(超时时间)
即刻返回失败：不等
任务A、B可以生产资源，就是让信号量的计数值增加1，并且把等待这个资源的顾客唤醒
唤醒谁？谁优先级高就唤醒谁，如果大家优先级一样就唤醒等待时间最长的人

二进制信号量跟计数型的唯一差别，就是计数值的最大值被限定为1。

2.信号量函数

使用信号量时，先创建、然后去添加资源、获得资源。使用句柄来表示一个信号量。

创建二进制信号量：

/* 创建一个二进制信号量，返回它的句柄。
 * 此函数内部会分配信号量结构体 
 * 返回值: 返回句柄，非NULL表示成功
 */
SemaphoreHandle_t xSemaphoreCreateBinary( void );
/* 创建一个二进制信号量，返回它的句柄。
 * 此函数无需动态分配内存，所以需要先有一个StaticSemaphore_t结构体，并传入它的指针
 * 返回值: 返回句柄，非NULL表示成功
 */
SemaphoreHandle_t xSemaphoreCreateBinaryStatic( StaticSemaphore_t 
*pxSemaphoreBuffer );

创建计数型信号量：

/* 创建一个计数型信号量，返回它的句柄。
 * 此函数内部会分配信号量结构体 
 * uxMaxCount: 最大计数值
 * uxInitialCount: 初始计数值
 * 返回值: 返回句柄，非NULL表示成功
 */
SemaphoreHandle_t xSemaphoreCreateCounting(UBaseType_t uxMaxCount, UBaseType_t 
uxInitialCount);
/* 创建一个计数型信号量，返回它的句柄。
 * 此函数无需动态分配内存，所以需要先有一个StaticSemaphore_t结构体，并传入它的指针
 * uxMaxCount: 最大计数值
 * uxInitialCount: 初始计数值
 * pxSemaphoreBuffer: StaticSemaphore_t结构体指针
 * 返回值: 返回句柄，非NULL表示成功
 */
SemaphoreHandle_t xSemaphoreCreateCountingStatic( UBaseType_t uxMaxCount, 
                                                 UBaseType_t uxInitialCount, 
                                                 StaticSemaphore_t 
*pxSemaphoreBuffer );

删除：

/*
 * xSemaphore: 信号量句柄，你要删除哪个信号量
 */
void vSemaphoreDelete( SemaphoreHandle_t xSemaphore );

give/take：

3.信号量的内部机制（重点）

本质还是队列的变种，只是数据域的差距

4.示例：使用二进制信号量来同步

main函数中创建了一个二进制信号量，然后创建2个任务：一个用于释放信号量，另一个用于获取信号量，代码如下：

/* 二进制信号量句柄 */
SemaphoreHandle_t xBinarySemaphore;
int main( void )
{
 prvSetupHardware();
 
    /* 创建二进制信号量 */
    xBinarySemaphore = xSemaphoreCreateBinary( );
 if( xBinarySemaphore != NULL )
 {
 /* 创建1个任务用于释放信号量
 * 优先级为2
 */
 xTaskCreate( vSenderTask, "Sender", 1000, NULL, 2, NULL );
 /* 创建1个任务用于获取信号量
 * 优先级为1
 */
 xTaskCreate( vReceiverTask, "Receiver", 1000, NULL, 1, NULL );
 /* 启动调度器 */
 vTaskStartScheduler();
 }
 else
 {
 /* 无法创建二进制信号量 */
 }
 /* 如果程序运行到了这里就表示出错了, 一般是内存不足 */
 return 0;
}