系分考試知識(shí)：PV操作釋疑

  信號(hào)量是最早出現(xiàn)的用來(lái)解決進(jìn)程同步與互斥問(wèn)題的機(jī)制，

  包括一個(gè)稱為信號(hào)量的變量及對(duì)它進(jìn)行的兩個(gè)原語(yǔ)操作。

  一. 信號(hào)量的概念

  1．信號(hào)量的類(lèi)型定義

  每個(gè)信號(hào)量至少須記錄兩個(gè)信息：信號(hào)量的值和等待該信號(hào)量的進(jìn)程隊(duì)列。它的類(lèi)型定義（用類(lèi)PASCAL語(yǔ)言表述）

    semaphore = record

      value: integer;

      queue: ^PCB;

     end;

   其中PCB是進(jìn)程控制塊，是操作系統(tǒng)為每個(gè)進(jìn)程建立的數(shù)據(jù)結(jié)構(gòu)。

  s.value>=0時(shí)，s.queue為空；

  s.value<0時(shí)，s.value的絕對(duì)值為s.queue中等待進(jìn)程的個(gè)數(shù)；

  2．PV原語(yǔ)

  對(duì)一個(gè)信號(hào)量變量可以進(jìn)行兩種原語(yǔ)操作：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);

  }

其中用到兩個(gè)標(biāo)準(zhǔn)過(guò)程：

   asleep(s.queue);執(zhí)行此操作的進(jìn)程的PCB進(jìn)入s.queue尾部，進(jìn)程變成等待狀態(tài)