桌子上有一个盘子,每次只能放一个水果.爸爸专门向盘子里放苹果,妈妈专门向盘子里放橘子,一个儿子专门等吃盘子中的橘子,一个女儿专门等吃盘子中的苹果.用信号量实现他们间的同步机制.

题目: 桌子上有一个盘子,每次只能放一个水果.爸爸专门向盘子里放苹果,妈妈专门向盘子里放橘子,一个儿子专门等吃盘子中的橘子,一个女儿专门等吃盘子中的苹果.用信号量实现他们间的同步机制.

解:

    1:盘子是临界资源.要实施互斥. 用信号量 f 表示.

     2:苹果用 a 表示.  橘子用 o 表示.

     3:盘子的状态(空,或者满) 用 e 表示.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

semphore: f=1, e=1, a=0, o =0;

 

ProcessDad(){

    semWait(e);//盘子中是否空

        semWait(f);//是否有人在用盘子，f保证盘子被独占。

            setApple();

            semSignal(a);//通知放了一个苹果

        semSignal(f); 

}

 

ProcessMom(){

    semWait(e);

        semWait(f);

            setOrange();

            semSignal(o);

        semSignal(f); 

}

 

ProcessSon(){

    semWait(o);    //是否有橘子

        semWait(f); //是否有人在用盘子

            eatOrange();

            semSignal(e); //通知盘子为空

        semSignal(f);

}

 

ProcessDaughter(){

    semWait(a);

        semWait(f);

            eatApple();

            semSignal(e);

        semSignal(f);

}