Aaʀre  P 0@` @ `@p0p` HH $ @d HHHH̀̀̀ff@  d Footnote TableFootnote**.\t.\t/ - :;,.!?72 cN: dTOCHeading1Heading2   BEquationVariablesP& ;`<<=7=P=i=;B;D;F;H <$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<<>>@@A6;b;d;f;h;j;l;n;p;r;t;v;x;z;|;~;;;;;;;;;;;;;;;;;;;;;L<L>;;;;;;;;;;L`Lb;;;;;;;;;;;;;;;;;;;;LL;;;;;;;;;;<<<<<< < <<<<<<<<LL< <"<$<&<(<*<,<.<0<2<4<6<8<:<<M,M.<@:a.I?;b.ID;c.JS;f.JT;g.J[;c.Jl;b.Jm9 10.IJ94.IK:a.IL;b.Jn:a.IO95.IP:a.IQ;b.Ix97.I_96.I`:a.Ia;b.Iy:a.Iz;b.I~98.I:a.I;b.I;c.I;d.I9 9.I:a.Jo;b.J;f.Jx;c.Jy;d.Jz;e.JJ;g.J9 11.JJJJJJJJJJJJJJJJJKYK[K]K_KaKcKeNNNNNNNNNN!N#N%N'N)N+N-N/N1N3N5N7N9N;N=N?NANCNENGNINKNMNONQNSNUNWNYN[N]N_NaNcNeNgNiNkNmNoNqNsNuNwNyN{N}NNNNNNNNOOOOOOmJ:a.dq5+}? J9? BWVe d;]d;L HmR;MHmRHRHRFootnote Hr@;NHr@HzHz Single LineH;O Footnote ;P  HD;Q HDHH Double LineH;R Double Line;S ;T H;U  Single Line;V HZ;W  TableFootnoted5p77 EGxR;XEGxREPwEPw TableFootnoted;^dEl d;_d'++~ytoje`[vCFILORUX[^adgjmpsy| %).1OLI:!W/@m }d ;ad WaHTML Mapping Table }Hd ;cHd Wa }Hd ;eHd Wa }Hd ;gHd Wa }Hd ;iHd Wa }H&;kH&% FrameMaker PE Source Item }H ;mH We HTML Item }H ;oH Wa }H&;qH& W eInclude Auto# } H&;s H& W e Comments }H;uH W a }HH;w HH W eElement }H;y#H %New Web PEPage? }H;{H Wa } H;} H Wa }H ; $H We P:Date Line }HH ;#%HH WeP }H ;$&H WeN }H ;%'H WeN } H ;&( H Wa }EH ;')EH We P:Reading }HEH ;(*HEH WeP }EH ;)+EH WeN }EH ;*,EH WeN } EH ;+- EH Wa }QH ;,.QH WeP:Title }HQH ;-/HQH WeH* }QH ;.0QH WeN }QH ;/1QH WeN } QH ;02 QH Wa }]H ;13]H WeP:Body }H]H ;24H]H W eP }]H ;35]H W!eN }]H ;46]H W"eN } ]H ;57 ]H W#a }iH(;68iH( W$e P:Numbered1 }HiH(;79HiH(('eLI %e Parent = OL Q&e Depth = 0 }iH(;8:iH( W(eN }iH(;9;iH( W)eY } iH(;:< iH( W*a }H ;;=H  W+e P:Heading1 }HH ;<>HH  W,eH* }H ;=?H  W-eN }H ;>@H  W.eN } H ;?A H  W/a }H(;@BH(  W0e P:Numbered }HH(;ACHH(( 3eP 1e Parent = OL Q2e Depth = 0 }H(;BDH(  W4eN }H(;CEH(  W5eY } H(;DF H(  W6a }H ;EGH  W7e P:CellBody }HH ;FHHH  W8eP }H ;GIH  W9eN }H ;HJH  W:eN } H ;IK H  W;a }H ;JLH  W<eP:CellHeading }HH ;KMHH  W=eP }H ;LNH  W>eN }H ;MOH  W?eN } H ;NP H  W@a }H ;OQH  WAe P:Footnote }HH ;PRHH  WBeP }H ;QSH  WCeN }H ;RTH  WDeN } H ;SU H  WEa }H(;TVH( WFe P:Bulleted }HH(;UWHH((IeLI Ge Parent = UL QHe Depth = 0 }H(;VXH( WJeN }H(;WYH( WKeN } H(;XZ H( WLa }H ;Y[H WMe P:Heading2 }HH ;Z\HH WNeH* }H ;[]H WOeN }H ;\^H WPeN } H ;]_ H WQa }H;^`HR% P:HeadingRuPEnIn }HH;_aHH WSeP }H<`bH WTeN }H<acH WUeN } H<bd H WVa }7H <ce7H WWe P:Indented }H7H < dfH7H WXeP }7H < eg7H WYeN }7H < fh7H WZeN } 7H <gi 7H W[a }CH<hjCH\% P:TableFootPEnote }HCH<ikHCH W]eP }CH<jlCH W^eN }CH<kmCH W_eN } CH<ln CH W`a }]H(<mo]H( Wae P:TableTitle }H]H(<npH]H((deLI be Parent = OL Qce Depth = 0 }]H( H "W4a }©H <=?©H #W5e P:BodyIndent }H©H <>@H©H #W6eP }©H <?A©H #W7eN }©H <@B©H #W8eN } ©H <A ©H #W9a }»d <DZF»d F$W:aHTML Options Table }D»d <DD»d F$W;a }D»d <DD»d F$W<a }D <DCGD F%W=eControl }DH <DFHDH F%W>eValue }H <DGIH F%W?e Comments }D6<DHJD6 F&W@e Image Format }DH6<DIKDH66F&A% 0001IMAGGIF p MACP0001GIEF }H6<DJLH6 F&WBa }D <DKMD F'WCeBanners }DH <DLNDH F'WDeN }H <DMOH F'WEa }D<DNPDF(F% Banner ReferPE ence Frame }DH<DOQDH F(WGe }H<DPRH F(WHa }D(<DQSD((F)I$% Copy Files  Imported by PE Rerefernce }DH(<DRTDH( F)WJe }H(<DSUH( F)WKa }DD(<DTVDD((F*L% Copy Files  Imported by PE Reference }DDH(<DUWDDH( F*WMeN }DH(<DVDH( F*WNa }Vd <D[Vd F+WOaSystem Macros }?Vd <D?Vd F+WPa }Vd <DVd F+WQa }f? <DX\f? F,WRe Macro Name }?fH <D[?fH F,WSe Replace With }fH <D^fH F,WTe Comments }r? =D]_r? F-WUe StartOfDoc }?rH =D^?rH F-WVa }rH =DarH F-WWa }~? =D`b~? F.WXe EndOfDoc }?~H = DaR?~H F.WYa }~H = DRd~H F.WZa }?= Dce?F/[% StartOfSubPEDoc }?H=DdS?H F/W\a }H=DSgH F/W]a }?=Dfh?F0^% EndOfSubPEDoc }?H=DgT?H F0W_a }H=DTjH F0W`a }?=Dik?F1a% StartOfFirstPESubDoc }?H=DjU?H F1Wba }H=DUmH F1Wca }?=Dln?F2d% EndOfFirstPESubDoc }?H=!DmV?H F2Wea }H=#DVpH F2Wfa }?=%Doq?F3g% StartOfLastPESubDoc }?H='DpW?H F3Wha }H=)DWsH F3Wia } ?=+Drt ?F4j% EndOfLastPESubDoc }? H=-DsX? H F4Wka } H=/DXy H F4Wla }H ND_wH F5Gme C:Wingding }H N DvxH F5GneEM }H N DwYH F5GoeN },d =8Du|,d F6WpaCross-Reference Macros }?,d =:D?,d F6Wqa },d =<D,d F6Wra }<? =>Dy}<? F7Wse Macro Name }?<H =@D|~?<H F7Wte Replace With }<H =BD}<H F7Wue Comments }H?=DD~H? F8Wve See Also }?HH=FD?HHF8w% See Also: PE <$paratext> }HH=HDHH F8Wxa }Vd KRDVd F+Wye }fH KTD\]fH F,WzeHead }rH KVD_`rH F-W{e }hd =QD hd F:WaGeneral Macros }?hd =SD?hd F:Wa }hd =UDhd F:Wa }hd =WDhd F:Wa }x? =YD"x? F;We Macro Name d= d= d l d= du  WBm }d = d  <W|aHeadings Table }Hd = Hd  <W}a }Hd = Hd  <W~a }H= H  =WeHeading Level }HH= HH =%Paragraph ForPEmat }H= H  =We Comments }H= H >W e2 }HH= HH  >We Heading1 }H= H  >Wa }KH = KH  ?We3 }HKH = HKH  ?We Heading2 }KH = KH  ?Wa }WH = WH  @We4 }HWH = HWH  @W e Lettereda }WH = WH  @W a }cH= cH  AW e1 }HcH= HcH AW eTitle }cH= cH  AW a }?H J ?H BWYe... }H JH BWZe }? JH8? GW[e }?xH =[D #?xH F;We Replace With }xH =]D"$xH F;W eHead }xH =_D#%xH F;W!e Comments }? =aD$&? FCW"a }?H =cD%'?H FCW#a }H =eD&(H FCW$a }H =gD'H FCW%a }d =j.d DW&aCharacter Macros HHˆ;"HHˆ+Ge HHˆ;$3HHˆ**l}?d =l?d DW'a }d =nd DW(a }? =p)/? EW)e Character }?H =r.0?H EW*e Replace With }H =t/1H EW+e Comments }? =v0B? FW,e HUV ;.HUV 3Ge HUV ;05+HUV 22l H$ ;1H$ 5Ge H$ ;33H$ 44l HHˆ;4HHˆC..7 ` Deadlock 2`Types of resources 3u`serially reusable resource Bt`consumable resource 4OD?` Deadlock `"Approaches to solving the problem 5` avoidance 6s` prevention 7`detection and recovery =*` System model >`;states: process blocked, deadlocked; deadlock, safe states ?wh`Wsystem: resource graph, with resource and process nodes, and request, assignment edges `&operations: request, acquire, release A2` Graph theory B`sinks, isolated nodes C`cycles, reach, knot E]`4Deadlock detection with serially reusable resources F`Graph reduction G`Deadlock Theorem `Cycle Theorem (general) 0`9Continuous deadlock detection: when do you have to look? 1`&Expedient states and the Knot Theorem 8`&Cycle Theorem (Single Unit Resources) 9`)Single unit requests in expedient states DAW`Deadlock recovery H`lowest termination cost first IZD!`minimum cost recovery :`process pre-emption Jr`Deadlock prevention K`$necessary and sufficient conditions Lݵ`collective request method M`pre-emption  N`ordered request method O*~`Deadlock avoidance P`maximum claim graphs ;wH`Bankers algorithm <`Consumable resources @`general properties Q`7known producers, unknown consumers: deadlock detection S`order of reductions T` theorems U` recovery R`$known producers and known consumers W`claim-limited state X4]`General Resource Graph A$`Results HHˆ;6HHˆ66 l}?H J!9?H GW\e- }H J8H GW]e }? JKG? HW^e d;;<@H$ ;<;>H$ == l H$ ;=;H$ <Wl8February 1, 2000ECS 251 Winter 2000Page 1  HUV ;>;<@HUV ?? l HUV ;?;HUV >Wl@Last modified at  5:32 pm on Sunday, January 30, 2000  HHˆ;@;>HHˆAA l HHˆ;A;HHˆ@W` }?H =x1C?H FW-e¢ }H =zBOH FW.a d=~EEd=DdFF l d=Dd." ~(E"~ytoje`[vCFILORUX[^adgjmpsy| % ).1OLI:!}?H J:H?H HW_e-- }H JG!H HW`e }? JNJ? IWae }?H JIK?H IWbe° }H JJ:H IWce }? JQM? JWde }?H JLN?H JWee® }H JMIH JWfe }? JCP? KWge }?H JOQ?H KWhe© }H JPLH KWie }~H KXDbc~H F.Wje }HKZDefH F/Wke }HK\DhiH F0Wle }HK^DklH F1Wme }HK`DnoH F2Wne }HKbDqrH F3Woe } HKdDtu H F4Wpe }H NDxZH F5GqeN }H NDYCH F5Gre }H NDd\H F9Gse C:Symbol }H ND[]H F9GteEM }H ND\^H F9GueN }H ND]_H F9GveN }H ND^vH F9Gwe }H NDiaH FLGxeC:Superscript }H ND`bH FLGyeEM }H N DacH FLGzeN }H N"DbdH FLG{eN }H N$Dc[H FLG|e }H N&DnfH FMG}e C:Subscript }H N(DegH FMG~eEM }H N*DfhH FMGeN }H N,DgiH FMGeN }H N.Dh`H FMGe }H N0DskH FNGe C:Emphasis }H N2DjlH FNGeEM }H N4DkmH FNGeN }H N6DlnH FNGeN }H N8DmeH FNGe }H N:DxpH FOGe C:Computer }H N<DoqH FOGeEM }H N>DprH FOG eN }H N@DqsH FOG eN }H NBDrjH FOG e }H NDD}uH FPG eP:Line }H NFDtvH FPG eP }H NHDuwH FPGeN }H NJDvxH FPGeN }H NLDwoH FPGe }H NNDzH FQGe P:Lettereda }H NPDy{H FQGeH* }H NRDz|H FQGeN }H NTD{}H FQGeN }H NVD|tH FQGe }H(NXDH( FRGe P:Lettered }H(NZD~H((FReLI /e Parent = OL A0e Depth = 0 }H(N\DH( FRGeN }H(N^DH( FRGeN }H(N`DyH( FRGe }H Nb H SGeP:CodeN }H NdH SGeP }H NfH SGeN }H NhH SGeN }H NjH SGe }HNl HTg % P:CodeComEment }HNn H TG!eP }HNp H TG"eN }HNr H TG#eN }HNt H TG$e }H NvH UG%eP:CodeC }H Nx H UG&eP }H NzH UG'eN }H N|H UG(eN }H N~H UG)e }H NBH VG*e P:CodeASM }H NH VG+eP }H NH VG,eN }H NH VG-eN }H N H VG.e dOf dOgdp )  ).1OLI:!dOidE l}DODDFWg1% CSS Export E Encoding }HODH FWG2e }HODXH FWG3e }DODWDFXg4% Export EnEcoding }HODH FXG5e }HODH FXG6e dLeftd;Rightd ReferenceddHTMLdDHTMLd HeadingsdHTML @@ CMapping Table Title. @@ CBody. @@ CMapping Table Cell. @@ CMapping Table Cell. @@ CFooter. f@T C TableTitleT:Table : . Hf@ CH.. CodeComment. f@ CCellBody. f@ CCellBody. @@C Mapping Table Cell. ~f@   ~.....2.V.z...CodeC. f@ C .$.H.l..... .D.h.CodeN. f@ CBody. @@ CHeader Double Line. f@ C CellFooting. f@ C CellHeading. @@ CMapping Table Cell. @@Mapping Table Cell. @@ Mapping Table Cell. @@ CMapping Table Cell. f@ CBody. f@ C BodySpaced. f@ C Bulleted\t. f@ C...Date. mf@ Cl. DateProject. @@ CHeader Double Line. f@T CHeading1Body. f@ C NumberedSpaced.\t. f@ C.Reading. f@$C.Line Single Line. f@ C CellHeading. f@ C Footnote. f@T C HeadingRunInBody. f@ C Indented. f@ C TableFootnote. f@T C TableTitleT:Table : . L̀Lf@N C Numbered N:.< =1>. $f@L C$. Lettereda L:.. $f@L C$. LetteredL:.. f@T CHeading2Body. f@NE C Numbered1 N:.Numbered. $f@L C$. Lettereda L:.. $f@L C$. LetteredL:.. L̀Lf@N C Numbered N:.< =1>.  f@PCTitleBody.  f@PCTitleBody. %f@ C BodyIndent. f@  $.6.Z.u..CodeASM. C C C C  C ڝCCEmphasisC K WingdingCEquationVariables ڝC   BoldItalic CItalic CBold C CC C  Computer  Subscript @  Symbol  SuperscriptZZThinMediumDoubleThick@ Very Thin HHHHHFormat AH Mapping Table HHHHHFormat BH Mapping Tableh6B5HHHHH$WDHH+4?HHH68?HH :C?HHHTDB?HH*< ? @ 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 "V>#?#@#A#B#» %FC$D$E$ $&FF%G%H%6%'FI&J&K& &(FL'M'N'')FO(P(Q(((*FR)S)T)D()XFU*V*W*Vd ,FX+Y++Z+f +-F[,\,,],r ,.F^-_--`-~ -/Fa.b.R.c..0Fd/e/S/f//1Fg0h0T0i002Fj1k1U1l113Fm2n2V2o224Fp3q3W3r3 3Fs4t4X4u4h 9Fv5w5x5Y5Z5,d 7Fy6z6{6< 68F|7}7~7H7F888h L5F[9\9]9^9_9hd ;F::::x :CF ;";#;$; =  <<<<> ====? >>>K >@ ???W ?A @@@c@ AAA GBB B ;F%C&C'C(Cd E)D,D-D DF.E/E0E EK1FBFCF HB!G8G9G IG:HGHHH JHIIJIKI KILJMJNJ FJOKPKQKh M9F`LaLbLcLdLh NLFeMfMgMhMiMh OMFjNkNlNmNnNh PNFoOpOqOrOsOh QOFtPuPvPwPxPh RPFyQzQ{Q|Q}Qh(SQF~RRRRRh TRSSSSShUST T T T Th VT UUUUUh #UVVVVVXFWWW*WFXXXComment ;C ;G d BlackT!WhiteddARedddGreendd BluedCyandMagentad Yellowd PICT Color 1Header/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.I Times-Italic FrameRoman M.Times.B Times-Bold FrameRoman M.Courier.PCourier FrameRoman M.Helvetica.BHelvetica-Bold FrameRoman FrameRomanM.Helvetica.BIHelvetica-BoldOblique FrameRoman FrameRoman FrameRomanQCourier Helvetica?SymbolBTimesJ Wingdings#Regular#Roman MediumBoldRegular ObliqueItalica=UR5e O_V6.BН.us?~ٳŶʲM652,$T} (P^pQcx>xWChD/7 f:@W`P3?_܍`6U2;TJ+uNܭ\