FreeRTOS 互斥量 优先级反转(翻转)和优先级继承 详解

简介: FreeRTOS 互斥量 优先级反转(翻转)和优先级继承 详解

什么是互斥量?

在多数情况下,互斥型信号量和二值型信号量非常相似,但是从功能上二值型信号量用于同步, 而互斥型信号量用于资源保护。

互斥型信号量和二值型信号量还有一个最大的区别,互斥型信号量可以有效解决优先级反转现 象。

什么是优先级反转(翻转)和优先级继承

以上图为例,系统中有3个不同优先级的任务H/M/L,最高优先级任务H和最低优先级任务L通过 信号量机制,共享资源。目前任务L占有资源,锁定了信号量,Task H运行后将被阻塞,直到Task L释放信号量后,Task H才能够退出阻塞状态继续运行。但是Task H在等待Task L释放信号量的过 程中,中等优先级任务M抢占了任务L,从而延迟了信号量的释放时间,导致Task H阻塞了更长时 间,这种现象称为优先级倒置或优先级反转(翻转)。


优先级继承:


当一个互斥信号量正在被一个低优先级的任务持有时, 如果此时有个高优先级的任 务也尝试获取这个互斥信号量,那么这个高优先级的任务就会被阻塞。不过这个高优先级的任务 会将低优先级任务的优先级提升到与自己相同的优先级。


优先级继承并不能完全的消除优先级翻转的问题,它只是尽可能的降低优先级翻转带来的影响。


互斥量相关 API 函数

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

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

参数:

返回值:

成功,返回对应互斥量的句柄;

失败,返回 NULL 。

优先级反转(翻转)示例

如下图,低优先级工作后高优先级被阻塞,然后发生优先级反转,中优先级比高优先级先工作

1.打开CubeMX,将FreeRTOS移植到STM32F103C8T6,具体看我之前写过的文章

将FreeRTOS移植到STM32F103C8T6

2.增加三个任务,优先级分别从高到底

3.增加一个二值信号量,导出代码

4.代码编写:

freertos.c

void StartTaskH(void const * argument)
{
  for(;;)
  {
    xSemaphoreTake(myBinarySem01Handle,portMAX_DELAY);
    printf("高优先级获得二值信号量,开始工作\r\n");
    HAL_Delay(1000);
    printf("工作完毕后,释放二值信号量\r\n");
    xSemaphoreGive(myBinarySem01Handle);
    osDelay(1000);
  }
}
 
void StartTaskM(void const * argument)
{
  for(;;)
  {
    printf("占用cpu资源,不工作\r\n");
    osDelay(1000);
  }
}
 
void StartTaskL(void const * argument)
{
  for(;;)
  {
    xSemaphoreTake(myBinarySem01Handle,portMAX_DELAY);
    printf("低优先级获得二值信号量,开始工作\r\n");
    HAL_Delay(3000);
    printf("工作完毕后,释放二值信号量\r\n");
    xSemaphoreGive(myBinarySem01Handle);
    osDelay(1000);
  }
}

5.打开串口助手,看执行结果:低优先级工作后实现优先级反转,中等优先级比高优先级先工作

使用互斥量优化优先级反转(翻转)问题示例

1.使用CubeMX在优先级反转示例中增加互斥量,导出代码

2.编写代码

freertos.c

void StartTaskH(void const * argument)
{
  for(;;)
  {
    xSemaphoreTake(myMutex01Handle,portMAX_DELAY);
    printf("高优先级获得互斥量,开始工作\r\n");
    HAL_Delay(1000);
    printf("工作完毕后,释放互斥量\r\n");
    xSemaphoreGive(myMutex01Handle);
    osDelay(1000);
  }
}
 
void StartTaskM(void const * argument)
{
  for(;;)
  {
    printf("占用cpu资源,不工作\r\n");
    osDelay(1000);
  }
}
 
void StartTaskL(void const * argument)
{
  for(;;)
  {
    xSemaphoreTake(myMutex01Handle,portMAX_DELAY);
    printf("低优先级获得互斥量,开始工作\r\n");
    HAL_Delay(3000);
    printf("工作完毕后,释放互斥量\r\n");
    xSemaphoreGive(myMutex01Handle);
    osDelay(1000);
  }
}

3.打开串口助手,看执行结果:低优先级工作后高优先级工作,最后到中等优先级

相关文章
|
IDE 调度 开发工具
如何在S32DS中使用SystemView分析FreeRTOS
如何在S32DS中使用SystemView分析FreeRTOS
如何在S32DS中使用SystemView分析FreeRTOS
|
编译器 调度
FreeRTOS任务的创建(动态方法和静态方法)
FreeRTOS任务的创建(动态方法和静态方法)
3545 0
|
安全 Unix Linux
VMware Workstation 17.6.3 发布下载,现在完全免费无论个人还是商业用途
VMware Workstation 17.6.3 发布下载,现在完全免费无论个人还是商业用途
158116 65
STM32CubeMX FreeRTOS 互斥锁
STM32CubeMX FreeRTOS 互斥锁
935 12
|
文字识别 网络协议 开发工具
GitHub封锁?推荐5个国产的Git仓库替代平台
近日,GitHub对中国区IP的部分限制引发了广泛关注。未登录用户被拒,已登录用户功能受限,南北网络环境差异更显“内卷”。为应对这一挑战,本文推荐了多个国产Git平台:Gitee(码云)、GitCode(CSDN旗下)、CODING(腾讯系)、CodeUP(阿里云支持)及微信代码管理工具。这些平台功能全面、稳定性强,是开发者迁移项目的理想选择。通过同步代码、配置CI/CD流水线等简单步骤,可确保项目平稳过渡。此次事件提醒我们,掌握核心技能与支持国产平台同样重要!
18266 11
|
Java 编译器 程序员
Java异常处理和最佳实践(含案例分析)
如何处理Java异常?作者查看了一些异常处理的规范,对 Java 异常处理机制有更深入的了解,并将自己的学习内容记录下来,希望对有同样困惑的同学提供一些帮助。
14027 3
Java异常处理和最佳实践(含案例分析)
|
存储 搜索推荐 Java
微服务SpringCloud ES分布式全文搜索引擎简介 下载安装及简单操作入门
微服务SpringCloud ES分布式全文搜索引擎简介 下载安装及简单操作入门
681 2
|
安全
技术笔记:KERMIT,XMODEM,YMODEM,ZMODEM传输协议小结(转)
技术笔记:KERMIT,XMODEM,YMODEM,ZMODEM传输协议小结(转)
1003 0
|
传感器 芯片
嵌入式通信协议全解析:SPI、I²C、UART详解(附带面试题)
通信是指人与人或人与自然之间通过某种行为或媒介进行的信息交流与传递。从广义上来说,通信是指需要信息的双方或多方在不违背各自意愿的情况下采用任意方法、任意媒质,将信息从某方准确安全地传送到另方。在出现电波传递通信后,通信被单一解释为信息的传递,是指由一地向另一地进行信息的传输与交换,其目的是传输消息。通信方式包括利用“电”来传递消息的电信,这种通信具有迅速、准确、可靠等特点,且几乎不受时间、地点、空间、距离的限制,因而得到了飞速发展和广泛应用。
8724 0

热门文章

最新文章