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

刘长勇; 王宜怀

doi:10.19292/j.cnki.jdxxp.20240322.001

吉林大学学报(信息科学版) ›› 2024, Vol. 42 ›› Issue (02) : 284 -293. DOI: 10.19292/j.cnki.jdxxp.20240322.001

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

刘长勇, 王宜怀

作者信息 +

Author information +

文章历史 +

摘要

为了能清晰理解互斥量对共享资源的独占访问原理与机制，在简要分析实时操作系统的互斥量的含义、应用场合、调度机制以及关键要素作用的基础上，对mbedOS互斥量调度机制进行了理论剖析。以KL36芯片为例对mbedOS的互斥量进行了实践，基于时序图采用printf方法直观地输出了线程响应互斥量的调度过程信息，并对互斥量调度机制的实时性能进行分析。通过对互斥量调度机制的剖析，有助于进一步分析mbedOS的其他同步与通信方式，也可为深入理解其他实时操作系统的同步与通信手段提供参考借鉴。