系分考試知識：PV操作釋疑

信號量
     信號量是最早出現(xiàn)的用來解決進程同步與互斥問題的機制，
     包括一個稱為信號量的變量及對它進行的兩個原語操作。
     一. 信號量的概念
     1．信號量的類型定義
     每個信號量至少須記錄兩個信息：信號量的值和等待該信號量的進程隊列。它的類型定義如下：（用類PASCAL語言表述）
     semaphore = record
     value: integer;
     queue: ^PCB;
     end;
     其中PCB是進程控制塊，是操作系統(tǒng)為每個進程建立的數(shù)據(jù)結構。
     s.value>=0時，s.queue為空；
     s.value<0時，s.value的絕對值為s.queue中等待進程的個數(shù)；
     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);執(zhí)行此操作的進程的PCB進入s.queue尾部，進程變成等待狀態(tài)