操作系统03——生产者消费者线程同步问题实验

主要任务
采用条件变量和互斥锁实现生产者消费者线程同步

一、生产者消费者问题

生产者进程生产产品，将产品提供给消费者进程消费。
在两者之间设置有缓冲区，生产者将产品放入缓冲区，消费者从缓冲区中取走产品。
两者之间需要保持同步，消费者不可以从空的缓冲区中取产品，生产者进程也不可以向已经装满产品的缓冲区投放产品。

二、问题分析

可以用一个数组buffer[n]来表示大小为n的缓冲区。
每当投入一个产品时，buffer中的数组单元指针in加1
每当取出一个产品时，buffer中的数组单元指针out加1

由于buffer缓冲区被组织成为循环的，应把输入指针in（out）加一表示成为in=(in+1)%n(out=(out+1)%n)
此外引入整型变量count，初始值为0，投入产品+1，取走产品-1

生产者和消费者共享这些变量
int in=0,out=0,count=0; item buffer[n];

• 生产者

void producer(){
   
while(1){
   
	produce an item in nextp;//nextp存放产生的产品
	...
	while(counter==n)
	;
	buffer[in]=nextp;
	in=in(in+1)%n;
	counter++;
	}
};

• 消费者

void consumer()
{
   
	while(1){
   
		while(counter==0)
		;
		nextc=buffer[out];
		out=(out+1)%n;
		counter--;
		consumer the item in nextc;
		...
	}