问题描述

问题分析

同步关系：

• 对于消费者，缓冲区必须有内容。
• 对于生产者，缓冲区必须不满。
  互质关系：
• 临界资源的访问必须互质。

代码实现

sem mutex = 1;
sem empty = 0;
sem full = 5;

void producer() {
	while (1) {
		P(full);
		P(mutex);
		...
		V(mutex);
		V(empty);
	}
}

void consumer() {
	while (1) {
		P(empty);
		P(mutex);
		...
		V(mutex);
		V(full);
	}
}