三个进程互斥使用缓存区问题

三个进程互斥使用缓存区问题

问题

三个进程P1、P2、P3互斥使用一个包含N(N>0)个单元的缓冲区。
P1每次用produce()生成一个正整数并用put()送入缓冲区某一空单元中;
P2每次用getodd0从该缓冲区中取出一个奇数并用countodd0统计奇数个数;
P3每次用geteven()从该缓冲区中取出一个偶数并用counteven()统计偶数个数。
试用信号量的P、V操作设计该问题的同步算法，给出所用共享变量(如果需要)和信号量及其初始值，并说明各自的含义。

代码

//伪代码
semaphore F = 1;//实现对缓冲区的互斥访问
int odd_num = 0;//奇数个数
int even_num = 0;//偶数个数
int N;//缓冲区单元数
P1()
{
	while(1)
	{
		if(odd_num+even_num<N)//当缓冲区内有空单元
		{ 
			P(F);//加锁
			produce();
			if (num_is_odd)//该数是奇数
			{
				odd_num++;//奇数个数加1
			}
			else//该数是偶数
			{
				even_num++;//偶数个数加1
			}
			put();
			V(F);//解锁
		}
	}
}
P2()
{
	while (1)
	{
		if(odd_num>0)//当缓冲区内奇数大于零
		{ 
			P(F);
			getodd();
			odd_num=countodd();
			V(F);
		}
	}
}
P3()
{
	while (1)
	{
		if (even_num > 0)//当缓冲区内偶数大于零
		{
			P(F);
			geteven();
			even_num =counteven();
			V(F);
		}
	}
}

好像没什么障碍