信號量是最早出現的用來解決進程同步與互斥問題的機制，

  包括一個稱為信號量的變量及對它進行的兩個原語操作。

  一. 信號量的概念

  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尾部，進程變成等待狀態