怎么理解优先级翻转

简介: 怎么理解优先级翻转

使用信号量会导致的另一个潜在问题是线程优先级翻转问题。

1. 优先级翻转的概念

所谓优先级翻转,即当一个高优先级线程试图通过信号量机制访问共享资源时,如果该信号量已被一低优先级线程持有,而这个低优先级线程在运行过程中可能又被其它一些中等优先级的线程抢占,因此造成高优先级线程被许多具有较低优先级的线程阻塞,实时性难以得到保证。

 

如下图所示:有优先级为 A、B 和 C 的三个线程,优先级 A> B > C。

1)线程 A,B 处于挂起状态,等待某一事件触发,线程 C 正在运行,此时线程 C 开始使用某一共享资源 M。

2)在使用过程中,线程 A 等待的事件到来,线程 A 转为就绪态,因为它比线程 C 优先级高,所以立即执行。但是当线程 A 要使用共享资源 M 时,由于其正在被线程 C 使用,因此线程 A 被挂起切换到线程 C 运行。

3)如果此时线程 B 等待的事件到来,则线程 B 转为就绪态。由于线程 B 的优先级比线程 C 高,同时线程B不需要去访问共享资源M,因此线程 B 开始运行,直到其运行完毕,线程 C 才开始运行。

4)只有当线程 C 释放共享资源 M 后,线程 A 才得以执行。在这种情况下,优先级发生了翻转:线程 B 先于线程 A 运行。这样便不能保证高优先级线程的响应时间。

 

2. RT-Thread中用互斥量的方式解决优先级翻转问题

在 RT-Thread 操作系统中,互斥量可以解决优先级翻转问题,实现的是优先级继承算法。

优先级继承是通过在线程 A 尝试获取共享资源而被挂起的期间内,将线程 C 的优先级提升到线程 A 的优先级别,从而解决优先级翻转引起的问题。这样能够防止 C(间接地防止 A)被 B 抢占,如下图所示。优先级继承是指,提高某个占有某种资源的低优先级线程的优先级,使之与所有等待该资源的线程中优先级最高的那个线程的优先级相等,然后执行,而当这个低优先级线程释放该资源时,优先级重新回到初始设定。因此,继承优先级的线程避免了系统资源被任何中间优先级的线程抢占。

相关文章
|
3月前
leetcode题解:1768.交替合并字符串
leetcode题解:1768.交替合并字符串
28 0
FreeRTOS 互斥量 优先级反转(翻转)和优先级继承 详解
FreeRTOS 互斥量 优先级反转(翻转)和优先级继承 详解
|
4月前
|
C++
关系运算符及其优先次序:编程中的比较逻辑
在编程中,关系运算符是用于比较两个值之间关系的一种重要工具。它们帮助我们根据这些关系(如相等、不等、大于、小于等)来做出决策或执行特定的代码块。理解关系运算符及其优先次序对于编写正确和高效的代码至关重要。
56 0
【多线程】两个线程轮流打印数字1-100,一个打奇数一个打偶数,顺序打印
【多线程】两个线程轮流打印数字1-100,一个打奇数一个打偶数,顺序打印
|
4月前
|
C语言
C语言第四十四弹---调整奇偶数顺序
C语言第四十四弹---调整奇偶数顺序
不用加减乘除怎么实现两个数相加?这种方法你想到了吗?
不用加减乘除怎么实现两个数相加?这种方法你想到了吗?
labview程序结构for循环while循环n层叠平铺定时顺序结构求和总和平方和根
labview程序结构for循环while循环n层叠平铺定时顺序结构求和总和平方和根
174 0
|
C语言
【C语言】调整奇数偶数顺序
输入一个整数数组,实现一个函数, 来调整该数组中数字的顺序使得数组中所有的奇数位于数组的前半部分, 所有偶数位于数组的后半部分。
【C语言】调整奇数偶数顺序
翻转单词顺序(简单难度)
翻转单词顺序(简单难度)
65 0
翻转单词顺序(简单难度)