摘要

目前,嵌入式实时操作系统的调度机制的研究主要集中在Linux、FreeRTOS、VxWorks等操作系统,而对mbedOS中调度机制的研究缺乏相关资料。对此,通过信号量这一同步机制,在简要分析信号量的含义和有关要素的基础上,对mbedOS中的信号量调度机制及其关键函数进行理论分析,继而通过多任务并发的调度实验,进一步验证理论分析的正确性。通过时序图对调度机制进行总结,并对信号量调度机制的实时性能进行剖析,可为不同微控制器上的mbedOS信号量的应用提供基础,也为剖析其他RTOS(Real-Time Operating System)的信号量机制以及深入理解RTOS的工作原理提供了重要的借鉴价值。