生产者和消费者实验报告
实验目的】
加深对进程概念的理解,明确进程和程序的区别
进一步认识并发执行的实质。
验证用信号量机制实现进程互斥的方法。
验证用信号量机制实现进程同步的方法。
【实验要求】
用 c 语言编程搭建“生产者和消费者”经典进程通信问题的环境。要求程序运 行时,按任意键停止,显示当前系统的各个参数的值。提交实验报告,以及相关 程序列表。打包成附件上传。
【实验环境】
Visual C++
【实验内容】
1.了解经典同步问题“生产者和消费者” 生产者与消费者可以通过一个环形缓冲池联系起来, 环形缓冲池由几个大小 相等的缓冲块组成, 每个缓冲块容纳一个产品。 每个生产者可不断地每次往缓冲 池中送一个生产产品,而每个消费者则可不断地每次从缓冲池中取出一个产品。 指针 i 和指针 j 分别指出当前的第一个空缓冲块和第一个满缓冲块。
2.分析和理解
(1)既存在合作同步问题,也存在临界区互斥问题 合作同步:当缓冲池全满时,表示供过于求,生产者必须等待,同时唤醒消 费者;当缓冲池全空时,表示供不应求,消费者应等待,同时唤醒生产者。
互斥:缓冲池显然是临界资源, 所在生产者与消费都要使用它, 而且都要改 变它的状态。
(2)基于环形缓冲区的生产者与消费者关系形式描述:
公用信号量mutex:初值为1用于实现临界区互斥
生产者私用信号量empty:初值为n,指示空缓冲块数目
消费者私用信号量full:初值为0,指示满缓冲块数目
整型量i和j初值为0, i指示首空缓冲块序号,j指示首满缓冲块序号
(3)PV原语
var mutex,empty,full:semaphore;
i,j:integer;buffer:array[0...n-1] of item;
i:=j:=1;
Procedure producer;
begin
while true do
begin
produce a product;
P(empty);
P(mutex); buffer(i):=product; i:=(i+1) mod n;
V(mutex);
V(full); end; end;
Procedure consumer; begin
P(full);
P(mutex); goods:=buffer(j); j:=(j+1) mod n;
V(mutex);
V(empty); consume a product; end;
end;
【实验源程序代码】
#include <>
#include
const unsigned short SIZE_OF_BUFFER = 10;. " std::cerr << "Succeed" << std::endl;
}
? J
g_buffer[in] = ProductID; in = (in+1)%SIZE_OF_BUFFER; std::cerr << "Succeed" << std::endl;
ConsumeID = g_buffer[out];
out = (out+1)%SIZE_OF_BUFFER; std::cerr << "Succeed" << std::endl;
? J
std::cerr << "Succeed" << std::endl; }
2: 0 < —1: 2Ppodue ing Appending2 ??? Succeed a. pi*o due t ? ? ?消费生产Succeed9: 08: 07: 06 : 0三-口)C004三4I
2: 0 < —
1: 2
Ppodue ing Appending
2 ??? Succeed a. pi*o due t ? ? ?
消费
生产
Succeed
9: 0
8: 0
7: 0
6 : 0
三
-口)C
0
0
4
三
4
I Ppoduc inef 1 ... Succeed
I Appending* a product ??? Succeed 0
1 J fl
0
0
0
0
0
0
0
Produe in^ 3 ... Succeed Appending a pi*oduct . . . Succeed 0= 1
1: 2
2: 3亠
3: 0
4; 0
5: 0
6 : 0
7: 0
8: 0
9: 0
考在“生产者和消费者”经典同步问题中,两个P操作是否可以互换位置,以
及两个V操作是否可以互换位置。
在生产者一消费者问题中,如果将两个P操作,即P(full)和P(mutex)互换位置, 或者P(empty)和P(mutex)互换位置,都可能引起死锁。考虑系统中缓冲区全满前 时,若一生产者进程先执行了 P(mutex)操作并获得成功,当再