信号量是最早出现的用来解决进程同步与互斥问题的机制，

    包括一个称为信号量的变量及对它进行的两个原语操作。

    一. 信号量的概念

    1．信号量的类型定义

    每个信号量至少须记录两个信息：信号量的值和等待该信号量的进程队列。它的类型定义如下：（用类PASCAL语言表述）

        semaphore = record

             value: integer;

             queue: ^PCB;

           end;

      其中PCB是进程控制块，是操作系统为每个进程建立的数据结构。

    s.value>=0时，s.queue为空；

    s.value<0时，s.value的绝对值为s.queue中等待进程的个数；

    2．PV原语

    对一个信号量变量可以进行两种原语操作：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(s.queue);

    }

其中用到两个标准过程：

      asleep(s.queue);执行此操作的进程的PCB进入s.queue尾部，进程变成等待状态