STM32F1+HAL库+FreeTOTS学习15——互斥信号量

STM32F1+HAL库+FreeTOTS学习15——互斥信号量

  • 1. 优先级翻转
  • 2. 互斥信号量
  • 3. 相关API函数；
    • 3.1 互斥信号量创建
    • 3.2 获取信号量
    • 3.3 释放信号量
    • 3.4 删除信号量
  • 4. 操作实验
    • 1. 实验内容
    • 2. 代码实现
    • 3. 运行结果

上期我们介绍了数值信号量。这一期我们来介绍互斥信号量

1. 优先级翻转

在接受互斥信号量之前，我们还需要先了解一下优先级翻转：我们在学习二值信号量的时候有提到过，二值信号量的使用有可能带来任务优先级翻转的问题，所谓优先级翻转：就是优先级高的任务反而慢执行，低优先级的任务先执行，这种情况在操作系统中，我们是不希望出现的，因为会导致任务的执行顺序不按预期结果执行，可能会导致未知的结果。

在这里插入图片描述
【注】：任务优先级：任务H > 任务M > 任务L

如图就是一个典型的例子：由于任务L获取了信号量，导致任务H被阻塞，进而使得优先级高的H进入阻塞，任务M一直在执行。

2. 互斥信号量

为了解决二值信号量带来的任务优先级翻转问题，我们引入互斥信号量。

互斥信号量其实就是一个拥有优先级继承的二值信号量，在同步应用中（任务与任务或者是中断与任务的同步）二值信号量最为合适；互斥信号量则使用在需要互斥访问的常用。在互斥访问中互斥信号量就相当于一把钥匙，访问前必须获得钥匙，访问之后必须归还钥匙。

互斥信号量使用和二值信号量相同的API函数，同样可以设置阻塞时间，不同的在于互斥信号量有优先级继承机制，所谓优先级继承机制，就是当一个互斥信号量被低优先级的任务持有时，此时如果有一个高优先级的任务也要获取这个任务优先级，这个高优先级的任务会被阻塞，但是高优先级的任务会把低优先级任务的优先级提升至与自己相同，这个过程叫做优先级继承。

                                           【注】：低优先级的任务优先级只会短暂的提高，等到高优先级的任务运行时，恢复原来的优先级。

优先级继承可以有限的减少高优先级任务的阻塞时间，将优先级翻转的影响降到最低。但是无法完全消除优先级翻转问题。原因如下：

  1. 互斥信号量有优先级继承的机制，但是中断不是任务，没有优先级。所以互斥信号量在中断中并不适用
  2. 中断需要快进跨出，不允许进入阻塞。

3. 相关API函数；

互斥信号量的使用过程：创建互斥信号量->释放信号量-> 获取信号量 -> 删除信号量 ( 可选 )，下面我们围绕几个步骤介绍计数信号量的相关API函数
常用的二值信号量API函数如下表：

函数描述
xSemaphoreCreateMutex()使用动态方式创建互斥信号量
xSemaphoreCreateMutexStatic()使用静态方式创建互斥信号量
xSemaphoreTake()获取信号量
xSemaphoreGive()释放信号量
vSemaphoreDelete()删除信号量

【注】：二值、计数、互斥信号量的获取和释放函数都是相同的，不过互斥信号量没有在中断使用的函数，二值和计数信号量有。

3.1 互斥信号量创建

  1. xSemaphoreCreateMutex()

此函数用于动态方式创建互斥信号量，创建所需要的内存，有FreeRTOS自动分配，该函数实际上是一个宏定义，在semphr.h文件中有定义，具体的代码如下：

#define xSemaphoreCreateMutex() xQueueCreateMutex(queueQUEUE_TYPE_MUTEX)

可以看到xSemaphoreCreateMutex() 内部是调用了xQueueCreateMutex() ，由于该函数不经常使用，我们这里不赘述。所以我们直接把xSemaphoreCreateMutex() 当作一个函数介绍（实际上是一个宏，我们当作函数来使用，FreeRTOS的官方文档也是这样的），下面是函数原型：

/*** @brief       xSemaphoreCreateMutex* @param       无* @retval      返回值为NULL，表示创建失败，其他值表示为创建互斥信号量的句柄*/
SemaphoreHandle_t xSemaphoreCreateMutex( void );
  1. xSemaphoreCreateMutexStatic()

此函数用于静态方式创建互斥信号量，创建互斥信号量所需要的内存，需要用户手动分配，该函数实际上是一个宏定义，在semphr.h文件中有定义，具体的代码如下：

#define xSemaphoreCreateMutexStatic( pxMutexBuffer) \xQueueCreateMutexStatic( queueQUEUE_TYPE_MUTEX, \( pxMutexBuffer ) )

可以看到xSemaphoreCreateMutexStatic() 内部是调用了xQueueCreateMutexStatic() ，有用该函数不经常使用，我们这里不赘述。所以我们直接把xSemaphoreCreateMutexStatic() 当作一个函数介绍（实际上是一个宏，我们当作函数来使用，FreeRTOS的官方文档也是这样的），下面是函数原型：

/*** @brief       xSemaphoreCreateMutexStatic* @param       pxMutexBuffer ：指向StaticSemaphore_t 类型的指针，用于保存互斥信号量的状态值* @retval      返回值为NULL，表示创建失败，其他值表示为创建数值信号量的句柄*/
SemaphoreHandle_t xSemaphoreCreateMutexStatic(StaticSemaphore_t *pxMutexBuffer );

3.2 获取信号量

  1. xSemaphoreTake()

此函数用于获取信号量，如果信号量处于没有资源的状态，那么可以选择将任务进入阻塞状态，如果成功获取到了信号量，那么信号的资源数减1，该函数实际上是一个宏定义，在semphr.h文件中有定义，具体的代码如下：

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

可以看到xSemaphoreTake() 内部是调用了xQueueSemaphoreTake() ，关于xQueueSemaphoreTake函数的定义和使用，我们这里不赘述。所以我们直接把xSemaphoreTake() 当作一个函数介绍（实际上是一个宏，我们当作函数来使用，FreeRTOS的官方文档也是这样的），下面是函数原型：

/*** @brief       xSemaphoreTake* @param       xSemaphore：需要获取信号量的句柄* @param       xTicksToWait：阻塞时间* @retval      返回值为pdTRUE,表示获取成功，如果返回值为pdFALSE，表示获取失败。*/BaseType_t xSemaphoreTake( SemaphoreHandle_t xSemaphore,TickType_t xTicksToWait );

3.3 释放信号量

  1. xSemaphoreGive()

此函数用于释放信号量，如果信号量处于资源满的状态，那么可以选择将任务进入阻塞状态，如果成功释放了信号量，那么信号的资源数加1，该函数实际上是一个宏定义，在semphr.h文件中有定义，具体的代码如下：

#define xSemaphoreGive( xSemaphore) \xQueueGenericSend( ( QueueHandle_t ) ( xSemaphore ), \NULL, \semGIVE_BLOCK_TIME, \queueSEND_TO_BACK)

可以看到xSemaphoreGive() 内部是调用了xQueueGenericSend() ，该函数在 STM32F1+HAL库+FreeTOTS学习12——队列 中有介绍，我们这里不赘述。所以我们直接把xSemaphoreGive() 当作一个函数介绍（实际上是一个宏，我们当作函数来使用，FreeRTOS的官方文档也是这样的），下面是函数原型：

/*** @brief       xSemaphoreGive* @param       xSemaphore：需要释放信号量的句柄* @retval      返回值为pdTRUE,表示释放成功，如果返回值为pdFALSE，表示释放失败。*/BaseType_t xSemaphoreGive( SemaphoreHandle_t xSemaphore );

3.4 删除信号量

  1. vSemaphoreDelete()
    此函数用于删除已创建的信号量。该函数实际上是一个宏定义，在 semphr.h 文件中有定义，具体的代码如下所示
#define vSemaphoreDelete(xSemaphore) \vQueueDelete ( QueueHandle_t ) \( xSemaphore ))

可以看到vSemaphoreDelete() 内部是调用了vQueueDelete () ，关于vQueueDelete 函数的定义和使用，我们这里不赘述。所以我们直接把vSemaphoreDelete() 当作一个函数介绍（实际上是一个宏，我们当作函数来使用，FreeRTOS的官方文档也是这样的），下面是函数原型：

/*** @brief       vSemaphoreDelete* @param       xSemaphore ：需要删除信号量的句柄* @retval      无*/
void vSemaphoreDelete( SemaphoreHandle_t xSemaphore );

4. 操作实验

1. 实验内容

在STM32F103RCT6上运行FreeRTOS，通过按键控制，完成对应的数值信号量操作，具体要求如下：

  • 定义一个互斥信号量，任务1、2、3，优先级分别为1、2、3（任务1优先级最低，任务3优先级最高）
  • 任务3：获取互斥信号量，打印相关信息，完成之后释放互斥信号量
  • 任务2：打印“中断优先级任务正在运行”。
  • 任务1：和任务3操作一样，只不过延时一段时间，让优先级低的任务占用信号量久一点。

2. 代码实现

#include "freertos_demo.h"
#include "main.h"
#include "queue.h" 		//需要包含队列和任务相关的头文件
#include "task.h"
#include "key.h"		//包含按键相关头文件/*FreeRTOS*********************************************************************************************//******************************************************************************************************/
/*FreeRTOS配置*//* TASK1 任务 配置* 包括: 任务句柄 任务优先级 堆栈大小 */
#define TASK1_PRIO      1                  /* 任务优先级 */
#define TASK1_STK_SIZE  128                 /* 任务堆栈大小 */
TaskHandle_t            Task1Task_Handler;  /* 任务句柄 */
void task1(void *pvParameters);					/*任务函数*//* TASK2 任务 配置* 包括: 任务句柄 任务优先级 堆栈大小 */
#define TASK2_PRIO      2                  /* 任务优先级 */
#define TASK2_STK_SIZE  128                 /* 任务堆栈大小 */
TaskHandle_t            Task2Task_Handler;  /* 任务句柄 */
void task2(void *pvParameters);					/*任务函数*//* TASK3 任务 配置* 包括: 任务句柄 任务优先级 堆栈大小 */
#define TASK3_PRIO      3                  /* 任务优先级 */
#define TASK3_STK_SIZE  128                 /* 任务堆栈大小 */
TaskHandle_t            Task3Task_Handler;  /* 任务句柄 */
void task3(void *pvParameters);					/*任务函数*/SemaphoreHandle_t  SemaphoreMutex;				/* 定义互斥信号量 *//******************************************************************************************************//*** @brief       FreeRTOS例程入口函数* @param       无* @retval      无*/
void freertos_demo(void)
{taskENTER_CRITICAL();           /* 进入临界区，关闭中断，此时停止任务调度*//* 用于优先级翻转实验 */
//	SemaphoreMutex = xSemaphoreCreateBinary();			/* 创建二值信号量 */
//	xSemaphoreGive(SemaphoreMutex);		/* 释放互斥信号量 *//* 用于互斥信号量实验 */SemaphoreMutex = xSemaphoreCreateMutex();			/* 创建互斥信号量 */if(SemaphoreMutex != NULL){printf("互斥信号量创建成功！！！\r\n");}else{printf("互斥信号量创建失败！！！\r\n");}/* 创建任务1 */xTaskCreate((TaskFunction_t )task1,(const char*    )"task1",(uint16_t       )TASK1_STK_SIZE,(void*          )NULL,(UBaseType_t    )TASK1_PRIO,(TaskHandle_t*  )&Task1Task_Handler);/* 创建任务2 */xTaskCreate((TaskFunction_t )task2,(const char*    )"task2",(uint16_t       )TASK2_STK_SIZE,(void*          )NULL,(UBaseType_t    )TASK2_PRIO,(TaskHandle_t*  )&Task2Task_Handler);/* 创建任务3 */xTaskCreate((TaskFunction_t )task3,(const char*    )"task3",(uint16_t       )TASK3_STK_SIZE,(void*          )NULL,(UBaseType_t    )TASK3_PRIO,(TaskHandle_t*  )&Task3Task_Handler);taskEXIT_CRITICAL();            /* 退出临界区，重新开启中断，开启任务调度 */vTaskStartScheduler();		//开启任务调度
}/*** @brief       task1* @param       pvParameters : 传入参数(未用到)* @retval      无*/
void task1(void *pvParameters)
{BaseType_t errMessage;		/* 错误信息 */while(1){errMessage = xSemaphoreTake(SemaphoreMutex,portMAX_DELAY);		/* 获取互斥信号量 */if(errMessage == pdTRUE)	{printf("低优先级获取信号量成功\r\n");}else{printf("低优先级获取获取信号量失败\r\n");}HAL_Delay(3000);errMessage = xSemaphoreGive(SemaphoreMutex);		/* 释放互斥信号量 */if(errMessage == pdTRUE)	{printf("低优先级释放信号量成功\r\n");}else{printf("低优先级释放信号量失败\r\n");}vTaskDelay(1000);}
}	
/*** @brief       task2* @param       pvParameters : 传入参数(未用到)* @retval      无*/
void task2(void *pvParameters)	
{	while(1){	printf("中等优先级任务执行\r\n");vTaskDelay(1000);}
}
/*** @brief       task3* @param       pvParameters : 传入参数(未用到)* @retval      无*/
void task3(void *pvParameters)	
{	BaseType_t errMessage;		/* 错误信息 */while(1){	errMessage = xSemaphoreTake(SemaphoreMutex,portMAX_DELAY);		/* 获取互斥信号量 */if(errMessage == pdTRUE)	{printf("高优先级获取信号量成功\r\n");}else{printf("高优先级获取信号量失败\r\n");}errMessage = xSemaphoreGive(SemaphoreMutex);		/* 释放互斥信号量 */if(errMessage == pdTRUE)	{printf("高优先级释放信号量成功\r\n");}else{printf("高优先级释放信号量失败\r\n");}vTaskDelay(1000);}
}

3. 运行结果

  1. 使用互斥信号量的结果（没有优先级翻转）
    在这里插入图片描述

显然这里不是很好懂，所以我们来对比一下有优先级翻转的情况。在freertos_demo() 函数里面把信号量部分创建的代码修改一下就可以

/* 用于优先级翻转实验 */
//	SemaphoreMutex = xSemaphoreCreateBinary();			/* 创建二值信号量 */
//	xSemaphoreGive(SemaphoreMutex);		/* 释放互斥信号量 *//* 用于互斥信号量实验 */SemaphoreMutex = xSemaphoreCreateMutex();			/* 创建互斥信号量 *//*||||||↓ 									*//* 用于优先级翻转实验 */SemaphoreMutex = xSemaphoreCreateBinary();			/* 创建二值信号量 */xSemaphoreGive(SemaphoreMutex);		/* 释放互斥信号量 *//* 用于互斥信号量实验 */
//	SemaphoreMutex = xSemaphoreCreateMutex();			/* 创建互斥信号量 */
  1. 使用二值信号量的结果（有优先级翻转）
    在这里插入图片描述
    对比之下就可以看出问题了，由于优先据翻转的存在，导致任务2很多时候都是比认为3先执行（因为任务3被阻塞了，导致优先级翻转），这个情况时我们不希望的，而互斥信号量的引入，一定程度上解决了或者问题。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/web/54029.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

[Docker学习笔记]利用Dockerfile创建镜像

[Docker学习笔记]利用Dockerfile创建镜像

Dockerfile 指令 指令作用from继承基础镜像maintainer镜像制作者信息(可缺省)run用来执行shell命令expose暴露端口号cmd启动容器默认执行的命令entrypoint启动容器真正执行的命令volume创建挂载点env配置环境变量add复制文件到容器copy复制文件到容器workdir设置容器的工作目录…
阅读更多...
QT C++ 自学积累 『非技术文』

QT C++ 自学积累 『非技术文』

QT C 自学积累 『非技术文』 最近一段时间参与了一个 QT 项目的开发，使用的是 C 语法，很遗憾的是我之前从来没有接触过 C ，大学没有开过这堂课，也没用自己学习过，所有说上手贼慢，到现在为止其实也不是很清楚…
阅读更多...
【IOS】申请开发者账号（公司）

【IOS】申请开发者账号（公司）

目录 申请开发者账号前提 查询/申请D-U-N-S 编号 申请开发者 官网：Apple Developer (简体中文) 申请开发者账号前提 如果是第一次申请建议注册一个新的apple id作为组织的开发者账号。（确保apple id的个人信息是真实的，不能是网名或者是…
阅读更多...
Chainlit集成LlamaIndex实现知识库高级检索（组合对象检索）

Chainlit集成LlamaIndex实现知识库高级检索（组合对象检索）

检索原理 对象组合索引的原理 是利用IndexNode索引节点，将两个不同类型的检索器作为节点对象，使用 SummaryIndex （它可以用来构建一个包含多个索引节点的索引结构。这种索引通常用于从多个不同的数据源或索引方法中汇总信息，并能…
阅读更多...
【TabBar嵌套Navigation案例-新特性页面-介绍图片 Objective-C语言】

【TabBar嵌套Navigation案例-新特性页面-介绍图片 Objective-C语言】

一、接下来，我们接着来说这个介绍图片啊， 1.看一下我们的示例程序，在这一块儿，有一些介绍图片， 这个飞镖的盘子，全新娱乐场，疯狂什么玩意儿，这些东西呢，实际上，都是我们的素材啊，在素材里边，Guide里边，我们这儿有一个guide1， Open With External Editor，这张图片…
阅读更多...
MobaXterm基本使用 -- 服务器状态、批量操作、显示/切换中文字体、修复zsh按键失灵

MobaXterm基本使用 -- 服务器状态、批量操作、显示/切换中文字体、修复zsh按键失灵

监控服务器资源 参考网址：https://www.cnblogs.com/144823836yj/p/12126314.html 显示效果 MobaXterm提供有这项功能，在会话窗口底部，显示服务器资源使用情况 如内存、CPU、网速、磁盘使用等： （完整窗口&#xff0…
阅读更多...
蓝桥杯—STM32G431RBT6(RTC时钟获取时间和日期)

蓝桥杯—STM32G431RBT6(RTC时钟获取时间和日期)

一、RTC是什么，有什么用？ 在 STM32 中，RTC（Real-Time Clock，实时时钟）主要有以下作用： 时间保持：即使在系统断电情况下，也能持续记录时间。（需要纽扣电池供电…
阅读更多...
【2.使用VBA自动填充Excel工作表】

【2.使用VBA自动填充Excel工作表】

目录 前言什么是VBA如何使用Excel中的VBA简单基础入门控制台输出信息定义过程（功能）定义变量常用的数据类型Set循环For To 我的需求开发过程效果演示文件情况测试填充源文件测试填充目标文件 全部完整的代码sheet1中的代码，对应A公司工作表Us…
阅读更多...
简易CPU设计入门：取指令（一），端口列表与变量声明

简易CPU设计入门：取指令（一），端口列表与变量声明

取指令这一块呢，个人觉得，不太好讲。但是呢，不好讲，我也得讲啊。那就尽量地讲吧。如果讲得不好的话，那么，欢迎大家提出好的意见，帮助我改进讲课的质量。 首先呢，还是请大家去下载本…
阅读更多...
【专题】2024年中国白酒行业数字化转型研究报告合集PDF分享（附原数据表）

【专题】2024年中国白酒行业数字化转型研究报告合集PDF分享（附原数据表）

原文链接：https://tecdat.cn/?p37755 消费人群趋于年轻化，消费需求迈向健康化，消费场景与渠道走向多元化，这些因素共同驱动企业凭借数据能力来适应市场的变化。从消费市场来看，消费群体、需求、场景及渠道皆展现出与…
阅读更多...
GIS中的投影坐标系

GIS中的投影坐标系

投影说明 GIS操作过程中，不可避免的涉及到处理数据的问题 而数据中有一个极为重要的东西就是其空间参考（见下图） 地理坐标系与投影坐标系 这里给出一些重要概念的简单定义 地理坐标：就是用经纬度表示地面点位的球面坐标。 地理…
阅读更多...
Java项目实战II基于Java+Spring Boot+MySQL的新闻稿件管理系统(源码+数据库+文档)

Java项目实战II基于Java+Spring Boot+MySQL的新闻稿件管理系统(源码+数据库+文档)

目录 一、前言 二、技术介绍 三、系统实现 四、文档参考 五、核心代码 六、源码获取 全栈码农以及毕业设计实战开发，CSDN平台Java领域新星创作者，专注于大学生项目实战开发、讲解和毕业答疑辅导。获取源码联系方式请查看文末 一、前言 前在信息爆…
阅读更多...
基于Springboot+Vue的视频点播系统设计与实现登录 （含源码数据库）

基于Springboot+Vue的视频点播系统设计与实现登录 （含源码数据库）

1.开发环境 开发系统:Windows10/11 架构模式:MVC/前后端分离 JDK版本: Java JDK1.8 开发工具:IDEA 数据库版本: mysql5.7或8.0 数据库可视化工具: navicat 服务器: SpringBoot自带 apache tomcat 主要技术: Java,Springboot,mybatis,mysql,vue 2.视频演示地址 3.功能 系统中…
阅读更多...
基于Spring Boot的校园管理系统

基于Spring Boot的校园管理系统

目录 前言 功能设计 系统实现 获取源码 博主主页：百成Java 往期系列：Spring Boot、SSM、JavaWeb、python、小程序 前言 随着科学技术的飞速发展，社会的方方面面、各行各业都在努力与现代的先进技术接轨，通过科技手段来提高自…
阅读更多...
GPT与大模型行业落地实践探索

GPT与大模型行业落地实践探索

简介 本课程探讨GPT和大模型技术在行业中的实际应用和发展。课程将涵盖GPT的基础知识、原理、及其在行业中的应用案例，如财报分析和客服机器人。重点在于结合实际案例中的使用效果，讲解如何利用GPT的API开发企业级应用以及利用更高级的功能构造AI Agent。…
阅读更多...
react-native-Windows配置

react-native-Windows配置

一：官网： React Native for Windows macOS Build native Windows & macOS apps with Javascript and React 二：安装依赖 需要以管理员身份运行powershell,然后粘贴下面代码，注意：要安装淘宝镜像，要…
阅读更多...
图解C#高级教程（一）：委托

图解C#高级教程（一）：委托

什么是委托 可以认为委托是持有一个或多个方法的对象。但它与对象不同，因为委托可以被执行。当执行委托时，委托会执行它所“持有”的方法。先看一个完整的使用示例。 // See https://aka.ms/new-console-template for more informationdelegate void M…
阅读更多...
Skywalking告警配置

Skywalking告警配置

背景 skywalking 9.7.0，地址：Backend setup | Apache SkyWalking helm：skywalking-helm:4.5.0，地址：skywalking-helm/chart/skywalking/values.yaml at v4.5.0 首先来说一下为什么使用skywalking告警？ …
阅读更多...
创客匠人第二期“老蒋面对面”交流会圆满收官！

创客匠人第二期“老蒋面对面”交流会圆满收官！

磅礴的大雨浇不灭奋斗的激情。9月24日，创客匠人第二期老蒋面对面—“创客匠人让知识变现不走弯路”内部大会在集美隆重举行。 本次内部大会旨在传递公司战略精神，深度探讨公司品牌传播的价值、方向和策略。这不仅是一次内部的交流与分享，更是…
阅读更多...
linux 内核代码学习（十）--Linux内核启动和文件系统

linux 内核代码学习（十）--Linux内核启动和文件系统

前面第九章介绍了linux内核文件系统从软盘启动的几种方式：1、从软盘直接启动的linux，软盘上包括内核及简单文件系统；2、从软盘直接启动的linux，将内核与文件系统分别放置在一张软盘上；3、Grub做为引导程序，…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023