学步园

      信号量是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><br /> using namespace std;</p> <p>struct semaphore{<br /> int count;<br /> queueType queque;<br /> }</p> <p>void semWait(semaphore s){//P操作<br /> s.count--;<br /> if(s.count<0){<br /> place this process in s.queue;<br /> block this process;<br /> }<br /> }</p> <p>void semSignal(semaphore s){//V操作<br /> s.count++;<br /> if(s.count<=0){<br /> remove a process P from s.queque;<br /> place process P on ready list;<br /> }<br /> }<br />