操作系统 吃水果问题的P V 操作原语

问题描述：桌上有一个盘子，每次只能放一个水果，爸爸专向盘中放苹果，妈妈专向盘中放橘子，儿子专等吃盘里的句子，女儿专等吃盘里的苹果。只要盘子空，爸爸妈妈可向盘中放水果，仅当盘中有自己需要的水果时，儿子或女儿可从中取出，请给出他们四人之间的同步关系，并用PV操作实现四人正确活动的程序。

 

 

这个问题和爸爸，儿子，女儿的问题很像，只是多了一个“妈妈”。操作原语如下：

Struct semaphore s=1,so=0,sa=0;//s表示盘空，so表示橘子，sa表示苹果。

Cobegin

Void father(void)

{

  while(1){

           p(s);

           put apple();

           v(sa);

          }

}

Void mother(void)

{

  while(1){

           p(s);

           put orange();

           v(so);

         }

}

Void son(void)

{

while(1){

        p(so);

       eat orange();

       v(s);

       }

}

Void daughter(void)

{

 while(1){

         p(sa);

         eat apple();

         v(s);

         }

}

Coend

 

from: http://blog.sina.com.cn/s/blog_80f41d9c0100xz28.html