进程互斥、同步--多生产者多消费者问题

1、问题描述：有一个缓冲区，生产者1和生产者2分别生产产品1和产品2，消费者1和消费者2分别消费产品1和产品2。只有当缓冲区空时，生产者才可以向缓冲区生产产品。当缓冲区不空时消费者1或者2才可以消费与之对应的产品。
2、关系分析
互斥关系：缓冲区只能互斥访问
mutex=1; //实现互斥访问缓冲区
同步关系：
（1）生产者1生产产品1后，消费者1才能消费
product1=0; // 缓冲区的产品1
（2）生产者2生产产品2后，消费者2才能消费
product2=0; // 缓冲区的产品2
（3）消费者消费产品后，生产者才能生产
empty=1; //缓冲区空闲区
3、代码实现

//生产者1
productor1(){
	while(1){
		P(empty);
		P(mutex);
		产品1放入缓冲区;
		V(mutex);
		V(product1);
	}
}

//生产者2
productor2(){
	while(1){
		P(empty);
		P(mutex);
		产品2放入缓冲区；
		P(mutex);
		V(product2);
	}
}

//消费者1
consumer1(){
	while(1){
		P(product1);
		P(mutex);
		消费产品1;
		V(mutex);
		V(empty);
	}
}

//消费者2
consumer2(){
	while(1){
		P(product2);
		P(mutex);
		消费产品2;
		V(mutex);
		V(empty);
	}
}

注意：由于缓冲区大小为1，本问题可以不设置互斥信号量，当缓冲区大于等于2时，需要设置互斥信号量。