生产者与消费者实验报告.doc

生产者和消费者实验报告【实验目的】1. 加深对进程概念的理解，明确进程和程序的区别。2. 进一步认识并发执行的实质。3. 验证用信号量机制实现进程互斥的方法。4. 验证用信号量机制实现进程同步的方法。【实验要求】用c语言编程搭建“生产者和消费者”经典进程通信问题的环境。要求程序运行时，按任意键停止，显示当前系统的各个参数的值。提交实验报告，以及相关程序列表。打包成附件上传。【实验环境】Visual C6.0【实验内容】1.了解经典同步问题“生产者和消费者”生产者与消费者可以通过一个环形缓冲池联系起来，环形缓冲池由几个大小相等的缓冲块组成，每个缓冲块容纳一个产品。每个生产者可不断地每次往缓冲池中送一个生产产品，而每个消费者则可不断地每次从缓冲池中取出一个产品。指针i和指针j分别指出当前的第一个空缓冲块和第一个满缓冲块。2.分析和理解(1)既存在合作同步问题，也存在临界区互斥问题合作同步当缓冲池全满时，表示供过于求，生产者必须等待，同时唤醒消费者；当缓冲池全空时，表示供不应求，消费者应等待，同时唤醒生产者。互斥缓冲池显然是临界资源，所在生产者与消费都要使用它，而且都要改变它的状态。(2)基于环形缓冲区的生产者与消费者关系形式描述公用信号量mutex初值为1，用于实现临界区互斥生产者私用信号量empty初值为n，指示空缓冲块数目消费者私用信号量full初值为0，指示满缓冲块数目整型量i和j初值为0，i指示首空缓冲块序号，j指示首满缓冲块序号(3)PV原语var mutex,empty,fullsemaphore;i,jinteger;bufferarray0.n-1 of item;ij1;Procedure producer;beginwhile true dobeginproduce a product;Pempty;Pmutex;bufferiproduct;ii1 mod n;Vmutex;Vfull;end;end;Procedure consumer;beginPfull;Pmutex;goodsbufferj;jj1 mod n;Vmutex;Vempty;consume a product;end;end;【实验源程序代码】include windows.hinclude iostreamconst unsigned short SIZE_OF_BUFFER 10; 缓冲区长度unsigned short ProductID 0; 产品号unsigned short ConsumeID 0; 将被消耗的产品号unsigned short in 0; 产品进缓冲区时的缓冲区下标unsigned short out 0; 产品出缓冲区时的缓冲区下标int g_bufferSIZE_OF_BUFFER; 缓冲区是个循环队列bool g_continue true; 控制程序结束HANDLE g_hMutex; 用于线程间的互斥HANDLE g_hFullSemaphore; 当缓冲区满时迫使生产者等待HANDLE g_hEmptySemaphore; 当缓冲区空时迫使消费者等待DWORD WINAPI ProducerLPVOID; 生产者线程DWORD WINAPI ConsumerLPVOID; 消费者线程int main 创建各个互斥信号 g_hMutex CreateMutexNULL,FALSE,NULL; g_hFullSemaphore CreateSemaphoreNULL,SIZE_OF_BUFFER-1,SIZE_OF_BUFFER-1,NULL; g_hEmptySemaphore CreateSemaphoreNULL,0,SIZE_OF_BUFFER-1,NULL; 调整下面的数值，可以发现，当生产者个数多于消费者个数时， 生产速度快，生产者经常等待消费者；反之，消费者经常等待 const unsigned short PRODUCERS_COUNT 3; 生产者的个数 const unsigned short CONSUMERS_COUNT 1; 消费者的个数 总的线程数 const unsigned short THREADS_COUNT PRODUCERS_COUNTCONSUMERS_COUNT; HANDLE hThreadsPRODUCERS_COUNT; 各线程的handle DWORD producerIDCONSUMERS_COUNT; 生产者线程的标识符 DWORD consumerIDTHREADS_COUNT; 消费者线程的标识符 创建生产者线程 for int i0;iPRODUCERS_COUNT;i hThreadsiCreateThreadNULL,0,Producer,NULL,0,producerIDi; if hThreadsiNULL return -1; 创建消费者线程 for i0;iCONSUMERS_COUNT;i hThreadsPRODUCERS_COUNTiCreateThreadNULL,0,Consumer,NULL,0,consumerIDi; if hThreadsiNULL return -1; whileg_continue ifgetchar 按回车后终止程序运行 g_continue false; return 0;生产一个产品。简单模拟了一下，仅输出新产品的ID号void Produce stdcerr Producing ProductID . Succeed stdendl;把新生产的产品放入缓冲区void Append stdcerr Appending a product . in in1SIZE_OF_BUFFER; stdcerr Succeed stdendl; 输出缓冲区当前的状态 for int i0;iSIZE_OF_BUFFER;i stdcout i g_bufferi; if iin stdcout 生产 消费 stdendl; 从缓冲区中取出一个产品void Take stdcerr Taking a product . out out1SIZE_OF_BUFFER; stdcerr Succeed stdendl; 输出缓冲区当前的状态 for int i0;iSIZE_OF_BUFFER;i stdcout i g_bufferi; if iin stdcout 生产 消费 stdendl; 消耗一个产品void Consume stdcerr Consuming ConsumeID . Succeed stdendl;生产者DWORD WINAPI ProducerLPVOID lpPara whileg_continue WaitForSingleObjectg_hFullSemaphore,INFINITE; WaitForSingleObjectg_hMutex,INFINITE; Produce; Append; Sleep1500; ReleaseMutexg_hMutex; ReleaseSemaphoreg_hEmptySemaphore,1,NULL; return 0;消费者DWORD WINAPI ConsumerLPVOID lpPara whileg_continue WaitForSingleObjectg_hEmptySemaphore,INFINITE; WaitForSingleObjectg_hMutex,INFINITE; Take; Consume; Sleep1500; ReleaseMutexg_hMutex; ReleaseSemaphoreg_hFullSemaphore,1,NULL; return 0;【实验结果】具体程序见附件(网络查找)【实验反思】本次实验是关于生产者和消费者之间互斥和同步的问题。问题的实质是P,V操作，实验设一个共享缓冲区，生产者和消费者互斥的使用，当一个线程使用缓冲区的时候，另一个让其等待知道前一个线程释放缓冲区为止。 通过本次实验，我们对操作系统的P,V进一步的认识，深入的了解P,V操作的实质和其重要性。课本的理论知识进一步阐述了现实的实际问题。 【实验思考题】1.思考在“生产者和消费者”经典同步问题中，两个P操作是否可以互换位置，以及两个V操作是否可以互换位置。在生产者消费者问题中，如果将两个P操作，即Pfull和Pmutex互换位置，或者Pempty和Pmutex互换位置，都可能引起死锁。考虑系统中缓冲区全满前时，若一生产者进程先执行了Pmutex操作并获得成功，当再执行Pempty操作时，它将因失败而进入阻塞状态，它期待消费者执行Vempty来唤醒自己。在此之前，它不可能执行Vmutex操作，从而使企图通过Pmutex进入自己的临界区的其他生产者和所有的消费者进程全部进入阻塞状态，从而引起系统死锁。类似地，消费者进程若先执行Pmutex，后执行Pfull，同样可能造成死锁。Vfull和Vmutex互换位置，或者Vempty和Vmutcx互换位置，则不会引起死锁，其影响只是使临界资源的释放略为推迟一些。2.思考在“哲学家就餐”经典同步问题中，如何修改程序，可以保证不会发生死锁现象。(1)至多只允许有四位哲学家同时去拿左边的筷子，最终能保证至少有一位哲学家能够进餐，并在用毕时能释放出他用过的两只筷子，从而使更多的哲学家能够进餐。(2)仅当哲学家的左、右两只筷子均可用时，才允许他拿起筷子进餐。(3)规定奇数号哲学家先拿他左边的筷子，然后再去拿右边的筷子，而偶数号哲学家则相反。按此规定，将是1、2号哲学家竞争1号筷子；3、4号哲学家竞争3号筷子。即五位哲学家都先竞争奇数号筷子，获得后，再去竞争偶数号筷子，最后总会有一位哲学家能获得两只筷子而进餐。5. 思考在“读者与写者”经典同步问题中，如何修改程序，变为“写者优先”的算法。(写者优先的算法)var rmutex,wmutex,mutex,ssemaphore1,1,1,1;writecountinteger0;readerbeginrepeatwaits;waitrmutex;if readcount0 then waitwmutex;readcountreadcount1;signalrmutex;signals;per read operation;waitrmutex;readcountreadcount-1;if readcount0 then signalwmutex;signalrmutex;until false ;endwriterbeginrepeatwaitmutex;if writecount0 then waits;writecountwritecount1;signalmutex;waitwmutex;per write operation;signalwmutex;waitmutex;writecountwritecount-1;if writecount0 then signals;signalmutex;until false ;end4. 分析以下进程运行环境中出现的同步和互斥现象，列出相应的变量和参数。理发店理有一位理发师、一把理发椅和n把供等候理发的顾客坐的椅子。如果没有顾客，理发师便在理发椅上睡觉。一个顾客到来时，它必须叫醒理发师。如果理发师正在理发时又有顾客来到，则如果有空椅子可坐，就坐下来等待，否则就离开。 理发师是顾客争用的资源，用信号量barbers表示，初值为0；除此以外，顾客还要争用n张椅子，信号量customers表示等候理发的顾客数，初值为0；最后设置信号量mutex用于这两个活动对资源barbers、customers的互斥，初值为1。另外还需使用一个变量waiter,用于记录等候的顾客的数量。