《生产者和消费者问题实验报告.docx》由会员分享，可在线阅读，更多相关《生产者和消费者问题实验报告.docx（12页珍藏版）》请在第壹文秘上搜索。
1、实验报告课程名称：操作系统实验名称：生产者和消费者问题学号：学生姓名：班级：指导教师：评分：实验日期：2012年10月22日1、实验目的：掌握基本的同步互斥算法，理解生产者和消费者模型。了解windows2000/XP中多线程的并发执行机制，线程间的同步和互斥。学习使用windows2000/XP中基本的同步对象，掌握相应的APL2、实验要求(1)创建生产和消费线程在WindOWS2000环境下，创建一个控制台程序，在此进程中创建n个线程来模拟生产者或消费者。这些线程的信息由我们在本程序定义的“测试用例文件”中予以制定。该文件的格式如下：31 P32 P43 C414 P25 C3124(2)
2、生产和消费的规则a.共享缓冲区存在空闲空间时，生产者即可用共享缓冲区。b.只有当所有的消费者需求都被满足以后，该产品所在的共享缓冲区才能被释放，并作为空闲空间允许心的生产者适用。c.每个消费者线程的各个消费需求之间存在先后顺序。d.在每个县城发出读写操作申请、开始读写操作和结束读写操作时分别显示一行提示信息。3、实验环境硬件：CPU：AMDQL64内存：2GB显卡：ATI4570硬盘：日立250G软件：Windows2000XPo开发工具：VC+6.0。4、实验内容1)实现原理a.生产者和消费者模型b.同步对象c.CreateThread的用法功能：本API创建一个在调用进程的地址空间中执行的
3、线程。格式：HANDLECreateThread(LPSECURITY_ATTRIBUTESIpThreadAttributes,DWORDdwStackSize,LPTHREAD_START_ROUTINEIpStartAddress,LPVolDIPParameter,DWORDdWCreationFlags,LPDWORDIpThreadId)；d.CreateMutex的用法功能：本APl产生一个命名的或者匿名的互斥量对象。格式：HANDLECreateMutex(LPSECURITY-ATTRlBuTEsipMutexAttributes,指向安全属性的指针BOOLbInitialO
4、wner,/初始化互斥对象的所有者LPCTSTRlpName/指向互斥对象名的指针)；e. CreateSemaphore的用法功能：本APl创建一个命名的或者匿名的信号量对象。格式：HANDLECreateSemaphore(LPSECURITY_ATTRIBUTESlpSem叩horeAttributes,SDLoNGlInitialCount,/initialcountLONGlMaximumCount,/maximumcountLPCTSTRlpName/objectname)；f. WaitForSingleObject的用法功能：本API使程序处于等待状态，直到信号hHandle出
5、现或者超出规定的等待最长时间，信号量出现指信号量大于或等于1。格式：DWoRDWaitForSingleObject(HANDLEhHandle,DWORDdwMilliseconds)；g. InitializeCriticalSection的用法功能：该函数初始化临界区对象。格式：VOIDInitializeCriticalSection(LPCRITICAL.SECTIONIpCriticalSection)；h. ReleaseMutex的用法功能：用来打开互斥锁，即将互斥量加1,。成功调用则返回0。格式：BOOLReleaseMutex(HANDLEhMutex)；i. EnterC
6、riticalSection的用法：功能：用于等待之的呢过临界区对象的所有权。格式：VOIDEnterCriticalSection(LPCRITICAL_SECTIONIpCnticalSection)；j. LeaveCriticalSection的用法功能：释放指定临界区对象的所有权。格式：VOIDLeaveCriticalSection(LPCRITICAL.SECTIONIpCriticalSection)；2)程序结构MI-I和序结构图3)数据结构(1)用一个整型数组Buffer-Critical来代表缓冲区。不管是生产产品还是对已有产品的消费都需要访问该组缓冲区。(2)在程序中用
7、一个自定义结构Threadlnfo记录一条线程的信息，即将测试用例文件中的一行信息记录下来，用于程序创建相应的生产者或者消费者。由于要创建多个线程，所以程序中使用了一个Threadlnfo结构的数组ThreadInfoo(3)在实现本程序的消费生产模型时，具体地通过如下同步对象实现互斥：一个互斥量h_mutex,以实现生产者在查询和保留缓冲区内的下一个空位置时进行互斥。每一个生产者用一个信号量与其消费者同步，通过设置h_SemaphoreMAXTHREAD_NUM信号量数组实现，该组信号量用于表示相应产品已生产。同时用一个表示空缓冲区数目的信号量emptysemaphore进行类似的同步，指示
8、缓冲区中是否存在空位置，以便开始生产下一个产品。每一个缓冲区用一个同步对象实现该缓冲区上消费者之间的互斥，这通过设置临界区对象数组PJCritiCaIlMAX_BUFFER_NUM实现。4)实现步骤(1)打开VC,选择菜单项文件-新建，选择工程选项卡并建立一个名为R-WPl的Win32consoleApplication工程。(2)在工程中创建源文件R-WPI.ccp：选择菜单项文件-新建，选择文件选项卡并建立一个名为R-WPLCPP的C+SourceFiles文件，进行编译间接，得到R-WPLeXe程序。R.1F1IicrovoftVirualCXftMDa入XeffiIAQ)gJ)*I(G
9、lobaislAJIglobalmember*,3.ia-(S工作区，R_WPT:l-国RjVPlfHes.jSofccMiceHcderFllSReoMCeFilesK-W.pvoidConsune(voilp)QWOROtMlt.for.eMporeR.del4y;il一SeriM一_requestHu;Utn_thread_reqest(MAXTNRCNUH;serial-(Treaseril;_de】W-(0y0R)(Thre4lr)(p)-delIHTt-rER.SEC);*_requestHuR-(Threa41nf)(P).reest;Fer(inti-ziR.reqvestHu
10、nU)n_treiO.retst1-(Thread!iF)(p)-thred.reqvest(1;$10，P(LSl刊)；Fr(l-UR.reqptHuAU*)aeVdprouctn-t-serlil.n_thral_requMlt_for_sefuiphorP-VanFarSinglpObject(b_SMphor(ii_thrpd_reqiiesti)v*-1);IntBuffFrPos-FindBufferPosltlon(-tlM,d.req5ti);FntrCriticlSction(MC-Criticl(BufForPo);prlntfC*CMuwrVbpgintoconsum*V
11、dproductn.，_”rGlQoX(ThrMllnfthrAd_rpquti)1;“(HfInMgrltoqueCchrGqQSti)(BufFrr,CriticalBufFprPo%-1：printf(*ConmrV9Rjphor.1.NULl)：elsrprintF(Consimer%2dFinishconsuRingprouctVn-,_*crial.ii_thread_rc|istLeaveCriticjlSectin(fiFC-Critical(*ufFerPos);：JjnicView（3）打开工程目录下的debug,再打开test.txt,输入实验数据，并保存。Btest-记
12、本本口回国文件）编辑）格式Q）查看9帮助QP341423Ppcpc12345124R_fPJ文件G)MZ)2(X)收就)工具(D隅船Qi)“ Ia3到ri-OCAftcttaisg4SSn6Projectk-3E疝0滋件-1;s新建文件关i9X共享文档我的电麻网上W居1W.!365KB，我的电曲Debur目问区I文件和文件夹任务J创建一个和文件央将这个文件夹发布到口共享此文件夹R.lttI11tCc三nt3TJ-J9S（J后退7/加文f区区，$八。”1|2*。川01*更面建文件实*?】。讣713转到LmOtjtctMKBLmIncreAentULiztk.32SKBFSh收fflVClhruu
13、%bHIgKB5*LmI3IFrccpjldHctd.下叫5448KBrrccrrtMbUC九$06KB*60YroagD&!Dt140KB11x-n裳的X卷共享文档%的电电网上领店（4）最后在进行编译连接。并把实验结果截图保存。5、实验测试及分析:结果分析：1在每个程序中坐须先做P(mutex),后做V(mutex),二者要成对出现。夹在二者中间的代码段就是该进程的临界区。2、对同步信号量full和empty的P,V操作同样必须成对出现，但它们分别位于不同的程序中。3、无论在生产者进程中还是在消费者进程中，两个P操作的次序不能颠倒:应先执行同步信号量的P操作，然后执行互斥信号量的P操作。否则可能造成进程死锁。6、实验心得体会1)在添加test.txt文件时
