信号量的基本思想

信号量是1965荷兰Dijkstra 为了解决并发进程问题 而提出的一个重要操作系统的思想

其基本思想：

      两个或多个进程可以通过简单的信号进行合作，一个进程可以被迫在某个位置停止，直到它接收到一个特定的信号。任何复杂的合作需求都可以通过适当的信号结构 得到满足。为了发信号，需要使用一个称为信号量的特殊变量。为通过信号量s发送信号，进程可执行原语semSignal（s），即V操作；为了通过信号量 s接收信号，进程可执行原语semWait（s），即P操作；如果相应的信号还没有发送，则进程将被挂起，直至发送位置

     信号量可被看做死一个具有整数型的变量，有三个操作：

1. 一个信号量可以初始化成非负数，一般资源数就是信号量的初始值

2. semWait操作，即P操作，使得信号量减1，如果值变成负数（s <0) 则执行semWait的进程被阻塞，否则进程继续执行

3. semSignal操作，即V操作，使得信号量加1，如果值小于或等于零，则被semWait操作阻塞的进程被解除阻塞