FreeRTOS 信号量和互斥锁是基于队列实现的， 队列介绍见 << FreeRTOS 消息队列 >>。 使用信号量需要在源文件中包含头文件 semphr.h , 该文件定义了信号量的 API， 实际我们使用的信号量 API 都是宏定义， 宏的实际是队列提供的函数。