参考答案：定义信号量S1控制P1与P2之间的同步；S2控制P1与P3之间的同步；empty控制生产者与消费者之间的同步；mutex控制进程间互斥使用缓冲区。程序如下：
Var S1=0，S2=0，empty=N，mutex=1;
parbegin
p1:Begin
x=produce(); //生成一个数
p(empty); //判断缓冲区是否有空单元
P(mutex); //缓冲区是否被占用
Put();
if x%2=0
v(S2); //如果是偶数，向P3发出信号
else
V(S1); //如果是奇数，向P2发出信号
V(mutex); //使用完缓冲区，释放
End
p2:Begin
P(s1)); //收到P1发来的信号，已产生一个奇数
P(mutex); //缓冲区是否
Getodd();
Countodd():=countodd()+1;
V(mutex); //释放缓冲区
V(empty); //向P1发信号
End
P3:Begin
P(s2); //收到p1发来的信号，已产生一个偶数
P(mutex); //缓冲区是否被占用
Geteven();
Counteven():=COunteven()+1;
V(mutex); //释放缓冲区
V(empty) //向p1发信号，多出一个空单元
End
Parend