基于STM32的mbedOS信号量调度机制剖析

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