°Ë±¦Êé¿â > ÎÄѧÆäËûµç×ÓÊé > VB2008´ÓÈëÃŵ½¾«Í¨(PDF¸ñʽӢÎÄ°æ) >

µÚ102²¿·Ö

VB2008´ÓÈëÃŵ½¾«Í¨(PDF¸ñʽӢÎÄ°æ)-µÚ102²¿·Ö

С˵£º VB2008´ÓÈëÃŵ½¾«Í¨(PDF¸ñʽӢÎÄ°æ) ×ÖÊý£º ÿҳ4000×Ö

°´¼üÅÌÉÏ·½Ïò¼ü ¡û »ò ¡ú ¿É¿ìËÙÉÏÏ·­Ò³£¬°´¼üÅÌÉ쵀 Enter ¼ü¿É»Øµ½±¾ÊéĿ¼ҳ£¬°´¼üÅÌÉÏ·½Ïò¼ü ¡ü ¿É»Øµ½±¾Ò³¶¥²¿£¡
¡ª¡ª¡ª¡ªÎ´ÔĶÁÍꣿ¼ÓÈëÊéÇ©ÒѱãÏ´μÌÐøÔĶÁ£¡




¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡elements¡£Add£¨30£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡End¡¡SyncLock¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡End¡¡Sub¡¡


¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­Page¡¡379¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡C¡¡HA¡¡P¡¡TE¡¡R¡¡¡¡¡¡1¡¡3¡¡¡¡¡¡¡ö¡¡¡¡¡¡¡¡L¡¡E¡¡AR¡¡N¡¡IN¡¡G¡¡¡¡¡¡AB¡¡O¡¡U¡¡T¡¡¡¡¡¡M¡¡U¡¡L¡¡T¡¡IT¡¡HR¡¡E¡¡AD¡¡IN¡¡G¡¡357¡¡



¡¡¡¡¡¡¡¡¡¡The¡¡single¡¡change¡¡£¨shown¡¡in¡¡bold£©¡¡makes¡¡the¡¡code¡¡work¡£¡¡In¡¡the¡¡first¡¡version£»¡¡the¡¡timing¡¡¡¡

of¡¡the¡¡code¡¡was¡¡such¡¡that¡¡the¡¡reading¡¡thread¡¡went¡¡first¡£¡¡In¡¡this¡¡version£»¡¡the¡¡writing¡¡thread¡¡goes¡¡¡¡

first¡£¡¡This¡¡shows¡¡that¡¡deadlocks¡¡are¡¡often¡¡timing¡­related¡£¡¡

¡¡¡¡¡¡¡¡¡¡The¡¡annoying¡¡part¡¡of¡¡deadlocks¡¡is¡¡that¡¡your¡¡code¡¯s¡¡behavior¡¡is¡¡not¡¡deterministic¡£¡¡Determin

istic¡¡behavior¡¡is¡¡when¡¡an¡¡action¡¡will¡¡result¡¡in¡¡a¡¡single¡¡result£»¡¡as¡¡in¡¡the¡¡case¡¡with¡¡most¡¡source¡¡¡¡

code¡£¡¡Typically£»¡¡when¡¡you¡¡have¡¡a¡¡bug£»¡¡you¡¡didn¡¯t¡¡think¡¡far¡¡enough¡¡ahead¡¡and¡¡can¡¡work¡¡through¡¡¡¡

the¡¡error¡¡systematically¡£¡¡However£»¡¡with¡¡threading£»¡¡your¡¡code¡¡ceases¡¡to¡¡be¡¡deterministic£»¡¡because¡¡¡¡

timing¡¡can¡¡change¡¡the¡¡behavior¡£¡¡Timing¡¡can¡¡be¡¡an¡¡influence¡¡in¡¡many¡¡ways£º¡¡resource¡¡swapping£»¡¡¡¡

debuggers£»¡¡microprocessor¡¡speed£»¡¡and¡¡a¡¡host¡¡of¡¡other¡¡features¡£¡¡

¡¡¡¡¡¡¡¡¡¡To¡¡make¡¡the¡¡code¡¡deterministic£»¡¡you¡¡need¡¡to¡¡fix¡¡the¡¡part¡¡of¡¡the¡¡code¡¡that¡¡hung¡¡onto¡¡the¡¡lock¡¡¡¡

when¡¡it¡¡should¡¡not¡¡have¡£¡¡Remember¡¡the¡¡cardinal¡¡rule£º¡¡keep¡¡a¡¡lock¡¡for¡¡as¡¡short¡¡a¡¡time¡¡as¡¡possible¡£¡¡¡¡

¡¡¡¡¡¡¡¡¡¡You¡¡need¡¡to¡¡use¡¡a¡¡more¡¡advanced¡¡lock¡¡construct¡¡that¡¡allows¡¡you¡¡to¡¡wait¡¡for¡¡data¡¡to¡¡bee¡¡¡¡

available¡£¡¡¡¡has¡¡quite¡¡a¡¡few¡¡constructs¡¡related¡¡to¡¡threading¡¡and¡¡synchronization£»¡¡and¡¡each¡¡¡¡

construct¡¡is¡¡specific¡¡to¡¡the¡¡type¡¡of¡¡problem¡¡you¡¡are¡¡trying¡¡to¡¡solve¡£¡¡In¡¡the¡¡case¡¡of¡¡a¡¡deadlock£»¡¡you¡¡¡¡

want¡¡to¡¡use¡¡the¡¡Monitor¡¡type¡£¡¡The¡¡Monitor¡¡type¡¡is¡¡an¡¡advanced¡¡synchronization¡¡type¡¡that¡¡allows¡¡¡¡

locking¡¡and¡¡pulsing¡¡of¡¡trigger¡¡signals¡¡for¡¡those¡¡threads¡¡that¡¡are¡¡waiting¡£¡¡

¡¡¡¡¡¡¡¡¡¡Let¡¯s¡¡return¡¡to¡¡our¡¡multiple¡¡cooks¡¡in¡¡the¡¡kitchen¡¡analogy¡£¡¡Say¡¡one¡¡cook¡¡needs¡¡a¡¡particular¡¡¡¡

fish¡¡pan£»¡¡which¡¡is¡¡already¡¡being¡¡used¡¡by¡¡another¡¡cook¡£¡¡Does¡¡the¡¡waiting¡¡cook¡¡tap¡¡her¡¡foot¡¡beside¡¡¡¡

the¡¡cook¡¡doing¡¡the¡¡cooking£¿¡¡Or¡¡does¡¡the¡¡waiting¡¡cook¡¡do¡¡something¡¡else¡¡and¡¡ask¡¡the¡¡cook¡¡using¡¡¡¡

the¡¡pan¡¡to¡¡inform¡¡her¡¡when¡¡the¡¡pan¡¡is¡¡free£¿¡¡Most¡¡likely£»¡¡the¡¡cook¡¡will¡¡do¡¡something¡¡else¡¡and¡¡¡¡

wait¡¡to¡¡be¡¡informed¡¡that¡¡the¡¡pan¡¡is¡¡free¡£¡¡

¡¡¡¡¡¡¡¡¡¡This¡¡concept¡¡of¡¡working¡¡together¡¡and¡¡being¡¡able¡¡to¡¡notify¡¡other¡¡lock¡¡users¡¡is¡¡a¡¡powerful¡¡¡¡

feature¡¡programmed¡¡into¡¡the¡¡Monitor¡¡type¡£¡¡Monitor¡¡has¡¡the¡¡ability¡¡to¡¡take¡¡a¡¡lock£»¡¡give¡¡it¡¡up¡¡so¡¡¡¡

others¡¡can¡¡get¡¡the¡¡lock£»¡¡and¡¡then¡¡take¡¡it¡¡back¡¡again¡£¡¡¡¡

¡¡¡¡¡¡¡¡¡¡When¡¡using¡¡the¡¡Monitor¡¡type£»¡¡you¡¡do¡¡not¡¡declare¡¡a¡¡block¡¡of¡¡code¡¡that¡¡is¡¡protected£»¡¡because¡¡¡¡

Monitor¡¡is¡¡much¡¡more¡¡flexible¡¡than¡¡that¡£¡¡For¡¡example£»¡¡you¡¡could¡¡define¡¡a¡¡class¡¡that¡¡has¡¡an¡¡¡¡

instance¡­level¡¡lock¡¡mechanism£»¡¡like¡¡this£º¡¡



Class¡¡DoSomething¡¡¡¡

¡¡¡¡¡¡¡¡Public¡¡Sub¡¡GetLock£¨£©¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Monitor¡£Enter£¨Me£©¡¡

¡¡¡¡¡¡¡¡End¡¡Sub¡¡

¡¡¡¡¡¡¡¡Public¡¡Sub¡¡ReleaseLock£¨£©¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Monitor¡£Exit£¨Me£©¡¡

¡¡¡¡¡¡¡¡¡¡End¡¡Sub¡¡

End¡¡Class¡¡



¡¡¡¡¡¡¡¡¡¡Any¡¡code¡¡that¡¡uses¡¡a¡¡Monitor¡¡is¡¡not¡¡restricted¡¡to¡¡where¡¡it¡¯s¡¡placed¡¡in¡¡the¡¡code£»¡¡but¡¡a¡¡Monitor¡¡¡¡

is¡¡bound¡¡to¡¡a¡¡thread¡£¡¡So¡¡if¡¡a¡¡thread¡¡grabs¡¡a¡¡Monitor¡¡£¨by¡¡calling¡¡the¡¡¡¡Enter£¨£©¡¡method¡¡on¡¡the¡¡¡¡

Monitor¡¡object£©£»¡¡it¡¡has¡¡control¡¡until¡¡the¡¡thread¡¡dies¡¡or¡¡the¡¡thread¡¡gives¡¡up¡¡control¡¡£¨by¡¡calling¡¡the¡¡¡¡

Exit£¨£©¡¡method¡¡on¡¡the¡¡Monitor¡¡object£©¡£¡¡This¡¡has¡¡the¡¡added¡¡benefit¡¡that£»¡¡once¡¡having¡¡acquired¡¡a¡¡¡¡

lock£»¡¡a¡¡Monitor¡¡can¡¡get¡¡it¡¡over¡¡and¡¡over¡¡again¡£¡¡However£»¡¡if¡¡the¡¡same¡¡thread¡¡locked¡¡the¡¡Monitor¡¡¡¡

five¡¡times£»¡¡the¡¡same¡¡thread¡¡needs¡¡to¡¡release¡¡it¡¡five¡¡times¡¡before¡¡another¡¡thread¡¡can¡¡be¡¡granted¡¡¡¡

access¡¡to¡¡the¡¡lock¡£¡¡

¡¡¡¡¡¡¡¡¡¡The¡¡following¡¡is¡¡the¡¡rewritten¡¡two¡­thread¡¡source¡¡code¡¡that¡¡uses¡¡a¡¡Monitor¡£¡¡


¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­Page¡¡380¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­

358¡¡¡¡¡¡¡¡¡¡¡¡¡¡CH¡¡AP¡¡T¡¡E¡¡R¡¡¡¡¡¡1¡¡3¡¡¡¡¡¡¡ö¡¡¡¡¡¡¡¡L¡¡E¡¡A¡¡R¡¡N¡¡I¡¡N¡¡G¡¡¡¡¡¡A¡¡B¡¡OU¡¡T¡¡¡¡¡¡M¡¡U¡¡L¡¡T¡¡I¡¡TH¡¡R¡¡E¡¡A¡¡DI¡¡N¡¡G¡¡



¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Sub¡¡Task1£¨£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Dim¡¡items¡¡As¡¡Integer£¨£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Thread¡£Sleep£¨1000£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Monitor¡£Enter£¨elements£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Do¡¡While¡¡£¨elements¡£Count¡¡¡¶¡¡3£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Monitor¡£Wait£¨elements£»¡¡1000£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Loop¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡items¡¡=¡¡elements¡£ToArray£¨£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Monitor¡£Exit£¨elements£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Dim¡¡item¡¡As¡¡Integer¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡For¡¡Each¡¡item¡¡In¡¡items¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Console¡£WriteLine£¨¡¨Item¡¡£¨¡¨¡¡&¡¡item¡¡&¡¡¡¨£©¡¨£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Thread¡£Sleep£¨1000£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Next¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡End¡¡Sub¡¡



¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Sub¡¡Task2£¨£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Monitor¡£Enter£¨elements£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡elements¡£Add£¨30£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Monitor¡£Pulse£¨elements£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Monitor¡£Exit£¨elements£©¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡End¡¡Sub¡¡



¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡The¡¡bolded¡¡code¡¡lines¡¡are¡¡the¡¡new¡¡pieces¡¡that¡¡use¡¡the¡¡Monitor¡¡type¡£¡¡In¡¡the¡¡definition¡¡of¡¡the¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡first¡¡thread¡¡to¡¡get¡¡the¡¡lock£»¡¡the¡¡Monitor¡£Enter£¨£©¡¡method¡¡is¡¡called¡¡with¡¡the¡¡parameter¡¡elements£»¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡which£»¡¡as¡¡in¡¡the¡¡earlier¡¡SyncLock¡¡example£»¡¡defines¡¡the¡¡lock¡¡reference¡¡handle¡£¡¡Once¡¡the¡¡lock¡¡has¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡been¡¡acquired£»¡¡the¡¡thread¡¡checks¡¡to¡¡see¡¡if¡¡the¡¡list¡¡count¡¡is¡¡greater¡¡or¡¡equal¡¡to¡¡3¡£¡¡If¡¡the¡¡counter¡¡is¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡less¡¡than¡¡3£»¡¡the¡¡Monitor¡£Wait£¨£©¡¡method¡¡is¡¡called¡£¡¡The¡¡behavior¡¡of¡¡Monitor¡£Wait£¨£©¡¡is¡¡similar¡¡to¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Thread¡£Sleep£¨£©£»¡¡except¡¡that¡¡the¡¡Monitor¡¡lock¡¡is¡¡given¡¡up¡£¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Releasing¡¡the¡¡lock¡¡is¡¡a¡¡unique¡¡feature¡¡of¡¡a¡¡Monitor¡£¡¡The¡¡lock¡¡is¡¡given¡¡up¡¡only¡¡during¡¡the¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡time¡¡that¡¡the¡¡caller¡¡is¡¡in¡¡Monitor¡£Wait£¨£©¡£¡¡When¡¡the¡¡Monitor¡£Wait£¨£©¡¡method¡¡returns£»¡¡the¡¡lock¡¡is¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡acquired¡¡again¡£¡¡The¡¡code¡¡says¡¡that¡¡the¡¡thread¡¡is¡¡reawakened¡¡after¡¡1¡¡second¡£¡¡After¡¡that¡¡second£»¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡the¡¡thread¡¡does¡¡not¡¡have¡¡the¡¡lock¡¡and¡¡needs¡¡to¡¡wait¡¡before¡¡it¡¡can¡¡acquire¡¡the¡¡lock¡£¡¡If¡¡another¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡thread¡¡is¡¡holding¡¡onto¡¡the¡¡lock¡¡for¡¡a¡¡long¡¡time£»¡¡it¡¡could¡¡take¡¡a¡¡while¡¡to¡¡get¡¡the¡¡lock¡¡back¡¡again¡£¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Another¡¡way¡¡for¡¡the¡¡Monitor¡£Wait£¨£©¡¡method¡¡to¡¡awaken¡¡is¡¡if¡¡a¡¡signal¡¡is¡¡sent¡¡by¡¡another¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡thread¡£¡¡The¡¡code¡¡for¡¡the¡¡second¡¡thread¡¡uses¡¡Enter£¨£©¡¡and¡¡Exit£¨£©£»¡¡but¡¡also¡¡Pulse£¨£©¡£¡¡The¡¡Monitor¡£¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Pulse£¨£©¡¡method¡¡triggers¡¡a¡¡signal¡¡that¡¡awakens¡¡the¡¡first¡¡thread£»¡¡but¡¡the¡¡first¡¡thread¡¡will¡¡execute¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡only¡¡after¡¡the¡¡second¡¡thread¡¡has¡¡released¡¡control¡¡of¡¡the¡¡lock¡£¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡The¡¡big¡¡advantages¡¡of¡¡a¡¡Monitor¡¡in¡¡parison¡¡to¡¡¡¡SyncLock¡¡are¡¡that¡¡the¡¡Monitor¡¡can¡¡be¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡used¡¡anywhere¡¡in¡¡the¡¡code¡¡and¡¡that¡¡the¡¡Monitor¡¡will¡¡release¡¡a¡¡lock¡¡while¡¡waiting¡¡for¡¡an¡¡answer¡£¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡You¡¡would¡¡use¡¡¡¡SyncLock¡¡when¡¡you¡¡want¡¡to¡¡control¡¡access¡¡to¡¡a¡¡block¡¡of¡¡code¡£¡¡If¡¡the¡¡access¡¡goes¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡beyond¡¡method¡¡boundaries£»¡¡then¡¡it¡¡is¡¡preferable¡¡to¡¡use¡¡Monitor¡£¡¡It¡¡is¡¡not¡¡that¡¡you¡¡could¡¡not¡¡use¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡a¡¡SyncLock¡¡that¡¡spanned¡¡boundaries£»¡¡but¡¡if¡¡you¡¡need¡¡to¡¡add¡¡code¡¡that¡¡could¡¡produce¡¡a¡¡dead

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡lock£»¡¡it¡¡is¡¡easier¡¡to¡¡control¡¡that¡¡code¡¡using¡¡a¡¡Monitor¡£¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Now¡¡that¡¡we¡¯ve¡¡covered¡¡the¡¡fundamentals¡¡of¡¡multithreading£»¡¡the¡¡next¡¡sections¡¡focus¡¡on¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡more¡¡advanced¡¡threading¡¡architectures¡ªreader/writer¡¡and¡¡producer/consumer¡ªand¡¡using¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡asynchronous¡¡calls¡£¡¡


¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­Page¡¡381¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡C¡¡HA¡¡P¡¡TE¡¡R¡¡¡¡¡¡1¡¡3¡¡¡¡¡¡¡ö¡¡¡¡¡¡¡¡L¡¡E¡¡AR¡¡N¡¡IN¡¡G¡¡¡¡¡¡AB¡¡O¡¡U¡¡T¡¡¡¡¡¡M¡¡U¡¡L¡¡T¡¡IT¡¡HR¡¡E¡¡AD¡¡IN¡¡G¡¡359¡¡



Implementing¡¡a¡¡Reader/Writer¡¡¡¡

Threaded¡¡Architecture¡¡



The¡¡reader/writer¡¡threaded¡¡architecture¡¡is¡¡based¡¡on¡¡the¡¡idea¡¡that¡¡if¡¡one¡¡thread¡¡is¡¡reading¡¡and¡¡¡¡

another¡¡thread¡¡would¡¡like¡¡to¡¡read¡¡as¡¡well£»¡¡why¡¡not¡¡let¡¡it£¿¡¡However£»¡¡if¡¡one¡¡thread¡¡wants¡¡to¡¡write£»¡¡¡¡

then¡¡only¡¡that¡¡thread¡¡can¡¡write¡£¡¡In¡¡other¡¡words£»¡¡multiple¡¡threads¡¡are¡¡allowed¡¡to¡¡read¡¡data¡¡¡¡

simultaneously£»¡¡but¡¡to¡¡write£»¡¡a¡¡thread¡¡must¡¡have¡¡an¡¡exclusive¡¡lock¡£¡¡

¡¡¡¡¡¡¡¡¡¡¡¡implements¡¡a¡¡System¡£Threading¡£ReaderWriterLock¡¡class£»¡¡which¡¡contains¡¡the¡¡reader/¡¡

writer¡¡functionality¡£¡¡This¡¡class¡¡is¡¡like¡¡a¡¡Monitor£»¡¡in¡¡that¡¡it¡¡gives¡¡you¡¡the¡¡control¡¡to¡¡manage¡¡how¡¡¡¡

data¡¡is¡¡accessed¡¡but¡¡does¡¡not¡¡determine¡¡what¡¡you¡¡are¡¡accessing¡£¡¡The¡¡ReaderWriterLock¡¡type¡¡¡¡

has¡¡a¡¡number¡¡of¡¡methods¡¡and¡¡properties¡£¡¡The¡¡most¡¡important¡¡ones¡¡are¡¡listed¡¡in¡¡Table¡¡13¡­1¡£¡¡



Table¡¡13¡­1¡£¡¡Important¡¡ReaderWriterLock¡¡Methods¡¡



Method¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Description¡¡



AcquireReaderLock£¨£©¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Acquires¡¡a¡¡reader¡¡lock¡£¡¡Multiple¡¡threads¡¡can¡¡acquire¡¡a¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡reader¡¡lock¡£¡¡



AcquireWriterLock£¨£©¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Acquires¡¡a¡¡writer¡¡lock¡£¡¡Only¡¡a¡¡single¡¡thread¡¡can¡¡acquire¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡a¡¡writer¡¡lock¡£¡¡



DowngradeFromWriterLock£¨£©¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Converts¡¡a¡¡writer¡¡lock¡¡into¡¡a¡¡reader¡¡lock¡£¡¡Using¡¡this¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡method¡¡avoids¡¡the¡¡need¡¡to¡¡call¡¡ReleaseWriterLock£¨£©¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡and¡¡AcquireReaderLock£¨£©¡£¡¡



UpgradeToWriterLock£¨£©¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Converts¡¡a¡¡reader¡¡lock¡¡into¡¡a¡¡writer¡¡lock¡£¡¡Using¡¡this¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡method¡¡avoids¡¡the¡¡need¡¡to¡¡call¡¡ReleaseReaderLock£¨£©¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡and¡¡AcquireWriterLock£¨£©¡£¡¡¡¡



ReleaseLock£¨£©¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Releases¡¡all¡¡locks£»¡¡regardless¡¡how¡¡many¡¡times¡¡you¡¡have¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡called¡¡to¡¡acquire¡¡the¡¡reader¡¡or¡¡writer¡¡locks¡£¡¡



ReleaseReaderLock£¨£©¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Decrements¡¡the¡¡reader¡¡lock¡¡a¡¡single¡¡count¡£¡¡To¡¡pletely¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡release¡¡a¡¡reader¡¡lock£»¡¡you¡¡need¡¡to¡¡make¡¡sure¡¡the¡¡number¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡of¡¡times¡¡you¡¡called¡¡ReleaseReaderLock£¨£©¡¡is¡¡equal¡¡to¡¡the¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡number¡¡of¡¡times¡¡you¡¡called¡¡AcquireReaderLock£¨£©¡£¡¡



ReleaseWriterLock£¨£©¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Decrements¡¡the¡¡writer¡¡lock¡¡a¡¡single¡¡count¡£¡¡To¡¡pletely¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡release¡¡a¡¡reader¡¡lock£»¡¡you¡¡need¡¡to¡¡make¡¡sure¡¡the¡¡number¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡of¡¡times¡¡you¡¡called¡¡ReleaseWriterLock£¨£©¡¡is¡¡equal¡¡to¡¡the¡¡¡¡

¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡number¡¡of¡¡times¡¡you¡¡called¡¡AcquireWriterLock£¨£©¡£¡¡



¡¡¡¡¡¡¡¡¡¡Let¡¯s¡¡look¡¡at¡¡a¡¡collection¡¡example¡¡that¡¡has¡¡fou

·µ»ØĿ¼ ÉÏÒ»Ò³ ÏÂÒ»Ò³ »Øµ½¶¥²¿ ÔÞ£¨0£© ²È£¨1£©

Äã¿ÉÄÜϲ»¶µÄ