【经典进程同步问题】生产者-消费者问题

问题描述

生产者消费者问题（英语：Producer-consumer problem），也称有限缓冲问题（英语：Bounded-buffer problem），是一个多线程同步问题的经典案例。该问题描述了两个共享固定大小缓冲区的线程——即所谓的“生产者”和“消费者”——在实际运行时会发生的问题。生产者的主要作用是生成一定量的数据放到缓冲区中，然后重复此过程。与此同时，消费者也在缓冲区消耗这些数据。该问题的关键就是要保证生产者不会在缓冲区满时加入数据，消费者也不会在缓冲区中空时消耗数据。

问题分析

1. 互斥访问。即缓冲区不能拿同时读和写，要么生产者生产一个数据放入缓冲区，要么消费者从缓冲区取走一个数据，这两件事情不能同时发生。

   互斥访问通过mutex信号量实现。

2. 进程同步。只有缓冲区有空间的时候生产者才能生产数据并放入其中，只有缓冲区有数据的时候消费者才能取走数据。

   • 缓冲区有空间(empty)的时候生产者才能生产数据并放入其中：wait(empty);
   • 只有缓冲区有数据(full)的时候消费者才能取走数据:wait(full);

伪代码实现

semaphore mutex=1, full=1, empty=1;
//empty代表空闲的缓冲区信号量，此处以1为例，即缓冲区大小为1
void producer(){
	wait(empty);
	wait(mutex);
	//product
	signal(mutex);
	signal(full);
}
void consumer(){
	wait(full);
	wait(mutex);
	//consume
	signal(mutex);
	signal(empty);
}