操作系统之信号量

相关概念

原子操作：指一组相关联的操作要么都不间断地执行，要么都不执行。

二元信号量：供两个或多个进程使用的信号量，保证同时只有一个进程可以进入临界区。

介绍

信号量是E.W.Dijkstra在1965年提出的一种方法，它使用一个整型变量来累计唤醒次数，供以后使用。在他的建议中引入了一个新的变量类型，称作信号量。一个信号量的取值可以为0或者为正值。

操作

简单来说有两种操作方式：down和up

down：检查信号量是否大于0，若大于0，则将值减1，并继续；若信号量为0，则进程将睡眠挂起。

检查数值、修改数值以及可能发生的睡眠操作均作为一个单一的、不可分割的原子操作完成。

up：up操作对信号量的值加1.如果一个或多个进程在该信号量上睡眠，无法完成一个先前的down操作，则由系统选择其中的一个并允许该进程完成它的down操作。

up操作可以唤醒信号量上睡眠的进程，执行一次唤醒一个，但信号量仍会是0。

作用

1. 互斥

保护共享资源，使得资源在一个时刻只有一个进程（线程）所拥有。

2. 同步

引用生产者-消费者模型，生产者down操作先将空槽数empty-1，再down操作进入临界区，将数据放到缓存区之后，通过up操作离开临界区，并通过up操作将满槽数full+1，消费者操作则相反。

特点

1. 因为信号量可以使等待资源线程进入休眠状态，因此适用于那些占用资源比较久的场合。

2. 信号量不能用于中断中，因为信号量会引起休眠，中断不能休眠。

3. 如果共享资源的持有时间比较短，那就不适合使用信号量了，因为频繁的休眠、切换线程引起的开销要远大于信号量带来的那点优势。