信号量（一） 基础知识

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

     

      其基本思想：

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

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

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

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

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

P,V操作的伪代码 ：

#include<queue> using namespace std; struct semaphore{ int count; queueType queque; } void semWait(semaphore s){//P操作 s.count--; if(s.count<0){ place this process in s.queue; block this process; } } void semSignal(semaphore s){//V操作 s.count++; if(s.count<=0){ remove a process P from s.queque; place process P on ready list; } }