操作系统--Semaphore

信号量

信号量的定义

信号量是一种比互斥锁更加强大的同步工具，它可以提供更高级的方法来同步并发进程。一个信号量其实就是一个整数，除了初始化之外，它只能被两个标准的原子操作来访问：P和V。
P：wait() 在荷兰语中是测试的意思。
V：signal() 在荷兰语是自增的意思。

信号量的实现

while循环其实就是一种测试，在测试信号量的值是不是大于0！

可以看出，互斥锁其实就是信号量的一种特例，当信号量初始值为1时，那么就是互斥锁的效果。

信号量的使用

BINARY SEMAPHORE（二值信号量）

COUNTING SEMAPHORE

可以取任意值的信号量，信号量大于0，表示的是可用资源的数量。

信号量知识总图

信号量实现同步

信号量为0的应用场景

首先，初始化信号量d为0，那么司机执行P操作时就会进行等待。只有当售票员对信号量d进行V操作，司机才会启动车辆。
然后，另一个初始化信号量为0的c，是用来给售票员在开车门之前进行等待的。只有当司机到站停车时，售票员才能开车门。

同步问题的实质

经典同步问题

生产者-消费者

• 单缓冲解决方案（缓冲区容量为1，如果容量为更多，其实把empty值变大就可以实现）
  
• 有界缓冲