基于STM32的mbedOS优先级反转问题机制剖析  

ANALYSIS OF MBEDOS PRIORITY INVERSION MECHANISM BASED ON STM32

作　　者：叶柯阳 王宜怀[1] 徐婷婷 刘长勇 Ye Keyang;Wang Yihuai;Xu Tingting;Liu Changyong(School of Computer Science and Technology,Soochow University,Suzhou 215006,Jiangsu,China;Department of Mathematics and Computer Science,Wuyi University,Wuyishan 354300,Fujian,China)

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006 [2]武夷学院数学与计算机学院,福建武夷山354300

出　　处：《计算机应用与软件》2023年第1期260-266,共7页Computer Applications and Software

基　　金：国家自然科学基金项目(61672369);江苏高校优势学科建设工程项目(PAPD)。

摘　　要：目前,针对嵌入式实时操作系统优先级反转问题的研究集中在VxWorks操作系统、WinCE操作系统、μC/OS-Ⅱ操作系统等,而对mbedOS操作系统避免优先级反转问题的机制研究方面缺乏相关材料。基于分析优先级反转问题出现的缘由、现象以及相关解决方案,通过实验例程对mbedOS中解决优先级反转问题的机制进行深入剖析。最后通过时序图的方式对该机制进行归纳总结,可为mbedOS的应用研究和在不同微控制器上的移植提供基础,也可为不同实时操作系统下解决优先级反转问题机制的比较分析提供参考。At present, the research on priority inversion of embedded real-time operating system focuses on VxWorks, WinCE,μC/OS-Ⅱ, etc. However, there is a lack of relevant materials on the mechanism of avoiding priority inversion in mbedOS. Based on a brief analysis of the causes, phenomena and relevant solutions of priority inversion, the mechanism of solving priority inversion in mbedOS was analyzed in depth through an experimental routine. The mechanism was summarized by means of sequence diagram. It could provide a basis for the application research of mbedOS and the transplantation on different microcontrollers, and also provide a reference for the comparative analysis of the mechanism to solve the priority inversion problem under different real-time operating systems.

关 键 词：mbedOS 优先级反转 互斥量 线程 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]