ipcproblem分析和总结分析和总结.docx

1.Considerthefollowingproducerandconsumercode.Isthecodecorrect?Ifyes,explainwhatishappeningineachlineofthecode.Ifno,specify:whatiswrong,whichlineiswrongandwhyitiswrong.Thenumberattheverybeginningofeachlineisthelinenumber.

typedefintsemaphore;

semaphoremutex=1;

semaphoreempty=N;

semaphorefull=0;5.

voidproducer(void)

{intitem;8.

while(TRUE){

item=produce_item();

down(mutex);

insert_item(item);

down(empty);

up(full);

15. }

16.}

voidconsumer(void)

{intitem;19.

while(TRUE){

down(mutex);

item=remove_item();

down(full);

up(empty);

consume_item(item):

26. }

27.}

Showhowcountingsemaphores(i.e.,semaphoresthatcanholdanarbitraryvalue)canbeimplementedusingonlybinarysemaphoresandordinarymachineinstructions.Youmayuseapseudo-codetoshowtheimplementation.

Note:Abusy-waitingimplementationisacceptable.Thereisnoneedtoimplementablock/wakeupcountingsemaphore.

Supposeyouneedtowriteasimpleprogramfortransferringmoneyfromoneaccounttoanother.Thisprogrammaybeusedbymultiplepeopletotransfermoney.Thereisnorestrictiononwhichaccountyoucannottransferfromorwhichaccountyoucannottransferto.

Isthefollowingimplementationcorrect? Ifcorrect,explainindetailwhyitisthecase.Iftheimplementationisnotcorrect,pointoutallpossibleproblems,andprovideacorrectsolution(Inyoursolution,youcanintroducenewglobalvariables,semaphoresornewmembermethodsoftheaccountclass).

Theaccountclassalreadyprovidesalockmethodtoguaranteeonly1processcanaccessthisaccountobjectatanytime.Theamountmethodwillreportthetotalamountinthisaccountobject.Italsoprovidesmethodstodosubtractionandaddition.

TransferMoney(account1,account2,amount)

{

/*acount1andaccount2areparameters.Theparticularvalueswillbegivenwhenthisprocedureiscalled.*/

account1.lock();

if(account.amount()amount){