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

相关文章
|
Java 调度
Java线程的优先级
Java线程的优先级
81 0
|
1月前
|
Java Linux 调度
Java线程的优先级详解
Java线程的优先级机制允许开发者根据程序需求为线程设定不同优先级,范围通常在1到10之间,默认优先级为5。高优先级线程在执行时通常会得到更多的CPU时间,但这并不意味着低优先级线程会被完全忽略。系统资源分配仍然取决于具体的调度策略。理解线程优先级有助于优化多线程应用的性能。
|
4月前
线程的优先级
线程的优先级
|
Linux 编译器 调度
【线程概念和线程控制】(一)
【线程概念和线程控制】(一)
123 0
|
存储
【线程概念和线程控制】(二)
【线程概念和线程控制】(二)
66 0
|
存储 Linux 调度
多线程——线程概念和线程控制
什么是线程,POSIX线程库,线程控制:pthread_create线程创建,pthread_exit线程终止,pthread_join线程回收,pthread_cancel线程取消,pthread_detach线程分离。线程id和地址空间分局,C++语言级别的多线程,二次封装线程库
122 0
多线程——线程概念和线程控制
|
存储 消息中间件 Linux
《Linux操作系统编程》 第十章 线程与线程控制: 线程的创建、终止和取消,detach以及线程属性
《Linux操作系统编程》 第十章 线程与线程控制: 线程的创建、终止和取消,detach以及线程属性
69 0
|
算法
怎么理解优先级翻转
怎么理解优先级翻转
115 0
|
Java
线程和进程概念区别—及线程常用方法和状态
进程和线程是操作系统中的两个基本概念。 进程是程序执行的基本单位,每个进程都有自己独立的内存空间和系统资源,它拥有自己的虚拟地址空间、代码段、数据段、堆栈段等。一个程序可以对应多个进程,每个进程之间是独立运行的,互相之间不会影响。
301 0
STM32FreeRTOS二值信号量的基本介绍和操作
STM32FreeRTOS二值信号量的基本介绍和操作
155 0