操作系统学习笔记（二十一）：信号量

      信号量与管程也是进程间通信的方式。信号量是与锁在同一层级实现的，是操作系统提供的一种协调共享资源访问的方法。信号量由操作系统管理，操作系统作为管理者地位是高于进程的。

      信号也是一种抽象的数据类型，由一个整型变量（sem）和两个原子操作组成。P()操作使sem减一，若sem<0进入等待，否则继续。V()操作使sem加一，如果加一后sem仍然小于等于零，代表还有线程在等待使用资源，此时就唤醒一个等待进程。因此信号量实际是一个被保护的整型变量，只能通过PV进行操作，操作系统保证PV操作的原子性。通常假定信号量是公平的，线程不会无线阻塞在P操作，可以假定信号量等待时按照先进先出排队的。而自旋锁是无法实现先进先出的，因为它需要占用CPU资源不停查询锁是否空闲，无法指定进入临界区的顺序。

信号量的使用

      信号量可以分为两类：二进制信号量（资源数目为0或1）和资源信号量（资源数目可以为任何非负值）。两者其实是等价的，可以基于一个构造出另一个。信号量的使用有两种情况：互斥访问比如临界区的互斥访问控制、条件同步比如线程间的条件等待。互斥访问如下图

条件同步如下图：

如下图是利用信号量实现的生产者消费者模型。生产者消费者模型的要求是同一时刻只能有一个生产者或消费者访问缓冲区，生产者只能在缓冲区有空间时才能往里塞数据，消费者只有缓冲区有数据时才能从里面消费数据。

        信号量存在如下问题