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