【题目】
45.(7分)三个进程P1、P2、P3互斥使用一个包含N(N>0)个单元的缓冲区。P1每次用produce( )生成一个正整数并用put( )送入缓冲区某一空单元中;P2每次用getodd( )从该缓冲区中取出一个奇数并用countodd( )统计奇数个数;P3每次用geteven( )从该缓冲区中取出一个偶数并用counteven( )统计偶数个数。请用信号量机制实现这三个进程的同步与互斥活动，并说明所定义信号量的含义。要求用伪代码描述。
【答案要点】
(1) 缓冲区是一互斥资源，因此设互斥信号量mutex。
(2) 同步问题：P1、P2因为奇数的放置与取用而同步，设同步信号量odd;P1、P3因为偶数的放置与取用而同步，设同步信号量even;P1、P2、P3因为共享缓冲区，设同步信号量empty。
semaphore mutex = 1 ;
semaphore odd = 0, even = 0 ;
semaphore empty = N ;
main ( )
cobegin {
Process P1 while ( True )
{
number = produce ( ) ; P (empty) ;
P (mutex) ;
put ( ) ;
V (mutex) ;
if number% 2 = = 0 V (even) ;
else V(odd) ;
{
Process P2 while (True) P(odd) ;
P(mutex) ;
getodd ( ) ;
V(mutex) ;
V (empty) ; countodd ( ) ;
{
Process P3 while (true)
{
P (even) ;
P(mutex) ; geteven( ) ; V (mutex) ;
V (empty) ; counteven ( ) ;
{
} coend