【FreeRTOS】使用互斥量解决优先级反转

2024-08-31 05:28

本文主要是介绍【FreeRTOS】使用互斥量解决优先级反转,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

  • 0 前言
  • 0 引言
  • 1 互斥量_领导临时提拔你(解决优先级反转)
  • 2 怎么使用互斥量
  • 3 bug
  • 4 总结


0 前言

学习视频:
【FreeRTOS入门与工程实践 --由浅入深带你学习FreeRTOS(FreeRTOS教程 基于STM32,以实际项目为导向)】 【精准空降到 08:07】 https://www.bilibili.com/video/BV1Jw411i7Fz/?p=42&share_source=copy_web&vd_source=8af85e60c2df9af1f0fd23935753a933&t=487

参考《FreeRTOS入门与工程实践(基于DshanMCU-103).pdf》


0 引言

在使用信号量的时候,不论是计数型信号量,还是二进制信号量,都可能会遇到优先级反转的问题。


1 互斥量_领导临时提拔你(解决优先级反转)

本节源码:在"21_semaphore_priority_inversion"的基础上,改出:22_mutex_priority_inversion

假设学校机房里有且仅有一台超算,一名学生为了学习,早早来到实验室机房学习了,并且按下指纹进行身份验证,日上三竿,主任带着领导来参观了,主任说你这个太吵了,先停下,超算不许使用了,最后校长来了,校长也是个科研工作者,校长也想使用超算,但是超算已经被学生按下了指纹,抢占了使用权限,没办法校长只能等待,这里就被主任卡住了,校长就非常恼火,这样就是优先级反转的例子。

对于上面的例子,校长在等待学生使用完超算,但是学生被主任卡住了,现在校长可以提高学生的优先级让学生的优先级和自己一样高,这样学生就压住了主任,学生使用完,要乖乖的,得识相,恢复自己的优先级,然后校长就可以使用超算了,这样就是优先级继承。

在时间轴上画出这个流程,如下图所示:
在这里插入图片描述


2 怎么使用互斥量

互斥量是一种特殊的信号量,和信号量的创建方法一致

static SemaphoreHandle_t g_xSemTicks;   //信号量 上次创建的信号量,现在是互斥量g_xSemTicks = xSemaphoreCreateMutex();  //创建Mutex互斥量

修改car_game里面的代码,删除创建信号量,获取信号量的代码,只创建一个Mutex互斥量即可

在这里插入图片描述

这个互斥量的初始值是1(跳转到源码里看,会创建完后会自加1)。这样就可以直接使用了

在这里插入图片描述


3 bug

编译,烧写运行,效果不理想,任务1被卡死了

卡死在这里

在这里插入图片描述

为什么会出现这种效果呢???

在这里插入图片描述

  1. 在时间轴上,任务1先运行
  2. 任务2的优先级抢占了任务1
  3. 两秒后,任务3的优先级最高,抢占了任务2
  4. 任务3想获得互斥量,但是失败了
  5. 任务3提升任务1的优先级
  6. 任务1会继续往下走
  7. 现在就卡死了……
  8. 但是任务2的LCD任务还没有刷新完成,bInUsed没有释放,一直是1
  9. 任务3一直判断bInUsed是否为0
  10. 任务3优先级最高,一直判断,任务2一直不能给bInUsed清零,一直判断,一直卡死在这里!

那么我们需要怎么解决这个问题呢???

  • I2C的互斥访问问题
  • 之前用的是简单的全局变量保护
  • 现在可以修改成互斥量了

修改我们的程序,用法互斥量保护临界资源

  • 声明互斥量,在初始化里,创建这个互斥量
static SemaphoreHandle_t g_xI2CMutex;   // 定义一个 I2C 互斥量void MX_FREERTOS_Init(void) {/* USER CODE BEGIN Init */g_xI2CMutex = xSemaphoreCreateMutex();  //创建Mutex互斥量
  • 编写函数
void GetI2C(void)
{/* 等待一个互斥量 */xSemaphoreTake(g_xI2CMutex, portMAX_DELAY); //互斥量是特殊的信号量,只需要传入句柄即可
}void PutI2C(void)
{/* 释放互斥量 */xSemaphoreGive(g_xI2CMutex); //互斥量是特殊的信号量,只需要传入句柄即可
}

修改draw.c,先获得互斥量,再使用LCD,再释放LCD

extern void GetI2C(void);
extern void PutI2C(void);void draw_flushArea(byte x, byte y, byte w, byte h)
{
//    while (bInUsed);//taskENTER_CRITICAL();
//    bInUsed = 1;GetI2C();   // 使用LCD之前,先获得互斥量。会一直等待LCD_FlushRegion(x, y, w, h);PutI2C();   // 使用LCD之后,再释放互斥量//    bInUsed = 0;//taskEXIT_CRITICAL();
}

同样用到I2C的设备还有MPU6050,继续修改代码

void MPU6050_Task(void *params)
{	int16_t AccX;struct mpu6050_data result;int ret;
//	extern volatile int bInUsed;extern void GetI2C(void);extern void PutI2C(void);while (1){    /* 读数据 */
//		while (bInUsed);
//		bInUsed = 1;GetI2C();   // 使用LCD之前,先获得互斥量。会一直等待ret = MPU6050_ReadData(&AccX, NULL, NULL, NULL, NULL, NULL);PutI2C();   // 使用LCD之后,再释放互斥量//		bInUsed = 0;if (0 == ret){/* 解析数据 */MPU6050_ParseData(AccX, 0, 0, 0, 0, 0, &result);/* 写队列 */xQueueSend(g_xQueueMPU6050, &result, 0);}/* delay */vTaskDelay(50);}
}

4 总结

  • 观察现象,第一辆车先跑1S,然后第二辆车跑一会,接着第一辆车和第二辆车一起跑,第一辆车先跑到终点,同时第二辆车停止,第三辆车开始运行,直到到达终点后,第二辆车继续运行到终点。

  • 任务1使用了vTaskDelay,进入了阻塞,任务2就可以继续跑,但是优先级没有任务1高(任务1已经优先级继承了),所以看起来第一辆车和第二辆车有一段是并行同时在跑,其实是交叉运行的任务。

这篇关于【FreeRTOS】使用互斥量解决优先级反转的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1123008

相关文章

Java中String字符串使用避坑指南

《Java中String字符串使用避坑指南》Java中的String字符串是我们日常编程中用得最多的类之一,看似简单的String使用,却隐藏着不少“坑”,如果不注意,可能会导致性能问题、意外的错误容... 目录8个避坑点如下:1. 字符串的不可变性:每次修改都创建新对象2. 使用 == 比较字符串,陷阱满

Python使用国内镜像加速pip安装的方法讲解

《Python使用国内镜像加速pip安装的方法讲解》在Python开发中,pip是一个非常重要的工具,用于安装和管理Python的第三方库,然而,在国内使用pip安装依赖时,往往会因为网络问题而导致速... 目录一、pip 工具简介1. 什么是 pip?2. 什么是 -i 参数?二、国内镜像源的选择三、如何

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定

IDEA编译报错“java: 常量字符串过长”的原因及解决方法

《IDEA编译报错“java:常量字符串过长”的原因及解决方法》今天在开发过程中,由于尝试将一个文件的Base64字符串设置为常量,结果导致IDEA编译的时候出现了如下报错java:常量字符串过长,... 目录一、问题描述二、问题原因2.1 理论角度2.2 源码角度三、解决方案解决方案①:StringBui

Linux使用nload监控网络流量的方法

《Linux使用nload监控网络流量的方法》Linux中的nload命令是一个用于实时监控网络流量的工具,它提供了传入和传出流量的可视化表示,帮助用户一目了然地了解网络活动,本文给大家介绍了Linu... 目录简介安装示例用法基础用法指定网络接口限制显示特定流量类型指定刷新率设置流量速率的显示单位监控多个

JavaScript中的reduce方法执行过程、使用场景及进阶用法

《JavaScript中的reduce方法执行过程、使用场景及进阶用法》:本文主要介绍JavaScript中的reduce方法执行过程、使用场景及进阶用法的相关资料,reduce是JavaScri... 目录1. 什么是reduce2. reduce语法2.1 语法2.2 参数说明3. reduce执行过程

如何使用Java实现请求deepseek

《如何使用Java实现请求deepseek》这篇文章主要为大家详细介绍了如何使用Java实现请求deepseek功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1.deepseek的api创建2.Java实现请求deepseek2.1 pom文件2.2 json转化文件2.2

mybatis和mybatis-plus设置值为null不起作用问题及解决

《mybatis和mybatis-plus设置值为null不起作用问题及解决》Mybatis-Plus的FieldStrategy主要用于控制新增、更新和查询时对空值的处理策略,通过配置不同的策略类型... 目录MyBATis-plusFieldStrategy作用FieldStrategy类型每种策略的作

python使用fastapi实现多语言国际化的操作指南

《python使用fastapi实现多语言国际化的操作指南》本文介绍了使用Python和FastAPI实现多语言国际化的操作指南,包括多语言架构技术栈、翻译管理、前端本地化、语言切换机制以及常见陷阱和... 目录多语言国际化实现指南项目多语言架构技术栈目录结构翻译工作流1. 翻译数据存储2. 翻译生成脚本

C++ Primer 多维数组的使用

《C++Primer多维数组的使用》本文主要介绍了多维数组在C++语言中的定义、初始化、下标引用以及使用范围for语句处理多维数组的方法,具有一定的参考价值,感兴趣的可以了解一下... 目录多维数组多维数组的初始化多维数组的下标引用使用范围for语句处理多维数组指针和多维数组多维数组严格来说,C++语言没