基于互斥量的MbedOS调度机制剖析  

Analysis of Mbedos Scheduling Mechanism Based on Mutual Exclusion

作　　者：刘长勇 王宜怀[3] LIU Changyong;WANG Yihuai(Department of Mathematics and Computer Science,Wuyi University,Wuyishan 354300,China;Key Laboratory of Cognitive Computing and Intelligent Information Processing of Fujian Education Institutions,Wuyi University,Wuyishan 354300,China;School of Computer Science and Technology,Soochow University,Suzhou 215006,China)

机构地区：[1]武夷学院数学与计算机学院,福建武夷山354300 [2]武夷学院认知计算与智能信息处理福建省高校重点实验室,福建武夷山354300 [3]苏州大学计算机科学与技术学院,江苏苏州215006

出　　处：《吉林大学学报（信息科学版）》2024年第2期284-293,共10页Journal of Jilin University（Information Science Edition）

基　　金：国家自然科学基金资助项目(61672369);福建省自然科学基金资助项目(2017J01651-01);福建省自然科学科技基金资助项目(2022J011202)。

摘　　要：为了能清晰理解互斥量对共享资源的独占访问原理与机制,在简要分析实时操作系统的互斥量的含义、应用场合、调度机制以及关键要素作用的基础上,对mbedOS互斥量调度机制进行了理论剖析。以KL36芯片为例对mbedOS的互斥量进行了实践,基于时序图采用printf方法直观地输出了线程响应互斥量的调度过程信息,并对互斥量调度机制的实时性能进行分析。通过对互斥量调度机制的剖析,有助于进一步分析mbedOS的其他同步与通信方式,也可为深入理解其他实时操作系统的同步与通信手段提供参考借鉴。In order to have a clear understanding of the exclusive access principle and mechanism of mutex on shared resources,based on the brief analysis of the meaning,application occasions,scheduling mechanism and key elements of mutex in real-time operating systems,the mbedOS mutex scheduling mechanism are theoretically analyzed.Takes the KL36 chip as an example the mbedOS mutex is realized and the scheduling process information of thread response mutex is output spontaneously based on the sequence diagram and printf method.And the real-time performance of mutex scheduling mechanism is analyzed.The analysis of mutex scheduling mechanism is helpful to further analyze other synchronization and communication methods of mbedOS,and can also provide reference for in-depth understanding of other real-time operating system synchronization and communication methods.

关 键 词：实时操作系统 互斥量 mbedOS实时操作系统 KL36芯片 printf输出 

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