苹果橘子问题

桌上有一空盘，最多允许存放一只水果。爸爸只向盘中放一个苹果，妈妈只向盘中放一个桔子，儿子专等吃盘中的桔子，女儿专等吃苹果。用wait、signal操作实现爸爸、妈妈、儿子、女儿四个并发进程的同步。

分析设计四个信 量metux,empty、apple、orange；

metux表示：爸爸、妈妈、儿子和女儿进程对盘子的互斥使用；

empty表示：盘子是否为空；

apple表示：是否可以取苹果；

orange表示：是否可以取桔子。

算法描述如下：

[html] view plain copy

1. semaphore empty=1,nutex=1,apple=0,orange=0;  //为四个信 量赋初值  
2. void father(){  
3.      do{  
4.            wait(empty);    //等待盘子为空  
5.            wait(metux);    //等待获取对盘子的操作  
6.             爸爸向盘中放一个苹果;  
7.            signal(mutex);   //释放对盘子的操作  
8.            signal(apple);   //通知女儿可以来盘子中取苹果  
9.     }while(TRUE);  
10. }  
11. void mather(){               //与父亲进程雷同  
12.      do{  
13.            wait(empty);  
14.            wait(metux);  
15.             妈妈向盘中放一个桔子;  
16.            signal(mutex);  
17.            signal(orange);  
18.     }while(TRUE);  
19. }  
20. void son(){                          
21.      do{  
22.            wait(orange);       //判断盘子中是否有桔子  
23.            wait(metux);        //等待获取对盘子的操作  
24.             儿子取出盘中的桔子;  
25.            signal(mutex);      //释放对盘子的操作  
26.            signal(empty);      //盘子空了，可以继续放水果了  
27.     }while(TRUE);  
28. }  
29. void daugther(){               //与儿子进程雷同  
30.      do{  
31.            wait(apple);  
32.            wait(metux);  
33.             女儿取出盘中的苹果;  
34.            signal(mutex);  
35.            signal(empty);  
36.     }while(TRUE);  
37. }  
38. void main() {               //四个并发进程的同步执行  
39.     cobegin  
40.        father();mather();son();daugther();  
41.     coend  
42. }