信号量与管程

1.信号量： 

1）信号量的定义：

每个信号量至少须记录两个信息：信号量的值和等待该信号量的进程队列。它的类型定义如下：（用类PASCAL语言表述）
    semaphore = record
         value: integer;
         queue: ^PCB;
       end;
  其中PCB是进程控制块，是操作系统为每个进程建立的数据结构。
s.value>=0时，s.queue为空；
s.value<0时，s.value的绝对值为s.queue中等待进程的个数

2）P，V原语：

对一个信号量变量可以进行两种原语操作：p操作和v操作，定义如下：   procedure p(var s:samephore);
     {
       s.value=s.value-1;
       if (s.value<0) asleep(s.queue);
     }
  procedure v(var s:samephore);
     {
       s.value=s.value+1;
       if (s.value<=0) wakeup