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

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

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

信号量的使用

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