Process Synchronization(PV)

信号量是最早出现的用来解决进程同步与互斥问题的机制，包括一个称为信号量的变量及对它进行的两个原语操作。
 
一. 信号量的概念 
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尾部，进程变成等待状态
  wakeup(s.queue);将s.queue头进程唤醒插入就绪队列
s.value初值为1时，可以用来实现进程的互斥。
      p操作和v操作是不可中断的程序段，称为原语。如果将信号量看作共享变量，则pv操作为其临界区，多个进程不能同时执行，一般用硬件方法保证。一个信号量只能置一次初值，以后只能对之进行p操作或v操作。

 利用信号量和PV操作实现进程互斥的一般模型是：
进程P1              进程P2           ……          进程Pn
……                  ……                           ……
P（S）；              P（S）；                         P（S）；
临界区；             临界区；                        临界区；
V（S）；              V（S）；                        V（S）；
……                  ……            ……           ……

    其中信号量S用于互斥，初值为1。
    使用PV操作实现进程互斥时应该注意的是：
    （1）每个程序中用户实现互斥的P、V操作必须成对出现，先做P操作，进临界区，后做V操作，出临界区。若有多个分支，要认真检查其成对性。
    （2）P、V操作应分别紧靠临界区的头尾部，临界区的代码应尽可能短，不能有死循环。
    （3）互斥信号量的初值一般为1。

    利用信号量和PV操作实现进程同步
    PV操作是典型的同步机制之一。用一个信号量与一个消息联系起来，当信号量的值为0时，表示期望的消息尚未产生；当信号量的值非0时，表示期望的消息已经存在。用PV操作实现进程同步时，调用P操作测试消息是否到达，调用V操作发送消息。
    使用PV操作实现进程同步时应该注意的是：

    （1）分析进程间的制约关系，确定信号量种类。在保持进程间有正确的同步关系情况下，哪个进程先执行，哪些进程后执行，彼此间通过什么资源（信号量）进行协调，从而明确要设置哪些信号量。
    （2）信号量的初值与相应资源的数量有关，也与P、V操作在程序代码中出现的位置有关。
    （3）同一信号量的P、V操作要成对出现，但它们分别在不同的进程代码中。
      由此也可以看到，信号量机制必须有公共内存，不能用于分布式操作系统，这是它最大的弱点。

二. 实例 
1． 生产者-消费者问题（有buffer） 

问题描述：
  一个仓库可以存放K件物品。生产者每生产一件产品，将产品放入仓库，仓库满了就停止生产。消费者每次从仓库中去一件物品，然后进行消费，仓库空时就停止消费。
解答：
  进程：Producer - 生产者进程，Consumer - 消费者进程
  共有的数据结构：
     buffer: array [0..k-1] of integer;
     in,out: 0..k-1;
       — in记录第一个空缓冲区，out记录第一个不空的缓冲区
     s1,s2,mutex: semaphore;
       — s1控制缓冲区不满,s2控制缓冲区不空,mutex保护临界区；
         初始化s1=k,s2=0,mutex=1
  producer（生产者进程）：
   Item_Type item;
  {
     while (true)
     {
       produce(&item);
       p(s1);
       p(mutex);
       buffer[in]:=item;
       in:=(in+1) mod k;
       v(mutex);
       v(s2);
     }
  }

  consumer（消费者进程）：
   Item_Type item;
  {
     while (true)
     {
       p(s2);
       p(mutex);
        item:=buffer[out];
        out:=(out+1) mod k;
        v(mutex);
        v(s1);
       consume(&item);
     }
   }

      需要注意的是无论在生产者进程中还是在消费者进程中，两个P操作的次序不能颠倒。应先执行同步信号量的P操作，然后再执行互斥信号量的P操作，否则可能造成进程死锁。
2． 第一类读-写者问题 

问题描述：
  一些读者和一些写者对同一个黑板进行读写。多个读者可同时读黑板，但一个时刻只能有一个写者，读者写者不能同时使用黑板。对使用黑板优先级的不同规定使读者-写者问题又可分为几类。第一类问题规定读者优先级较高，仅当无读者时允许写者使用黑板。
解答：
  进程：writer - 写者进程，reader - 读者进程
  共有的数据结构：
     read_account:integer;
     r_w,mutex: semaphore;
       — r_w控制谁使用黑板,mutex保护临界区，初值都为1
  reader - (读者进程）：
  {
     while (true)
     {
       p(mutex);
       read_account++;
       if(read_account=1) p(r_w);
       v(mutex);
       read();
       p(mutex);
       read_account--;
       if(read_account=0) v(r_w);;
       v(mutex);
     }
  }

  writer - (写者进程）：
  {
     while (true)
     {
       p(mutex);
        write();
        v(mutex);
     }
   }

3． 哲学家问题 

问题描述：
  一个房间内有5个哲学家，他们的生活就是思考和进食。房间里有一张圆桌，中间放着一盘通心粉（假定通心粉无限多）。桌子周围放有五把椅子，分别属于五位哲学家每两位哲学家之间有一把叉子，哲学家进食时必须同时使用左右两把叉子。
解答：
  进程：philosopher - 哲学家
  共有的数据结构&过程：
     state: array [0..4] of (think,hungry,eat);
     ph: array [0..4] of semaphore;
       — 每个哲学家有一个信号量，初值为0
     mutex: semaphore;
       — mutex保护临界区，初值=1
     procedure test(i:0..4);
     {
       if ((state[i]=hungry) and (state[(i+1)mod 5]<>eating)
       and (state[(i-1)mod 5]<>eating))
       { state[i]=eating;
          V(ph[i]);
       }
     }

  philosopher(i:0..4)：
  {
     while (true)
     {
       think();
       p(mutex);
       state[i]=hungry;
       test(i);
       v(mutex);
       p(ph[i]);
       eat();
       p(mutex);
       state[i]=think;
       test((i-1) mod 5);
       test((i+1) mod 5);
       v(mutex);
     }
  }
4. 桌上有一空盘，允许存放一只水果。爸爸可向盘中放苹果，也可向盘中放桔子，儿子专等吃盘中的桔子，女儿专等吃盘中的苹果。规定当盘空时一次只能放一只水果供吃者取用，请用P、V原语实现爸爸、儿子、女儿三个并发进程的同步。

分析 在本题中，爸爸、儿子、女儿共用一个盘子，盘中一次只能放一个水果。当盘子为空时，爸爸可将一个水果放入果盘中。若放入果盘中的是桔子，则允许儿子吃，女儿必须等待；若放入果盘中的是苹果，则允许女儿吃，儿子必须等待。本题实际上是生产者-消费者问题的一种变形。这里，生产者放入缓冲区的产品有两类，消费者也有两类，每类消费者只消费其中固定的一类产品。

    解：在本题中，应设置三个信号量S、So、Sa，信号量S表示盘子是否为空，其初值为l；信号量So表示盘中是否有桔子，其初值为0；信号量Sa表示盘中是否有苹果，其初值为0。同步描述如下：
int S＝1;
int Sa＝0;
int So＝0;
      main()
      {
        cobegin
            father();      /*父亲进程*/
            son();        /*儿子进程*/
            daughter();    /*女儿进程*/
        coend
    ｝
    father()
    {
        while(1)
          {
            P(S);
            将水果放入盘中;
            if（放入的是桔子）V(So);
            else  V(Sa);
           }
     }
    son()
    {
        while(1)
          {
             P(So);
             从盘中取出桔子;
             V(S);
             吃桔子;
            ｝
    }
    daughter()
    {
         while(1)
            {
              P(Sa);
              从盘中取出苹果;
              V(S);
              吃苹果;
            ｝
｝