操作系统-线程并发 经典问题回顾

一、生产者-消费者问题

问题描述：一群生产者+一群消费者+N个缓冲区

消费者从一个满缓冲区中获取文件，生产者将一个空缓冲区变为满缓冲区

如何设计并发使得其可以并发兼容？

 

问题思考：

Q：需要哪些标示量？

A：首先，获取整体的缓冲区，需要一个item类型的数组buffer

buffer : array[1...n-1] of item

输入指针 IN 标示生产者生产的顺序 （此处注意需要进行取模操作，即 

in := (in + 1) mod N

输出指针 OUT 标示消费者消费的顺序（同理取模

out := (out + 1) mod N

 另外需要两个指针，NEXTP、NEXTC 用以暂存生产数据和消费数据

 

Q：信号量设计原则？

A：首先是资源信号量的设计，空缓冲区和满缓冲区均为资源，空设置为EMPTY，满设置为FULL，需要使用原语操作(WAIT/SIGNAL)进行操作。

即，WAIT(EMPTY)标示请求和检查是否有空缓冲区，WAIT(FULL)标示请求和检查是否有满缓冲区，EMPTY初始为N，FULL初始为0;

冲突信号量，由于同时进行取和存会有冲突，因此设置一个Mutex作为互斥信号量，初始化为1，即同一时刻只能进行一个操作。

 

伪代码（类Pascal）

主程序：

var buffer: array[0...n-1] of item;
in, out : integer := 0, 0;
mutex, empty, full : semphore := 1, n, 0;
begin
parbegin

producer1,2,3...
consumer1,2,3...

parend
end

Producer:

Producer1:
var nextp : item;
begin
repeat

PRODUCE AN ITEM IN NEXTP;

//
wait(empty);
wait(mutex);
//
buffer[in] := nextp;
in := (in + 1) % n;
//
signal(mutex);
signal(full);
//
until false
end

Consumer:

Consumer1:
var nextc : item;
begin
repeat

CONSUME AN ITEM AS NEXTC;
//
wait(full);
wait(mutex);
//
NEXTC = buffer[out];
out = (out + 1) mod n;
//
signal(mutex);
signal(empty);
//
until false
end