Aa!sr|}   0 `  P`P`0P HH $ @d HHHH̀̀̀ff@  d Footnote TableFootnote**.\t.\t/ - :;,.!?/ d%( eTOCHeading1Heading2   8EquationVariableseJ ACfCCCDD#AAAAAA  <$lastpagenum><$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear>J<$hour>:<$minute00> <$ampm> on <$dayname>, <$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear><$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear> <$fullfilename> <$filename> <$paratext[Title]> <$paratext[Heading1]> <$curpagenum> <$marker1> <$marker2> (Continued)+ (Sheet <$tblsheetnum> of <$tblsheetcount>)Heading & Page <$paratext> on page<$pagenum>Pagepage<$pagenum>See Heading & Page%See <$paratext> on page<$pagenum>. Table All7Table<$paranumonly>, <$paratext>, on page<$pagenum>Table Number & Page'Table<$paranumonly> on page<$pagenum>Heading <$paratext>HTML Headings++A335577A<<>>@@A ABBBBB B B BBBBBBBBBB!B#B%B'B)B+B-B/B1B3B5B7B9B;B=B?BABCBEFFBIBKBMBOBQBSBUBWBYB[F3F5B_BaBcBeBgBiBkBmBoBqBsBuBwByB{B}BBBBFwFyBBBBBBBBBBBBBBBBBBBBBBBBBFFBBBBBBBBBBBBBBBFGBBBBBBBBBBBBBBBBBBCCCCC C C CCCCCCCCCC!C#C%C'C)C+C-C/C1C3C5C7C9C;C=C?CACCCECGCICKCMCOCQCSCUCWCYC[C]C_CaCcCeChCjClCnCpCrCtCvCxCzC|C~CCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCGGGCCCCCCCCCE&E(E*D%D'D)D+D-D/D1D3D5D7D9D;D=D?DADH$@D,CCCCC;#$CCC;/;2CD_2.Av4.D@(3.DDDDD D DDDDDDD$DDDDDDDDDDDDDDDDDE,E.E0AS&1.E2E4AAA$E6E8GGGGGGGGGGGGGGGHHHHHH H HHHHHHHHHH H"H$H&H(H*H,H.H0H2H4H6H8H:H<H>H@HBHDHFHHHJHLHNHPHRHTHVHXHZH\H^H`?PHbHdHfHoHqHHHHHIIIIIIIIIdq5+}? DE? FWe }?H D?H FW-e... dAdA! HmRAHmRHRHRFootnote Hr@AHr@HzHz Single LineHA Footnote A  HDA HDHH Double LineHA  Double LineA A HA  Single LineA d5p77HZA! TableFootnotedAdBl dAd', ,~ytoje`[vCFILORU"X[^adgjmpsy| %).1OLIF W,@m }d Ad WaHTML Mapping Table }Hd BHd Wa }Hd BHd Wa }Hd BHd Wa }Hd BHd Wa }H&BH&% FrameMaker PE Source Item }H B H We XML Item }H B H Wa }H&BH& W eInclude Auto# } H&B H& W e Comments }HBH W a }HHB HH W eElement }HB#H %New Web PEPage? }HBH Wa } HB H Wa }H B $H We P:Date Line }HH B#%HH WeP }H B $&H WeN }H B"%'H WeN } H B$&( H Wa }EH B&')EH We P:Reading }HEH B((*HEH WeP }EH B*)+EH WeN }EH B,*,EH WeN } EH B.+- EH Wa }QH B0,.QH WeP:Title }HQH B2-/HQH WeH* }QH B4.0QH WeN }QH B6/1QH WeN } QH B802 QH Wa }]H B:13]H WeP:Body }H]H B<24H]H W eP }]H B>35]H W!eN }]H B@46]H W"eN } ]H BB57 ]H W#a }iH(BD68iH( W$e P:Numbered1 }HiH(BF79HiH(('eLI %e Parent = OL Q&e Depth = 0 }iH(BJ8:iH( W(eN }iH(BL9;iH( W)eY } iH(BN:< iH( W*a }H BP;=H  W+e P:Heading1 }HH BR<>HH  W,eH* }H BT=?H  W-eN }H BV>@H  W.eN } H BX?A H  W/a }H(BZ@BH(  W0e P:Numbered }HH(B\ACHH(( 3eP 1e Parent = OL Q2e Depth = 0 }H(B`BDH(  W4eN }H(BbCEH(  W5eY } H(BdDF H(  W6a }H BfEGH  W7e P:CellBody }HH BhFHHH  W8eP }H BjGIH  W9eN }H BlHJH  W:eN } H BnIK H  W;a }H BpJLH  W<eP:CellHeading }HH BrKMHH  W=eP }H BtLNH  W>eN }H BvMOH  W?eN } H BxNP H  W@a }H BzOQH  WAe P:Footnote }HH B|PRHH  WBeP }H B~QSH  WCeN }H BRTH  WDeN } H BSU H  WEa }H(BTVH( WFe P:Bulleted }HH(BUWHH((IeLI Ge Parent = UL QHe Depth = 0 }H(BVXH( WJeN }H(BWYH( WKeN } H(BXZ H( WLa }H BY[H WMe P:Heading2 }HH BZ\HH WNeH* }H B[]H WOeN }H B\^H WPeN } H B]_ H WQa }HB^`HR% P:HeadingRuPEnIn }HHB_aHH WSeP }HB`bH WTeN }HBacH WUeN } HBbd H WVa }7H Bce7H WWe P:Indented }H7H BdfH7H WXeP }7H Beg7H WYeN }7H Bfh7H WZeN } 7H Bgi 7H W[a }CHBhjCH\% P:TableFootPEnote }HCHBikHCH W]eP }CHBjlCH W^eN }CHBkmCH W_eN } CHBln CH W`a }]H(Bmo]H( Wae P:TableTitle }H]H(BnpH]H((deLI be Parent = OL Qce Depth = 0 }]H(Boq]H( WeeN }]H(Bpr]H( WfeN } ]H(Bqs ]H( Wga }H BrtH Whe P:BodySpaced }HH BsuHH WieP }H BtvH WjeN }H BuwH WkeN } H Bvx H Wla }H BwyH WmeP:Date }HH BxzHH WneP }H By{H WoeN }H Bz|H WpeN } H B{} H Wqa }H(B|~H(r% P:NumberedPESpaced }HH(B}HH((ueP se Parent = OL Qte Depth = 0 }H(B~H( WveN }H(BH( WweY } H(B H( Wxa }H BH WyeP:DateProject }HH BHH WzeP }H BH W{eN }H BH W|eN } H B H W}a }H BH W~e C:BoldItalic }HH B HH WeSTRONG }H B H WeN }H B H WeN } H B H Wa }HB H% C:EquationPE Variables }HHB HH WeEM }HB H WeN }HBH WeN } HC H Wa }H CH We C:Italic }HH CHH W eEM }H CH W eN }H CH W eN } H C  H W a }H C H W eC:Bold }HH CHH WeSTRONG }H CH WeN }H CH WeN } H C H Wa }HCH% X:Heading & PEPage }HHCHH We See Also }HCH WeN }HCH WeN } HC H Wa })H C !)H WeX:Page }H)H C" "H)H We See Also })H C$!#)H WeN })H C&"$)H WeN } )H C(#% )H Wa }5HC*$&5H% X:See HeadPE ing & Page }H5HC,%'H5H We See Also }5HC.&(5H WeN }5HC0')5H WeN } 5HC2(* 5H W a }OH C4)+OH W!e X:Table All }HOH C6*,HOH W"e See Also }OH C8+-OH W#eN }OH C:,.OH W$eN } OH C<-/ OH W%a }[HC>.0[H &% X:Table NumPE ber & Page }H[HC@/1H[H  W'e See Also }[HCB02[H  W(eN }[HCD13[H  W)eN } [HCF24 [H  W*a }uHCH35uH !W+e X:Heading }HuHCJ46HuH!,% USE XREF PEFMT }uHCL57uH !W-eN }uHCN68uH !W.eN } uHCP79 uH !W/a }HCR8:H "W0e P:Header }HHCT9;HH"1%THROW PEAWAY }HCV:<H "W2eN }HCX;=H "W3eN } HCZ<> H "W4a }©H C\=?©H #W5e P:Answer }H©H C^>@H©H #W6eP }©H C`?A©H #W7eN }©H Cb@B©H #W8eN } ©H CdA ©H #W9a }»d Cg:ZF»d C$W:aHTML Options Table }D»d Ci:D»d C$W;a }D»d Ck:D»d C$W<a }D Cm:CGD C%W=eControl }DH Co:FHDH C%W>eValue }H Cq:GIH C%W?e Comments }D6Cs:HJD6 C&W@e Image Format }DH6Cu:IKDH66C&A% 0001IMAGGIF p MACP0001GIEF }H6Cw:JLH6 C&WBa }D Cy:KMD C'WCeBanners }DH C{:LNDH C'WDeN }H C}:MOH C'WEa }DC:NPDC(F% Banner ReferPE ence Frame }DHC:OQDH C(WGe }HC:PRH C(WHa }D(C:QSD((C)I$% Copy Files  Imported by PE Rerefernce }DH(C:RTDH( C)WJe }H(C:SUH( C)WKa }DD(C:TVDD((C*L% Copy Files  Imported by PE Reference }DDH(C:UWDDH( C*WMeN }DH(C:V"DH( C*WNa }Vd C:![Vd C+WOaSystem Macros }?Vd C:?Vd C+WPa }Vd C:Vd C+WQa }f? C:X\f? C,WRe Macro Name }?fH C:[?fH C,WSe Replace With }fH C:^fH C,WTe Comments }r? C:]_r? C-WUe StartOfDoc }?rH C:^?rH C-WVa }rH C:arH C-WWa }~? C:`b~? C.WXe EndOfDoc }?~H C:aR?~H C.WYa }~H C:Rd~H C.WZa }?C:ce?C/[% StartOfSubPEDoc }?HC:dS?H C/W\a }HC:SgH C/W]a }?C:fh?C0^% EndOfSubPEDoc }?HC:gT?H C0W_a }HC:TjH C0W`a }?C:ik?C1a% StartOfFirstPESubDoc }?HC:jU?H C1Wba }HC:UmH C1Wca }?C:ln?C2d% EndOfFirstPESubDoc }?HC:mV?H C2Wea }HC:VpH C2Wfa }?C:oq?C3g% StartOfLastPESubDoc }?HC:pW?H C3Wha }HC:WsH C3Wia } ?C:rt ?C4j% EndOfLastPESubDoc }? HC:sX? H C4Wka } HC:X H C4Wla }H G:_wH C5Gme C:Symbol }H G:vxH C5GneEM }H G:wYH C5GoeN },d C|,d 6WpaCross-Reference Macros }?,d C?,d 6Wqa },d C,d 6Wra }<? Cy}<? 7Wse Macro Name }?<H C|~?<H 7Wte Replace With }<H C}<H 7Wue Comments }H?C~H? 8Wve See Also }?HHC?HH8w% See Also: PE <$paratext> }HHCHH 8Wxa }Vd E%:Vd C+Wye }fH E':\]fH C,WzeHead }rH E):_`rH C-W{e }hd C hd :WaGeneral Macros }?hd C?hd :Wa }hd Chd :Wa }hd Chd :Wa }x? C"x? ;We Macro Name dD  dD! d l dD" di  WBm }d D$ d  <W|aHeadings Table }Hd D& Hd  <W}a }Hd D( Hd  <W~a }HD* H  =WeHeading Level }HHD, HH =%Paragraph ForPEmat }HD. H  =We Comments }HD0 H >W e2 }HHD2 HH  >We Heading1 }HD4 H  >Wa }KH D6 KH  ?We3 }HKH D8 HKH  ?We Heading2 }KH D: KH  ?Wa }WHD< WH  @We1 }HWHD> HWH @W  eTitle }WHD@ WH  @W a }H DH FW.e }? DHD? GW/e EGxRAEGxREPwEPw TableFootnote}?xH C #?xH ;We Replace With }xH C"$xH ;WeHead }xH C#%xH ;We Comments }? C$&? BWa }?H D%'?H BW a }H D&(H BW!a }H D')H BW"a }d D(.d CW#aCharacter Macros HHˆ;"HHˆ+Ge HHˆ;$3HHˆ**l}?d D ?d CW$a }d D d CW%a }? D )/? DW&e Character }?H D.0?H DW'e Replace With }H D/1H DW(e Comments }? D08? EW)e HUV ;.HUV 3Ge HUV ;05+HUV 22l H$ ;1H$ 5Ge H$ ;33H$ 44l HHˆ;4HHˆ_  7  ` Homework #2  `5Due Date : February 1, 2001 Points : 60 A@ y( 10 points ) Number all the forks in the Dining Philosopher's problem and require that each philosopher request 0Lnan even-numbered fork before an odd-numbered fork. Will this allocation strategy prevent deadlock and starva@Gtion? Is it a form of a well-known strategy (named in section 3.9.3)? dw ( 15 points ) Using the definitions given in class, prove that  S  is not a deadlock state does not imply that  S  is a pv@safe state. }DA ( 15 points ) Assume a system has  p  processes and  r  identical units of a reusble resource. If each process can claim 0D@at most  n  units of the resource, show that the system will be deadlock free if, and only if,  r   p ( n 1)+1 [text, @problem 3.7]. Q `)( 20 points ) Prove Theorem 3.6. HHˆ;6HHˆ66 l}?H D19?H EW*e¢ }H D8OH EW+a dDBBdA<@H$ A;>H$ == l H$ A;H$ <WDl=Homework #2 ECS 251 Winter 2001Page  1  HUV A;<@HUV ?? l HUV A;HUV >WElALast modified at 9:40 am on Tuesday, January 16, 2001 HHˆA;>HHˆAA l HHˆA;HHˆ@WFe dD:dCC l dD:d@uB~ytoje`[vCFILORU"X[^adgjmpsy| %).1OLIF }?H D E?H GW0e- }H DDH GW1e }? DKG? HW2e }?H DFH?H HW3e-- }H DG H HW4e }? DNJ? IW5e }?H DIK?H IW6e° }H DJFH IW7e }? DQM? JW8e }?H DLN?H JW9e® }H DMIH JW:e }? D9P? KW;e }?H DOQ?H KW<e© }H DPLH KW=e }~H E+:bc~H C.W>e }HE-:efH C/W?e }HE/:hiH C0W@e }HE1:klH C1WBe }HE3:noH C2WCe }HE5:qrH C3WGe } HE7:tu H C4WHe }H G:xZH C5GIeN }H G:YCH C5GJe }H G:d\H C9GKe C:Subscript }H G:[]H C9GLeEM }H G:\^H C9GMeN }H G:]_H C9GNeN }H G:^vH C9GOe }H G:iaH CLGPe C:Emphasis }H G:`bH CLGQeEM }H G:acH CLGReN }H G:bdH CLGSeN }H G:c[H CLGTe }H G:nfH CMGUe C:Computer }H G:egH CMGVeEM }H G:fhH CMGWeN }H G:giH CMGXeN }H H:h`H CMGYe }H(H:skH( CNGZe P:Romani }H(H:jlH((CN[eLI e Parent = OL Ae Depth = 0 }H(H:kmH( CNG\eN }H(H :lnH( CNG]eN }H(H :meH( CNG^e }H(H :xpH( COG_eP:Roman }H(H:oqH((CO`eLI e Parent = OL Ae Depth = 0 }H(H:prH( COGaeN }H(H:qsH( COGbeN }H(H:rjH( COGce }H H:}uH CPGdeP:Line }H H:tvH CPGeeP }H H:uwH CPGfeN }H H:vxH CPGgeN }H H:woH CPGhe }H(H!:zH( CQGie P:Lettereda }H(H#:y{H((CQjeLI e Parent = OL Ae Depth = 0 }H(H%:z|H( CQGkeN }H(H':{}H( CQGleN }H(H):|tH( CQGme }H(H+:H( CRGne P:Lettered }H(H-:~H((CRoeLI e Parent = OL Ae Depth = 0 }H(H/:H( CRGpeN }H(H1:H( CRGqeN }H(H3:yH( CRGre }HH5:HCSgs% P:CodeComEment }HH7:H CSGteP }HH9:H CSGueN }HH;:H CSGveN }HH=:~H CSGwe }H H? H TGxeP:CodeC }H HA H TGyeP }H HC H TGzeN }H HE H TG{eN }H HG H TG|e }H HIH UG}e P:CodeASM }H HK H UG~eP }H HMH UGeN }H HOH UGeN }H HQH UGe }H HSH VGe P:BodyIndent }H HUH VGeP }H HWH VGeN }H HYH VGeN }H H[ H VGe }H(H]BH( WGe P:Answer1 }H(H_H((WeLI  e Parent = UL Ae Depth = 0 }H(HaH( WG eN }H(HcH( WG eN }H(HeH( WG e dH dHdyy| %).1OLIF dHdB l}DI:$ DCXg% CSS Export E Encoding }HI:!H CXGe }HI: XH CXGe }DI:W#DCYg% Export EnEcoding }HI:"$H CYGe }HI:#H CYGe dLeftd;Rightd ReferenceddHTMLd:HTMLd HeadingsdHTML@@ 9Mapping Table Title. @@ 9Body. L̀Lf@N 9 Numbered N:.< =1>. L̀Lf@N 9 ~Numbered N:.< =1>. @@ 9Footer. f@T 9 TableTitleT:Table : . @@9Mapping Table Cell.  @@ 9Header Double Line. f@ 9 CellFooting. f@ 9 CellHeading. f@ 9 CellBody. @@ 9Mapping Table Cell. @@Mapping Table Cell. @@ Mapping Table Cell. @@ 9Mapping Table Cell.  f@P9TitleBody. f@ 9Body. f@ 9 Answer1ItalicAnswer: . f@NE 9 Numbered1 N:.Numbered. f@ 9Body. L̀Lf@N 9 6Numbered N:.< =1>. f@ 9 BodySpaced. f@ 9. BodySpaced Single Line. f@ 9 Bulleted\t. f@ 9...Date. mf@ 9l. DateProject. @@ 9Header Double Line. f@  $.6.Z.~..CodeC. f@T 9Heading1Body. $f@ 9 Answer. f@ 9 NumberedSpaced. f@ 9.Reading.  f@P9TitleBody. f@$9.Line Single Line. f@ 9CellBody. f@ 9 CellHeading. f@ 9 Footnote. f@T 9Heading2Body. f@T 9 HeadingRunInBody. f@ 9 Indented. f@ 9 TableFootnote. f@T 9 TableTitleT:Table : . f@NE 9 Numbered1 N:.Numbered. $f@L 9$. Lettereda L:.. $f@L 9$. LetteredL:.. L̀Lf@N 9 Numbered N:.< =1>. 6$f@R 96. Romani R:.. 6$f@R 96. RomanR:.. f@ 9 BodyIndent. f@  $.6.Z.u..CodeASM. Hf@ 9H.. CodeComment.  9 99 9  9 ڝ99 9 ڝ9 99Emphasis 9 9  Subscript9EquationVariables   BoldItalic 9Italic 9Bold5 Symbol  ComputerZZThinMediumDoubleThick@ Very Thin HHHHHFormat AH Mapping Table HHHHHFormat BH$$$ Mapping Tableh6þ5HHHHH$XDHH+4?HHH68?HH :B?HHHTCF?HH*0<@HHH@h h h !"h #$%&'Eh ()*+,Qh -./01]h 23456ih( 789:;h  < = > ? @ h( A B C D E h  F G H I J h  K L M N O h  P Q R S T h( UVWXYh Z[\]^h_`abc7h defghChijklm]h(nopqrh stuvwh xyz{|h(}~h h    h  h h h)h  !"#$5h%&'()Oh  *+,-.[h!/ 0 1 2 3 uh "4!5!6!7!8!h!#9":";"<"="©h "W>#?#@#A#B#» %CC$D$E$ $&CF%G%H%6%'CI&J&K& &(CL'M'N'')CO(P(Q(((*CR)S)T)D()YCU*V*W*Vd ,CX+Y++Z+f +-C[,\,,],r ,.C^-_--`-~ -/Ca.b.R.c..0Cd/e/S/f//1Cg0h0T0i002Cj1k1U1l113Cm2n2V2o224Cp3q3W3r3 3Cs4t4X4u4h 9Cv5w5x5Y5Z5,d 7y6z6{6< 68|7}7~7H7888h L5C[9\9]9^9_9hd ;::::x :B ;";#;$; =  <<<<> ====? >>>K >@ ???W? @@@ ;%B&B'B(Bd D)C,C-C CE.D/D0D DK1E8E9E GFFF HF GDGEG IGFHGHHH JHIIJIKI KILJMJNJ EJOKPKQKh M9C`LaLbLcLdLh NLCeMfMgMhMiMh(OMCjNkNlNmNnNh(PNCoOpOqOrOsOh QOCtPuPvPwPxPh(RPCyQzQ{Q|Q}Qh(SQC~RRRRRhTRCSSSSSh UST T T T Th VT UUUUUh WUVVVVVh(#VWWWWWYCX X!X*XC"Y#Y$YComment A AAd@ BlackT!WhiteddARedddGreendd BluedCyandMagentad YellowHeader/Footer $1Header/Footer $1Header/Footer $2Header/Footer $2IndexIndexCommentCommentSubjectSubjectAuthorAuthorGlossaryGlossaryEquationEquation Hypertext Hypertext  Cross-Ref Cross-Ref Conditional TextConditional TextPositionFMPrivatePositionFMPrivateRangeEndFMPrivateRangeEndFMPrivate HTML Macro HTML Macro M.Times.P Times-Roman FrameRoman M.Times.B Times-Bold FrameRoman M.Helvetica.BHelvetica-Bold FrameRoman M.Courier.PCourier FrameRoman M.Times.I Times-Italic FrameRomanM.Helvetica.BIHelvetica-BoldOblique FrameRoman FrameRoman FrameRomanECourier Helvetica4Symbol8Times#Regular#Roman MediumBoldRegular ObliqueItalicO zS[K%BQꜽ%0ӷ!#->iǃow BpQ/G>G+&3:':1٤wrZDݦ_zwH>X_.JcdhC,ڛQtKpG_=lE<K̦U!;7jq<*O'{3rI