操作系統(tǒng)實(shí)踐

1、武謹(jǐn)歡制多複頭驗(yàn)報(bào)告學(xué)院：計(jì)算機(jī)科學(xué)學(xué)院專業(yè):軟件工程2018年4月20日姓名苗琪學(xué)號2016040121078班級2班指導(dǎo)老師李瓊課程名稱操作系統(tǒng)實(shí)踐成績實(shí)驗(yàn)名稱進(jìn)程同步與互斥的模擬與實(shí)現(xiàn)1實(shí)驗(yàn)?zāi)康哪康模赫莆哲浖椒ê托盘枱舴椒ń鉀Q進(jìn)程的同步與互斥問題。重點(diǎn)：進(jìn)程的互斥、進(jìn)程的同步、鎖、PV信號燈。難點(diǎn)：進(jìn)程同步與互斥的實(shí)現(xiàn)。實(shí)驗(yàn)內(nèi)容請使用PV信號燈方法解決并實(shí)現(xiàn)生產(chǎn)者一消費(fèi)者問題。實(shí)驗(yàn)環(huán)境硬件環(huán)境：PC機(jī)軟件環(huán)境：Windows操作系統(tǒng)，用JAVA語言實(shí)現(xiàn)；或Linux操作系統(tǒng)，用C語言實(shí)現(xiàn)。實(shí)驗(yàn)方法和步驟(含設(shè)計(jì))要求：有問題分析過程，算法(用偽代碼描述)，流程圖,源代碼等。問題的描述如

2、下：假設(shè)一組生產(chǎn)者進(jìn)程卩，卩2,，P和一組消費(fèi)者進(jìn)程c,c,，C,通過n個(gè)緩沖區(qū)組成緩沖池，共同完成“生產(chǎn)和消費(fèi)”任務(wù)。每個(gè)緩沖區(qū)存放一個(gè)消息，生產(chǎn)者將生產(chǎn)出的消息放入空緩沖區(qū)，消費(fèi)者從滿緩沖區(qū)中取出消息。當(dāng)所有緩沖區(qū)均滿時(shí)，生產(chǎn)者必須等待消費(fèi)者提供空緩沖區(qū)；當(dāng)緩沖池中所有緩沖區(qū)全為空時(shí)，消費(fèi)者必須等待生產(chǎn)者提供有消息緩沖區(qū)。另外，對所有生產(chǎn)者和消費(fèi)者進(jìn)程來說，把緩沖池看成一個(gè)整體，因此緩沖池是臨界資源，即任何一個(gè)進(jìn)程在對池中某個(gè)緩沖區(qū)進(jìn)行“存”或“取”操作時(shí)須和其他進(jìn)程互斥執(zhí)行。用信號量機(jī)制來解決這種問題，首先定義下列公共信號量。信號量mutex。初值為1,用于控制互斥訪問緩沖池。信號量fu

3、ll。初值為0用于計(jì)數(shù)。full值表示當(dāng)前緩沖池中“滿”緩沖區(qū)數(shù)。信號量empty。初值為n,用于計(jì)數(shù)。Empty值表示當(dāng)前緩沖池中“空”緩沖區(qū)數(shù)。有限緩沖區(qū)生產(chǎn)者/消費(fèi)者進(jìn)程描述如下：typedefstruet/消息類型/緩沖類型/信號量/消息變量/設(shè)置信號量初值item;typedefstruetstruetiteminst;struetbuffer*next;buffer;semaphorefull,empty,mutex;struetitemnextp,nextc;full=0;empty二n;mutex=1;生產(chǎn)進(jìn)程代碼框架如下:doprodueeaniteminnextpP(emp

4、ty);P(mutex);/獲得一個(gè)空緩沖區(qū)/將nextp數(shù)據(jù)復(fù)制到空緩沖區(qū)/將緩沖區(qū)加入滿緩沖區(qū)隊(duì)列V(full);V(mutex);while(1);消費(fèi)者進(jìn)程代碼框架如下：doP(full);P(mutex);/獲得一個(gè)滿緩沖區(qū)/將滿緩沖區(qū)數(shù)據(jù)復(fù)制到nextc/將緩沖區(qū)還回空緩沖隊(duì)列V(empty);V(mutex);consumetheiteminnextcwhile(1);流程圖如下：源代碼如下：#include#includeconstunsignedshortSIZE_0F_BUFFER=10;/thelengthofbufferunsignedshortbufferSIZE_O

5、F_BUFFER二0;/createspaceforbufferunsignedshortin=0;/thepositionenteringthespaceunsignedshortout=0;positionleavingthespaceunsignedshortProduct_ID=0;from1to10,notforcount/the/theIDofmarkofmarkofproduct,unsignedshortConsume_ID=0;product_IDinthebuffer/theIDofconsumeunsignedintproduce_sum=0;/thetotalprodu

6、cenumberunsignedintconsume_sum=0;/thetotalconsumenumberHANDLEmutex;/themutexbetweenthreadsHANDLEFull_Semaphore;/theresourcesemaphore:bufferisfullHANDLEEmptySemaphore;/theresourcesemaphore:bufferisemptyconstunsignedshortp_count=20;/thenumberofproduceonetimeconstunsignedshortc_count=6;/thenumberofcons

7、umeronetimeconstunsignedshorts_count二p_count+c_count;/thesumnumberofthreadsHANDLEthreadss_count;/thehandleofeverythreadDWORDProducer_IDp_count;/themarkofproducerthreadDWORDConsumer_IDc_count;/themarkofconsumerthreadunsignedshortcontrol=1;/controltheprogramrunorstopDWORDWINAPIproducer(LPVOID);/thepro

8、ducerthreadDWORDWINAPIconsumer(LPVOID);/theconsumerthreadvoidproduce();voidconsume();voidCreate_P_Threads();/createproducerthreadvoidCreate_C_Threads();/createconsumerthreadvoidProduct_Sum();/printthetotalofremainproductnumberandprintthebuffervoidinfo();/infovoidProduct_Sum()inti，sum=0;for(i=O;iSIZE

9、_OF_BUFFER;i+)if(bufferi!=0)sum+;std:coutsum.7for(i=0;iSIZE_OF_BUFFER;i+)std:coutbufferi;printf(n);voidproduce()Iinti;std:cout=10)ProductID=0;Product_ID+;produce_sum+;bufferin二Product_ID;printf(“buffer%d=%d,in,Product_ID);in=(in+l)%SIZE_OF_BUFFER;Product_Sum();voidconsume()inti;std:coutconsume;consu

10、me_sum+;Consume_ID=bufferout;printf(“buffer%d=%d,out,Consume_ID);bufferout=0;out=(out+l)%SIZE_OF_BUFFER;Product_Sum();DWORDWINAPIproducer(LPVOID)while(control)WaitForSingleObject(Full_Semaphore,INFINITE);operationWaitForSingleObject(mutex,INFINITE);operationproduce();Sleep(lOOO);ReleaseMutex(mutex);

11、operationReleaseSemaphore(Empty_Semaphore,l,NULL);operationreturn0;DWORDWINAPIconsumer(LPVOID)while(control)WaitForSingleObject(Empty_Semaphore,INFINITE);WaitForSingleObject(mutex,INFINITE);consume();Sleep(lOOO);ReleaseMutex(mutex);/producerthread/resourcesemaphoreP/themutexP/resourcesemaphoreP/them

12、utexP/consumerthreadReleaseSemaphore(FullSemaphore,l,NULL);return0;voidCreate_P_Threads()/createproducerthreadfor(inti=0;ip_count;i+)threadsi=CreateThread(NULL,O,producer,NULL,0,&Producer_IDi);if(threadsi二二NULL)control=0;voidCreate_C_Threads()for(inti二p_count;is_count;i+)threadsi=CreateThread(NULL,0

13、,consumer,NULL,0,&Consumer_IDi-p_count);if(threadsi二二NULL)control=0;voidinfo()std:coutnstd:endl;std:cout*Ididrefertotheprogramontheweb.std:endl;std:cout*andIsimplifysomethingsandmakeitmorepowful!std:endl;std:cout*Butitisreallyawordawordknockedoutbymebasedonunderstandingnstd:endl;std:coutproduce/cons

14、umeremain_totalbuffer_state(from0to9)std:endl;intmain()info();mutex=CreateMutex(NULL,FALSE,NULL);Full_Semaphore二CreateSemaphore(NULL,SIZE_OF_BUFFER,SIZE_OF_BUFFER,NULL);Empty.Semaphore二CreateSemaphore(NULL,0,SIZE_0F_BUFFER,NULL);Create_P_Threads();Create_C_Threads();while(control)if(getchar()020000s

15、td:coutstd:endl;std:coutthetotalproduceproductnumberisproduce_sumstd:endl;std:coutthetotalconsumeproductnumberisconsume_sumstd:endl;control=0;return0;程序及測試結(jié)果要求：多次測試，附測試步驟及截圖、測試結(jié)果截圖等。59)10020000101010*1didrefertothepro呂antheweb=tnHc+*+*andI5im：difysojobthitigs?uidmak日itnormpful!*ButitistesLIyawaTdawe

16、irdknockedoutbymebasedmundaTstsnding3E:Micro5oftVi-suaIS5jdioCctnmonMSDe9BEinDebug1.exethetotalproduceproductnuniheris10th日wdnsumsproductnumb曰匸is3E:Micro5oftVisuaISrjdioVCcmmonMSOrvBBXBinXDebugXI.eweXX000-0000397828oo_uooo77?6777000006666566600005555545550004444443444OOOOOQOOpraducs/cqusuiihr&mLJi_t

17、DtalproducebuffEr0-11producebuffer1=22producebufferZ=33jxrciduesbuffer3-44：producebuffer4z55producebufferS=65prcidu匚曰buffer6.1=7praijcebufler7=83producebufferE=99producebuffer91=1010gnsunebuffer0-19conLuiELuffer1=22consumebuffer2=3bufier101212121212121200333333223300000o0noogs9g9producebufler6=7prod

18、ucebuffer7=8producebuffer81=9foraducabuffer9.1=10gnsunebufferC1=1COH3UnEbuffer1=2conGunebuffer2-3cdhsluibbuffer3=4consiinBbufler4=5ccihsuiiebufferB-6consunebuffer6-7producebuffer0.1=1gnsunebuffer7=Sproducebuffer1=2fconGunebuffer8-9praducsbuffer2.1=3prai.ic9bufler3=4fecinsunEbuffer9=10producebuffer41=5producebuffer5=6producebuffer6=7ImzinsuiTEbuffer0=1producebijffer7-BIconsluibbuffer1