信号量与管程也是进程间通信的方式。信号量是与锁在同一层级实现的,是操作系统提供的一种协调共享资源访问的方法。信号量由操作系统管理,操作系统作为管理者地位是高于进程的。
信号也是一种抽象的数据类型,由一个整型变量(sem)和两个原子操作组成。P()操作使sem减一,若sem<0进入等待,否则继续。V()操作使sem加一,如果加一后sem仍然小于等于零,代表还有线程在等待使用资源,此时就唤醒一个等待进程。因此信号量实际是一个被保护的整型变量,只能通过PV进行操作,操作系统保证PV操作的原子性。通常假定信号量是公平的,线程不会无线阻塞在P操作,可以假定信号量等待时按照先进先出排队的。而自旋锁是无法实现先进先出的,因为它需要占用CPU资源不停查询锁是否空闲,无法指定进入临界区的顺序。
信号量的使用
信号量可以分为两类:二进制信号量(资源数目为0或1)和资源信号量(资源数目可以为任何非负值)。两者其实是等价的,可以基于一个构造出另一个。信号量的使用有两种情况:互斥访问比如临界区的互斥访问控制、条件同步比如线程间的条件等待。互斥访问如下图