摘要
目前,嵌入式实时操作系统的调度机制的研究主要集中在Linux、FreeRTOS、VxWorks等操作系统,而对mbedOS中调度机制的研究缺乏相关资料。对此,通过信号量这一同步机制,在简要分析信号量的含义和有关要素的基础上,对mbedOS中的信号量调度机制及其关键函数进行理论分析,继而通过多任务并发的调度实验,进一步验证理论分析的正确性。通过时序图对调度机制进行总结,并对信号量调度机制的实时性能进行剖析,可为不同微控制器上的mbedOS信号量的应用提供基础,也为剖析其他RTOS(Real-Time Operating System)的信号量机制以及深入理解RTOS的工作原理提供了重要的借鉴价值。
At present,the researches on the scheduling mechanism of embedded real-time operating systems mainly focus on operating systems such as Linux,FreeRTOS,and VxWorks,while the research on the scheduling mechanism in mbedOS lacks relevant materials.In this regard,through the synchronization mechanism of semaphore,based on a brief analysis of the meaning and related elements of semaphore,the semaphore scheduling mechanism and its key functions in mbedOS were theoretically analyzed.Through multi-task concurrent scheduling experiments,the correctness of the theoretical analysis was further verified.The scheduling mechanism was summarized through the timing diagram,and the real-time performance of the semaphore scheduling mechanism was analyzed,which could provide a basis for the application of mbedOS semaphores on different microcontrollers,and also for the analysis of other RTOS semaphore mechanisms and in-depth understanding.The working principle of RTOS provided important reference value.
作者
刘中华
王宜怀
刘长勇
王浩波
Liu Zhonghua;Wang Yihuai;Liu Changyong;Wang Haobo(School of Computer Science and Technology,Soochow University,Suzhou 215006,Jiangsu,China;School of Mathematics and Computer Science,Wuyi University,Wuyishan 354300,Fujian,China)
出处
《计算机应用与软件》
北大核心
2023年第10期268-273,321,共7页
Computer Applications and Software
基金
国家自然科学基金项目(61672369)。
