信号量（一） 基础知识

      信号量是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; } }