1. 简介

信号量是一种解决同步问题的机制，可以实现对共享资源的有序访问。

1.1 特点

二值信号量的本质是一个队列长度为1 的队列，该队列就只有空和满两种情况，这就是二值。
二值信号量通常用于互斥访问或任务同步，与互斥信号量比较类似，但是二值信号量有可能会导致优先级翻转的问题，所以二值信号量更适合用于同步！
```
 进程互斥，指的是对某个系统资源，一个进程正在使用它，另外一个想用它的进程就必须等待，而不能同时使用 。
```

SemaphoreHandle_t xSemaphoreCreateBinary(void)

BaseType_t xSemaphoreCreateBinary(void)

BaseType_t xSemaphoreTake(xSemaphore,xBlockTime)

计数型信号量相当于队列长度大于1的队列，因此计数型信号量能够容纳多个资源，这在计数型信号量被创建的时候确定的。

当每次事件发生后，在事件处理函数中释放计数型信号量（计数值+1），其他任务会获取计数型信号量（计数值-1），这种场合一般在创建时将初始计数值设置为0

信号量表示有效的资源数目。任务必须先获取信号量（信号量计数值-1）才能获取资源控制权。当计数值减为0时表示没有的资源。当任务使用完资源后，必须释放信号量。信号量创建的计数值应等于最大资源数目。

xSemapHoreCreateCounting(uxMaxCount,uxInitialCount)

uxSemaphoreGetCount(xSemaphore)

高优先级的任务反而慢执行，低优先级的任务反而优先执行！

在抢占式内核中优先级翻转是非常常见的，但是在实时操作系统中是不允许出现这种，因为优先级翻转会破坏任务的预期顺序，导致严重的后果。

总结:高优先级任务被低优先级任务阻塞，导致高优先级任务迟迟得不到调度。但其他中等优先级的任务却能抢到CPU资源。从现象上看，就像是中优先级的任务比高优先级任务具有更高的优先权（即优先级翻转)

一个拥有优先级继承的二值信号量，在同步的应用中二值信号量最适合。但在需要互斥访问的应用中互斥信号量最适合！

当一个互斥信号量正在被一个低优先级的任务持有时，如果此时有个高优先级的任务也尝试获取这个互斥信号量，那么这个高优先级的任务就会被阻塞。不过这个高优先级的任务会将低优先级的任务的优先级提升到与自己相同的优先级来。

互斥信号量不能用于中断服务函数，在于：