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.打开串口助手,看执行结果:低优先级工作后高优先级工作,最后到中等优先级

相关文章
|
5月前
|
C++
【操作系统】信号量机制(整型信号量、记录型信号量),用信号量实现进程互斥、同步、前驱关系
【操作系统】信号量机制(整型信号量、记录型信号量),用信号量实现进程互斥、同步、前驱关系
188 6
|
5月前
|
安全 算法 Linux
【Linux 系统】多线程(线程控制、线程互斥与同步、互斥量与条件变量)-- 详解(下)
【Linux 系统】多线程(线程控制、线程互斥与同步、互斥量与条件变量)-- 详解(下)
|
5月前
|
存储 Linux 程序员
【Linux 系统】多线程(线程控制、线程互斥与同步、互斥量与条件变量)-- 详解(中)
【Linux 系统】多线程(线程控制、线程互斥与同步、互斥量与条件变量)-- 详解(中)
|
5月前
|
缓存 Linux 调度
【Linux 系统】多线程(线程控制、线程互斥与同步、互斥量与条件变量)-- 详解(上)
【Linux 系统】多线程(线程控制、线程互斥与同步、互斥量与条件变量)-- 详解(上)
|
5月前
|
算法 安全 Unix
【C++ 20 信号量 】C++ 线程同步新特性 C++ 20 std::counting_semaphore 信号量的用法 控制对共享资源的并发访问
【C++ 20 信号量 】C++ 线程同步新特性 C++ 20 std::counting_semaphore 信号量的用法 控制对共享资源的并发访问
157 0
|
算法
怎么理解优先级翻转
怎么理解优先级翻转
109 0
并发编程-17AQS同步组件之 Semaphore 控制并发线程数的信号量
并发编程-17AQS同步组件之 Semaphore 控制并发线程数的信号量
68 0
|
存储 网络协议 API
4-FreeRTOS队列、互斥、信号量
4-FreeRTOS队列、互斥、信号量
STM32FreeRTOS二值信号量的基本介绍和操作
STM32FreeRTOS二值信号量的基本介绍和操作
144 0
|
物联网 开发者
Stm32 抢占和子优先级配置 | 学习笔记
快速学习 Stm32 抢占和子优先级配置
1030 1
Stm32 抢占和子优先级配置 | 学习笔记