信号量定义及含义

• odd = 0：记录缓冲区中奇数的数量，初始为 0（无奇数）
• even = 0：记录缓冲区中偶数的数量，初始为 0（无偶数）
• empty = N：记录缓冲区中空单元的数量，初始为 N（缓冲区满空）
• mutex = 1：互斥信号量，控制对缓冲区的独占访问（1 表示未占用）

进程逻辑解析

1. P1（生产者）

   • 生成数据后，先通过P(empty)确保缓冲区有空位
   • 再通过P(mutex)获取缓冲区独占权，放入数据后释放互斥锁（V(mutex)）
   • 最后根据数据奇偶性，通过V(even)或V(odd)通知对应消费者有数据可用

2. P2（奇数消费者）

   • 先通过P(odd)等待缓冲区出现奇数
   • 获取互斥锁（P(mutex)）后取出奇数，释放互斥锁
   • 通过V(empty)增加空单元数量，完成计数

3. P3（偶数消费者）

   • 逻辑与 P2 类似，通过P(even)等待偶数，操作后释放空单元信号

核心逻辑

• 互斥：通过mutex确保同一时间只有一个进程操作缓冲区
• 同步：
  • 生产者与消费者通过empty协调缓冲区空间
  • 生产者与特定消费者（P2/P3）通过odd/even协调数据类型匹配

注：代码中 P3 的P(mutext)存在拼写错误，应为P(mutex)

1. semaphore odd = 0, even = 0, empty = N, mutex = 1;
2. P1( )
3. {
4. x = produce(); //生成一个数
5. P(empty); //判断缓冲区是否有空单元
6. P(mutex); //缓冲区是否被占用
7. Put();
8. V(mutex); //释放缓冲区
9. if(x%2 == 0)
10. V(even); //如果是偶数，向P3发出信号
11. else
12. V(odd); //如果是奇数，向P2发出信号
13. }
14. P2( )
15. {
16. P(odd); //收到P1发来的信号，已产生一个奇数
17. P(mutex); //缓冲区是否被占用
18. getodd();
19. V(mutex); //释放缓冲区
20. V(empty); //向P1发信号，多出一个空单元
21. countodd();
22. }
23. P3( )
24. {
25. P(even); //收到P1发来的信号，已产生一个偶数
26. P(mutext); //缓冲区是否被占用
27. geteven();
28. V(mutex); //释放缓冲区
29. V(empty); //向P1发信号，多出一个空单元
30. counteven();
31. }