系分考試知識: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)