高級(jí)操作系統(tǒng)課件第六章同步

第六章同步時(shí)鐘同步邏輯時(shí)鐘全局狀態(tài)選舉算法互斥分布式事務(wù)分布式系統(tǒng)中的死鎖時(shí)鐘同步分布式系統(tǒng)中，不存在公共時(shí)鐘或精確的全局時(shí)間當(dāng)每臺(tái)機(jī)器都有自己的時(shí)鐘時(shí)，一個(gè)發(fā)生較晚的時(shí)間可能被標(biāo)上較早的時(shí)間例子：Unix中的make程序物理時(shí)鐘平均太陽(yáng)日的計(jì)算太陽(yáng)日：連續(xù)的兩次日中天的時(shí)間太陽(yáng)秒：solar-day/86400平均太陽(yáng)秒：格林威治時(shí)間現(xiàn)實(shí)時(shí)鐘銫原子鐘：9192631770次躍遷=1秒TAI秒：國(guó)際原子時(shí)間UTC秒：統(tǒng)一協(xié)調(diào)時(shí)間（在TAI秒中加入閏秒）時(shí)間服務(wù)：WWV電臺(tái)、GEOS衛(wèi)星時(shí)鐘同步算法當(dāng)時(shí)鐘以不同的速率滴答時(shí)，時(shí)鐘時(shí)間與UTC之間的關(guān)系：當(dāng)UTC時(shí)間為t時(shí)，機(jī)器上的時(shí)間為Cp(t)，理想情況是Cp(t)=t,即dC/dt=1.1-p<=dC/dt<=1+p為保證每?jī)蓚€(gè)時(shí)鐘間的差值不超過(guò)a,則時(shí)鐘必須至少每a/2p秒重新同步一次Cristian算法適合只有一臺(tái)時(shí)間服務(wù)器的情況，可接收WWV的UTC時(shí)間Cristian算法不能簡(jiǎn)單接受CUTC時(shí)間不能倒退，須逐步修正假設(shè)：每秒產(chǎn)生100次中斷，每次中斷將時(shí)間加10毫秒若調(diào)慢時(shí)鐘，中斷服務(wù)程序每次只加9毫秒；若加快時(shí)鐘，則加11毫秒。存在延遲Berkeley算法timedaemon向所有其他機(jī)器發(fā)送自己的時(shí)間，并詢問(wèn)其時(shí)鐘值其他機(jī)器應(yīng)答timedaemon計(jì)算出平均值，通知其他機(jī)器如何調(diào)整時(shí)鐘平均值算法非集中式算法時(shí)間間隔[T0+iR,T0+(i+1)R]在每次時(shí)間間隔開(kāi)始，每臺(tái)機(jī)器廣播自己的當(dāng)前時(shí)間之后啟動(dòng)本地計(jì)時(shí)器，搜集時(shí)間間隔S內(nèi)到達(dá)的所有時(shí)間廣播，計(jì)算時(shí)間值平均值去掉若干個(gè)最低值和最高值？給每個(gè)消息加上傳輸時(shí)間的估計(jì)值邏輯時(shí)鐘

LamportTimestamps時(shí)間戳（Time-Stamping）的算法：網(wǎng)絡(luò)上的每個(gè)系統(tǒng)（站點(diǎn)）維護(hù)一個(gè)計(jì)數(shù)器，起時(shí)鐘的作用每個(gè)站點(diǎn)有一個(gè)數(shù)字型標(biāo)識(shí),消息的格式為（m,Ti,i）,m為消息內(nèi)容，Ti為時(shí)間戳，i為站點(diǎn)標(biāo)識(shí)當(dāng)系統(tǒng)發(fā)送消息時(shí)，將時(shí)鐘加一當(dāng)系統(tǒng)j接收消息時(shí)，將它的時(shí)鐘設(shè)為當(dāng)前值和到達(dá)的時(shí)間戳這兩者的最大者加一在每個(gè)站點(diǎn)，時(shí)間的排序遵循以下規(guī)則對(duì)來(lái)自站點(diǎn)i的消息x和站點(diǎn)j的消息y,如果Ti<Tj或Ti=Tj，且i<j則說(shuō)消息x早于消息y算法不考慮系統(tǒng)之間傳輸時(shí)間上的差別哪個(gè)事件在實(shí)際上首先發(fā)生并不重要，重要的是所有進(jìn)程對(duì)事件的發(fā)生順序意見(jiàn)一致全局狀態(tài)（GlobalState）(1)操作系統(tǒng)或任何進(jìn)程都不可能知道分布式系統(tǒng)中所有進(jìn)程的當(dāng)前狀態(tài)只能通過(guò)消息接收到狀態(tài)信息，它只代表過(guò)去某時(shí)刻遠(yuǎn)程進(jìn)程的狀態(tài)分布式系統(tǒng)的本質(zhì)所造成的時(shí)間延遲使與并發(fā)有關(guān)的所有問(wèn)題都復(fù)雜了全局狀態(tài)（GlobalState）(2)一致的切口不一致的切口全局狀態(tài)定義了每個(gè)進(jìn)程的本地狀態(tài)和正在傳輸中的消息選舉供算法選擇魂一個(gè)姻進(jìn)程敞作為越協(xié)調(diào)螞者、楊發(fā)起漫者或路其他做特殊功角色卻，一斷般選潑擇進(jìn)顯程號(hào)以最大地的進(jìn)漿程（束假設(shè)泊每個(gè)前進(jìn)程急都知鎮(zhèn)道其蜻他進(jìn)休程的陪進(jìn)程哪號(hào)，羅但不租知道鉛是否方還在鴨運(yùn)行蛾）目的膜：保管證在瘦選舉沙之行評(píng)后，潑所有森進(jìn)程霜都認(rèn)寫(xiě)可被習(xí)選舉具的進(jìn)寺程相關(guān)下算法喘：Bu桐ll狡y算法環(huán)算俯法無(wú)線折環(huán)境茶下的趟選舉極算法大型艱系統(tǒng)鞋中的搜選舉甘算法Bu桌ll蘋(píng)y算法當(dāng)進(jìn)換程P注意舊到需狂要選蒜舉一而個(gè)進(jìn)府程作師協(xié)調(diào)隊(duì)者時(shí)掃：向所說(shuō)有進(jìn)融程號(hào)血比它吹高的謊進(jìn)程婦發(fā)EL同EC匠TI葵ON消息如果乖得不裕到任婆何進(jìn)瞇程的朝響應(yīng)搭，進(jìn)疾程P獲勝暈，成麥為協(xié)范調(diào)者如果貢有進(jìn)料程號(hào)橡比它堵高的論進(jìn)程開(kāi)響應(yīng)很，該鐮進(jìn)程晃接管崗選舉唱過(guò)程搖，進(jìn)灑程P任務(wù)滾完成當(dāng)其婦他進(jìn)沫程都油放棄摘，只別剩一膜個(gè)進(jìn)眉程時(shí)嗽，該服進(jìn)程鍛成為擔(dān)協(xié)調(diào)憑者一個(gè)必以前撓被中孩止的云進(jìn)程載恢復(fù)鹽后也懂有選贏舉權(quán)Bu項(xiàng)ll鏟y算法進(jìn)程4啟動(dòng)浪選舉進(jìn)程5和進(jìn)紹程6響應(yīng)光，接論管選礙舉，包成為協(xié)調(diào)盛者Bu浮ll碰y算法Pr做oc獻(xiàn)es鄙s銅6介te寶ll莫s化5歐to盯s脖to柿pPr椅oc值es櫻s領(lǐng)6犧wi榮ns耀a貢nd滿t旁el煌ls斜e花ve報(bào)ry題on米e進(jìn)程6響應(yīng)身進(jìn)程5的消減息，童接管臂選舉風(fēng)，進(jìn)袋程6成為物協(xié)調(diào)具者，哲通知伶所有昆進(jìn)程環(huán)算唱法不使百用令告牌按進(jìn)裁程號(hào)羨排序森，每孕個(gè)進(jìn)越程都岸知道提自己供的后瘦繼者當(dāng)進(jìn)懲程P注意張到需影要選究舉一釣個(gè)進(jìn)爭(zhēng)程作轉(zhuǎn)協(xié)調(diào)鞭者時(shí)罵：就創(chuàng)鹽建一飽條包子含該棚進(jìn)程踏號(hào)的EL后EC疤TI乘ON消息誰(shuí)，發(fā)們給后掩繼進(jìn)港程后繼糠進(jìn)程紐奉再將滅自己善的進(jìn)繳程號(hào)融加入EL貪EC勿TI性O(shè)N消息蜓，依辭次類(lèi)中推最后鬼回到出進(jìn)程P，它姨再發(fā)嶺送一續(xù)條CO屬OR竊DI寒NA烈TO亦R消息皆到環(huán)形上，難包含過(guò)新選技出的陶協(xié)調(diào)耐者進(jìn)捷程（蝴進(jìn)程悠號(hào)最販大者揚(yáng)）和備所有府在線燥進(jìn)程環(huán)算鑰法無(wú)線檢環(huán)境熟下的帥選舉社算法不能底保證佳其消蒜息傳民送是拿可靠慚的以勒及網(wǎng)喪絡(luò)拓愿撲結(jié)治構(gòu)不漢改變?cè)垂?jié)確點(diǎn)向語(yǔ)其相袍鄰節(jié)屋點(diǎn)發(fā)槍送EL礦EC府TI叢ON消息販開(kāi)始癥一個(gè)鴨選舉當(dāng)節(jié)適點(diǎn)第祝一次宿收到EL水EC絹TI悅ON消息蜓時(shí)，周會(huì)將序發(fā)送猛者作料為其擇父節(jié)漫點(diǎn)，受然后敲將EL劇EC春TI對(duì)ON消息伏發(fā)給冒其相鄰破節(jié)點(diǎn)轉(zhuǎn)（父境節(jié)點(diǎn)足除外巨）。豆等到仙其他覽節(jié)點(diǎn)婚的確予認(rèn)消糾息都貍收到幟后，笛再向父節(jié)別點(diǎn)確認(rèn)活（消蒼息中落包含鬼資源盆容量擇）。而從隆某個(gè)驅(qū)節(jié)點(diǎn)拔再次旅收到EL兆EC紋TI埋ON消息時(shí)，荒只是錦確認(rèn)欄。無(wú)線驚環(huán)境鴨下的弄選舉粒算法無(wú)線煉環(huán)境食下的援選舉厲算法大型綁系統(tǒng)楚中的躬選舉賓算法可能贊需要她選舉擺多個(gè)舉節(jié)點(diǎn)吉（如承超級(jí)播節(jié)點(diǎn)盞）要求原：一般胞節(jié)點(diǎn)鏟訪問(wèn)夸超級(jí)蔽節(jié)點(diǎn)認(rèn)的延裝時(shí)要塊低超級(jí)預(yù)節(jié)點(diǎn)招平均腎地分嗚布在巷覆蓋龍網(wǎng)絡(luò)膨上相對(duì)特于覆拐蓋網(wǎng)矛絡(luò)中葡的所抖有節(jié)夫點(diǎn)，鍛應(yīng)有艇一部晌分預(yù)驕定義午的超鋒級(jí)節(jié)耕點(diǎn)每個(gè)頁(yè)超級(jí)談節(jié)點(diǎn)魂不應(yīng)踢為超饞過(guò)固戚定數(shù)痰目的游一般破節(jié)點(diǎn)粉服務(wù)使用寬推動(dòng)題力在乎二維洪空間屑移動(dòng)距令牌如果竄某個(gè)霸節(jié)點(diǎn)睜發(fā)現(xiàn)劃總的姿推力倒超過(guò)孩某個(gè)巨閾值洲，就松會(huì)將染令牌推向其慶合力準(zhǔn)方向姥移動(dòng)當(dāng)令乓牌被谷一個(gè)炸節(jié)點(diǎn)腐擁有冒超過(guò)今定長(zhǎng)而時(shí)間翼后，焰該節(jié)美點(diǎn)就掠會(huì)把勵(lì)自己環(huán)提升棋為超拒級(jí)節(jié)趁點(diǎn)互固斥基于口令牌汁的解吐決方脆案擁有肌令牌局者獲員得使蕉用資防源的辱權(quán)限可以顧避免此餓死龍和死爪鎖令牌宜可能悶會(huì)丟秀失基于璃許可刺的解巨決方芳案獲得攀其它慶進(jìn)程辯的許被可來(lái)州使用氣資源集中諷式算鳳法使用砌協(xié)調(diào)慕者進(jìn)程1請(qǐng)求哥協(xié)調(diào)意者允廚許它遺進(jìn)入貌臨界里區(qū)，占得到昏同意進(jìn)程2也請(qǐng)牲求協(xié)右調(diào)者飲允許賊它進(jìn)甲入臨派界區(qū)逆，協(xié)懷調(diào)者踩不應(yīng)旋答當(dāng)進(jìn)宮程1退出門(mén)臨界喇區(qū)時(shí)意，協(xié)信調(diào)者罵對(duì)進(jìn)民程2作出負(fù)應(yīng)答集中呈式算我法保證規(guī)互斥倦的實(shí)父現(xiàn)公平協(xié)調(diào)惰者瓶頸單點(diǎn)宴崩潰互白斥：傅分布巡壽式算依法當(dāng)進(jìn)吃程想令進(jìn)入嚷臨界雨區(qū)時(shí)借，它耕向所洋有其旱他進(jìn)慰程發(fā)喝一條社打了狀時(shí)間墳戳的架消息Re卡qu菌es鮮t當(dāng)收耐到所躺有其貝他進(jìn)會(huì)程的Re長(zhǎng)pl績(jī)y消息軋時(shí)，值就可藥以進(jìn)螺入臨抱界區(qū)泰了當(dāng)一紗個(gè)進(jìn)嗚程收亭到一縣條Re轟qu荷es次t消息屆時(shí)，恐必須甚返回舉一條Re椅pl梯y消息助：如該用進(jìn)程襪自己謊不想生進(jìn)入報(bào)臨界鄉(xiāng)豐區(qū)，挑則立復(fù)即發(fā)耍送Re夢(mèng)pl責(zé)y消息如該連進(jìn)程酷想進(jìn)哲入臨躁界區(qū)蝕，則旋把自能己的Re夢(mèng)qu倍es予t消息謀時(shí)間顆戳與較收到孫的Re衫qu新es徑t消息槳時(shí)間呆戳相員比較通，如自樓己的滔晚，嶼則立躬即發(fā)奪送Re誼pl靠y消息否則得，就險(xiǎn)推遲潑發(fā)送Re原pl峽y消息分布膠式互喂斥算椅法進(jìn)程0和2都想闊進(jìn)入辨臨界染區(qū)進(jìn)程0的時(shí)綠間戳秒低，員搶先促進(jìn)入途臨界嗚區(qū)進(jìn)程0退出露臨界舉區(qū)后炎，發(fā)坊應(yīng)答遭給進(jìn)菜程2，進(jìn)慚程2隨后津進(jìn)入屬臨界眠區(qū)N個(gè)故膜障點(diǎn)修正留：請(qǐng)扣求到經(jīng)達(dá)時(shí)卸，無(wú)蜘論請(qǐng)秤求還嶼是拒濱絕都纏發(fā)送終應(yīng)答如使睜用多賺播通窗信，欄需維澤護(hù)成顆員列鉛表要求欠所有陡進(jìn)程捕都都掩參與阿決定藥共享吼資源圍的訪聽(tīng)問(wèn)許孝可修正店：獲乖得大概多數(shù)峽進(jìn)程照的許究可即微可令牌槽環(huán)算那法構(gòu)造銀進(jìn)程議邏輯君環(huán)令牌認(rèn)在環(huán)將上順厲序循國(guó)環(huán)傳虧播獲得倉(cāng)令牌勵(lì)的當(dāng)黑前進(jìn)讓程若想討進(jìn)入嫂臨界面區(qū)，域則進(jìn)繭入；沃退出伏時(shí)將裙令牌確向后哲傳；若不抖想進(jìn)笛入臨舊界區(qū)牛，則苦直接景將令嶼牌向招后傳籌；令牌疏丟失挪時(shí)產(chǎn)萄生新磚令牌某進(jìn)皂程崩逢潰時(shí)溜，繞德過(guò)該泄進(jìn)程令牌承環(huán)算號(hào)法三種奶互斥范算法糧的比著較算法每次進(jìn)/出臨界區(qū)所需消息次數(shù)進(jìn)入前的延遲(消息次數(shù))問(wèn)題集中式32協(xié)調(diào)者崩潰分布式2(n–1)2(n–1)任一進(jìn)程崩潰令牌環(huán)1to0ton–1丟失令牌，進(jìn)程崩潰分布嚼式事儀務(wù)事務(wù)稍模型事務(wù)慣分類(lèi)事務(wù)藥實(shí)現(xiàn)并發(fā)節(jié)控制串行悲化兩階易段鎖慣定悲觀盟的時(shí)貍間戳高排序樂(lè)觀持的并鋒發(fā)控緊制分布咬式事永務(wù)事務(wù)權(quán)模型事務(wù)說(shuō)分類(lèi)實(shí)現(xiàn)事務(wù)救模型(1朋)更新許一個(gè)尖主庫(kù)贈(zèng)存磁通帶是超具有羽容錯(cuò)田性的事務(wù)學(xué)模型(2歇)事務(wù)汗原語(yǔ)呈示例原語(yǔ)描述BEGIN_TRANSACTION開(kāi)始事務(wù)END_TRANSACTION中止事務(wù)并嘗試提交ABORT_TRANSACTION取消事務(wù)并恢復(fù)原值READ從文件、表或其他地方讀數(shù)據(jù)WRITE向文件、表或其他地方寫(xiě)數(shù)據(jù)事務(wù)撲模型(3瞧)預(yù)定仆三個(gè)欠航班排的事手務(wù)得銀以提蕉交當(dāng)訂帶不到框第三蹦個(gè)航叛班時(shí)蒸，事淹務(wù)中垮止BEGIN_TRANSACTION

reserveWP->JFK;

reserveJFK->Nairobi;

reserveNairobi->Malindi;

END_TRANSACTION(a)BEGIN_TRANSACTION

reserveWP->JFK;

reserveJFK->Nairobi;

reserveNairobi->Malindifull=>

ABORT_TRANSACTION(b)事務(wù)脆屬性事務(wù)柱屬性AC漆ID：原子含性(ato榮mi船c)：事蠟務(wù)的多執(zhí)行傾不可享分割一致斑性(con推si昏st檔en駛t)：事床務(wù)不巾能破央壞系洪統(tǒng)的遲恒定盼性獨(dú)立穿性(iso標(biāo)la丸te趟d，串肺行性)：并紅發(fā)的閉事務(wù)扔不會(huì)揮互相告干擾持久鉤性(dur紫ab咸le導(dǎo))：一霉旦事回務(wù)被糊執(zhí)行懸，所躁作的事修改運(yùn)就永桐遠(yuǎn)生吵效事務(wù)攀分類(lèi)單層蹤蝶事務(wù)意（A最fl酸at左t鋒ra漢ns顛ac蓄ti漏on）：不允反許提纖交或求取消圓部分固結(jié)果嵌套溜事務(wù)敵（A貧ne肺st廁ed錢(qián)t判ra以ns提ac爹ti柜on）：按邏展輯關(guān)呈系分扁成獨(dú)斃立的索許多巖子事烏務(wù)（絡(luò)可分抹布到妻不同灘機(jī)器貴上運(yùn)焰行）放，子您事務(wù)荒提交置結(jié)果脈對(duì)父戀事務(wù)守和后戴續(xù)子點(diǎn)事務(wù)梁是可領(lǐng)見(jiàn)的旋；父男事務(wù)權(quán)中止出會(huì)導(dǎo)音致所課有子宿事務(wù)鋸的中午止分布宅式事儲(chǔ)務(wù)（A睛di戴st娘ri已bu易te查d稅tr襖an茅sa辜ct管io瞧n）：?jiǎn)螌油?、不開(kāi)可分稼割的慕事務(wù)巧，操孕作對(duì)洋象是擺分布?xì)馐降娘湐?shù)據(jù)雞。使促用分尚布式干算法監(jiān)鎖定直數(shù)據(jù)蝕和提劍交整呈個(gè)事液務(wù)事務(wù)寄實(shí)現(xiàn)（一縣）私有飲工作肥空間為進(jìn)躲程提允供一紫個(gè)私漢有工樣作空屠間，批包含矩進(jìn)程予要訪渴問(wèn)的椒所有召對(duì)象進(jìn)程觀的讀摧寫(xiě)操斯作在鳴私有貌工作辭空間恥進(jìn)行淺，而混不對(duì)城實(shí)際恩的文辛件系趁統(tǒng)進(jìn)叫行開(kāi)銷(xiāo)舞大，創(chuàng)可以曬進(jìn)行秩優(yōu)化賽使之善可行讀操堪作不芬復(fù)制寫(xiě)操脾作時(shí)蕉復(fù)制讓，而零且初夸始只樓復(fù)制丘索引腥（包鄭含文暴件磁道盤(pán)塊都的位設(shè)置信窩息，賊如UN典IX的i節(jié)點(diǎn)耀）私有難工作膝空間包含妖三個(gè)紡塊的牲文件伸及其嘉索引塊0被修習(xí)改，興塊3被添行加后澇的情沾況事務(wù)鑰提交搏之后私有咸工作爽空間如果補(bǔ)事務(wù)泄中止慕，私率有工圾作空另間被捎釋放褲，指凝向的頭私有臂塊被訂刪除如果坐事務(wù)濾提交姐，私瘋有索設(shè)引被亂移到媽父輩礎(chǔ)空間醬，不易再被略訪問(wèn)塑的塊秋被釋逗放掉事務(wù)嚇實(shí)現(xiàn)稅（二年）寫(xiě)前巡壽日志（wr峰it零ea司he幼ad泳l念og）：鞋先寫(xiě)禁日志動(dòng)，再淘做實(shí)潔際修認(rèn)改日志顏內(nèi)容械：哪機(jī)個(gè)事亮務(wù)在桃對(duì)文粥件進(jìn)漢行修僑改，甩哪個(gè)留文件裝和數(shù)脊據(jù)被肺改動(dòng)肯，新藝值和幫舊值愛(ài)是什退么…日志靜寫(xiě)入鞠后，戚改動(dòng)朱才被伶寫(xiě)入節(jié)文件事務(wù)熊中止桌，使寬用寫(xiě)臺(tái)前日門(mén)志回退到原修來(lái)的蟲(chóng)狀態(tài)借助聰穩(wěn)定環(huán)存儲(chǔ)攔器中檔的寫(xiě)畢前日鵝志：馬當(dāng)系紋統(tǒng)崩趴潰后能，完差成事扔務(wù)或滲取消畢事務(wù)寫(xiě)前問(wèn)日志a)一個(gè)牌事務(wù)b)惰–詳d浸)語(yǔ)句邁執(zhí)行嬌前的鉤日志x=0;y=0;BEGIN_TRANSACTION;x=x+1;y=y+2x=y*y;END_TRANSACTION;(a)Log[x=0/1](b)Log[x=0/1][y=0/2](c)Log[x=0/1][y=0/2][x=1/4](d)并發(fā)惡控制(1亡)處理彈事務(wù)愛(ài)的管暢理器木組織=>通過(guò)陸正確煌地控伐制并發(fā)握事務(wù)斑（同堡時(shí)對(duì)條共享灘數(shù)據(jù)靈進(jìn)行英操作列的事喘務(wù)）的執(zhí)脫行基陰本上次可以歡解決群一致落性和迷獨(dú)立丹性問(wèn)襪題事務(wù)掠管理御器：保輛證事飾務(wù)的陡原子氧性調(diào)度晝管理止器：正渡確地共控制盤(pán)并發(fā)升，決講定哪嗓個(gè)事蹲務(wù)在獄何時(shí)辦被允謎許將講讀、痛寫(xiě)操咬作傳匙給數(shù)濾據(jù)管咳理器數(shù)據(jù)講管理唐器：數(shù)摩據(jù)的如讀寫(xiě)并發(fā)新控制(2耽)分布孝式事闖務(wù)管唉理器昏組織串行藍(lán)化a)蛾–蔬c柏)三個(gè)掏事務(wù)T1,秋T2,和T3d)可能志的調(diào)聯(lián)度BEGIN_TRANSACTION

x=0;

x=x+1;

END_TRANSACTION

(a)BEGIN_TRANSACTION

x=0;

x=x+2;

END_TRANSACTION

(b)BEGIN_TRANSACTION

x=0;

x=x+3;

END_TRANSACTION

(c)Schedule1x=0;x=x+1;x=0;x=x+2;x=0;x=x+3合法Schedule2x=0;x=0;x=x+1;x=x+2;x=0;x=x+3;合法Schedule3x=0;x=0;x=x+1;x=0;x=x+2;x=x+3;非法(d箱)串行雖化：多春個(gè)事蘇務(wù)同冰時(shí)執(zhí)隆行并趴保持續(xù)獨(dú)立惜，最滴終的伙執(zhí)行底結(jié)果電與事渾務(wù)以怨某種股特定窩順序點(diǎn)一個(gè)趣接一換個(gè)串纏行執(zhí)特行得堤到的導(dǎo)結(jié)果劣相同嘆。并發(fā)話控制駕算法并發(fā)激控制悼的思叔想：評(píng)正確置調(diào)度日相沖伙突的唐操作正（讀域?qū)懞湍_寫(xiě)寫(xiě)今）按讀友寫(xiě)操養(yǎng)作同姥步的擋方式陪分為共享脾數(shù)據(jù)賣(mài)上的們互斥聚機(jī)制似，如譜鎖定顯示短地使迅用時(shí)舊間戳歪排序并發(fā)造控制陣算法--鎖機(jī)師制T1讀D的時(shí)啟候，T2不可功以寫(xiě)D，但逐可以倒讀D；T1寫(xiě)D的時(shí)剛候，T2既不脫可以拴寫(xiě)D，又好不可訊以讀D。一個(gè)濕事務(wù)技可以急對(duì)D實(shí)施溉讀鎖走和寫(xiě)肢鎖：不同穴的事旱務(wù)可迎以因構(gòu)讀而射同時(shí)竭封鎖沉同一兔個(gè)D，所援以，貢讀鎖漿又叫有共享鋪鎖（Sh廈ar筆in拴g寶Lo嗚ck）；不同險(xiǎn)的事腐務(wù)不賤能因哄寫(xiě)而幕同時(shí)夢(mèng)封鎖訪同一等個(gè)D，所賊以，益寫(xiě)鎖稼又叫拼排它講鎖（Ex繳cl蔬us帖iv萬(wàn)e躬Lo澇ck）；根據(jù)方上述淺分析襖，我稀們可使得如秘下鎖彈協(xié)議卷：1、TRe是ad賄Lo疲ck紫(D)，T′也可改以Re骨ad姓Lo振ck匆(D)，如瓶果T′Wr毯it注eL梁oc津k(飛D)，則T′被掛晉起，送直到TUN訴Lo兼ck（D）；2、TWr地it偷eL常oc理k(切D)，如刻果T′Re嫌ad拐Lo鼻ck受(D)或者Wr朵it舉eL迫oc差k(座D)，則T′被掛榮起，婦直到TUN錄Lo蜓ck（D）；3、T使用害完D之后匹，UN發(fā)Lo展ck厭(D)。問(wèn)題丹：不宣能保肥證可魚(yú)串行佛化。兩階圓段鎖浙定(1倦)兩階晉段鎖進(jìn)定：為了辣保證鹿并發(fā)瞎調(diào)度害的可粘串行財(cái)化，污要求T在執(zhí)肆行過(guò)郊程中則，有春一個(gè)糊時(shí)間卻點(diǎn)t，在t之前宜，T不執(zhí)待行UN寄Lo任ck操作槍，并球且在t之后鏈，T不再脆執(zhí)行Re氣ad要Lo咽ck裁(D)和Wr接it但eL樹(shù)oc出k(纏D)操作擠。進(jìn)程駝在增缺長(zhǎng)階裁段先殼請(qǐng)求武它需妙要的趕所有仍鎖，要然后喘在收掃縮階撒段釋哪放它乎們?？梢詢斪C明漠（Es隸wa原ra芝n等，19飲76）如假果所晌有的化事務(wù)道都使病用兩俯階段積加鎖塵法，并那么差通過(guò)懼交錯(cuò)燭事務(wù)簽進(jìn)行另的所脖有調(diào)婦度都寨是串巷行的拋。這霉也是噸兩階及段加得鎖法誕廣泛扭使用泰的原濤因。兩階分段鎖越定(2飽)嚴(yán)格裕的兩察階段斑鎖定：UN源Lo塊ck操作著僅在T提交遷的時(shí)淹候或抗者被扣中止富的時(shí)增候由健服務(wù)游器一堤并執(zhí)定行。嚴(yán)格棒兩階思段鎖減定協(xié)鍵議除旨了要乒求封下鎖是字兩階堪段之克外，蠶還要?dú)馇笫赂?jìng)務(wù)持弟有的甚所有糕排它鋸鎖必挎須在劉事務(wù)烤提交魂之后沾方可黑釋放晶。這扮個(gè)要舅求保沫證未認(rèn)提交牲事務(wù)詢所寫(xiě)媽的任嘉何數(shù)餃據(jù)，訂在該宏事務(wù)排提交泊之前濾均以摔排它待鎖封薄鎖，便防止竭其他管事務(wù)膊讀取舅這些敬數(shù)據(jù)健。優(yōu)點(diǎn)扭：事務(wù)連總是塞讀提獸交事幫務(wù)寫(xiě)脂入的撐值，喬不會(huì)騾看到大中間殼狀態(tài)靈數(shù)據(jù)鎖的捉獲得尤和釋座放由幣系統(tǒng)輝來(lái)處獸理而槽無(wú)需粗事務(wù)理關(guān)心死轉(zhuǎn)鎖加鎖亮，即毫使兩馳階段商加鎖城，也近可能梁會(huì)導(dǎo)鉤致死懂鎖。若兩座個(gè)進(jìn)潮程都盛試圖流以相沉反的集順序陸請(qǐng)求紐奉同一燃對(duì)鎖萄，那扎么就瓦會(huì)發(fā)吳生死畜鎖。這里急可以采用戴諸如詳以某拔種規(guī)菜范順悄序請(qǐng)割求所叢有的臂鎖之滔類(lèi)的撥一般絹方法彎來(lái)防芒止保妄持-等待法循環(huán)級(jí)的出準(zhǔn)現(xiàn)。通過(guò)夜對(duì)一熊張精季確描捏述哪紀(jì)個(gè)進(jìn)常程可昌以擁日有哪醫(yī)個(gè)鎖廁，它名還想巡壽請(qǐng)求個(gè)哪個(gè)欲鎖的攝圖進(jìn)迫行死祝鎖掃答描，幣以檢閣查是趨否有格環(huán)路郊出現(xiàn)脖，也借可以昆防止撥死鎖員。如果抱事先雖知道汪一個(gè)忍鎖的網(wǎng)擁有欺時(shí)間扯不會(huì)衫超過(guò)T秒時(shí)罰，也得可以跟采用史一個(gè)液超時(shí)圾方案上：如金果某握個(gè)擁礦有者膛連續(xù)缸擁有逢同一燃個(gè)鎖巨超過(guò)掏了T秒，彈那么爬一定芽是出沃現(xiàn)了布死鎖統(tǒng)。并發(fā)藝控制珠算法--悲觀狀的時(shí)屑間戳其排序Pe推ss快im攤is嘴ti深c懸Ti聞me辭st奔am訪p文Or炎de啄ri限ng思想尸：每個(gè)致事務(wù)蘇指定齊一個(gè)爸時(shí)間選戳，具文件則都有衡相關(guān)陰的讀累時(shí)間裁戳和擱寫(xiě)時(shí)表間戳如果夏事務(wù)笑的進(jìn)潤(rùn)程試腔圖訪暑問(wèn)文價(jià)件時(shí)他，文甲件的播讀時(shí)盯間戳膏和寫(xiě)罷時(shí)間至戳都趟比事網(wǎng)務(wù)的輸時(shí)間鐵戳更神早（余?。┣?，這丈種關(guān)侄系是洲正常旨的反之油，說(shuō)枕明當(dāng)數(shù)前事已務(wù)提開(kāi)交太笑晚，叼應(yīng)該裙終止葡。需要炭中止比寨較同加狂鎖法堡相比偷，時(shí)喪間戳架有著棗不同藥的特蠶性當(dāng)一努個(gè)事濱務(wù)碰滔到了末更大習(xí)（晚械）的階時(shí)間朽戳?xí)r扯，就棄要中陸止，加鎖霞法在都相同瓦的情涉況下城要么忽等待,要么雀立即威執(zhí)行挽。另一乏方面沉，時(shí)章間戳轉(zhuǎn)方法乎不會(huì)和出現(xiàn)微死鎖陜，這殺是極廁大的咽改進(jìn)峰。樂(lè)觀胖的并妙發(fā)控代制op列ti居mi絡(luò)st胡ic大c乖on伙cu凡rr透en恢cy處理口同時(shí)奧運(yùn)行塊多個(gè)嫂事務(wù)絕的第閥二種氧方法壩是樂(lè)小觀并咐發(fā)控月制法育（Ku涂ng挪a裝nd掀R丈ob晴in表so什n，19添81）。這種此方法蠶的思倍想驚爺人的遍簡(jiǎn)單謎：盡管伴放心干去做羊你想慎做的庭，不慣用在鄰意其坑他人艇正在綁做什涉么。絞如果傾有問(wèn)準(zhǔn)題出乎現(xiàn)，師那么趕以后枝再考冊(cè)慮吧講。在實(shí)褲際情伶況中血，沖盛突相倒對(duì)來(lái)陜說(shuō)非竄常少地，所化以這弟個(gè)策犯略大漿部分侮時(shí)間另都可莖以正夜常工故作。樂(lè)觀姨的并棟發(fā)控糟制—沖突拜的處卷理盡管充沖突厚會(huì)非碧常少熊，但竭存在云的可搖能性擇還是望有的慈，因危此還雅需要常一些炒處理局沖突歌的方縫法。樂(lè)觀桿并發(fā)爺控制零算法科所做找的只宿是記錄亭下有魔哪些鍵文件抽曾經(jīng)振被讀援寫(xiě)過(guò)輪。在提碑交時(shí)?？蹋?gòu)檢測(cè)季其他俊的事亮務(wù)以怖判斷輛在本扒事務(wù)漫開(kāi)始軋后它村的文汽件是費(fèi)否被蠅其他垮事務(wù)泄修改矮過(guò)。如果搏被修元改過(guò)友，那含么本得事務(wù)隨將被慚中止伯。如果眾沒(méi)有哲修改夠過(guò)，音那么四本事煙務(wù)就熄可以崗提交路了。樂(lè)觀患并發(fā)曠控制鵝算法寶最適姑合于附基于包私有嶼工作友空間勞的情名況。每個(gè)脊事務(wù)放都獨(dú)滴立地萍修改赴各自砌的文躁件，亦不會(huì)蔬涉及憶其他儉的事喜務(wù)。在結(jié)破束的握時(shí)候渣，新脂的文夕件要僻么被修提交媽要么燈被釋杯放。樂(lè)觀估并發(fā)遮控制呈算法肌的最衣大優(yōu)阿點(diǎn)在渣于避免辭了死取鎖，隊(duì)而且愁允許績(jī)最大醒的并雪行度晚（進(jìn)刃程不乖需要譜去等嗚待一令個(gè)鎖鼻）它的突缺點(diǎn)蓬是：有時(shí)折可能輛會(huì)失立效，遣這時(shí)惰所有疤事務(wù)呢都必考須退膜回重殿新運(yùn)芳行在重借負(fù)載嬸的情目況下向，算遼法失鬧效的酸可能爛性將孩會(huì)直臂線上凱升，衰這使皺得樂(lè)缺觀并寶發(fā)控坡制算逗法成槳了一拔個(gè)很呈糟糕校的選什擇。分布鞋式系合統(tǒng)中隱的死爪鎖分布腦式系漠統(tǒng)中佳的死拳鎖類(lèi)敵似單隱處理梢機(jī)系皮統(tǒng)中號(hào)的死專鎖，乓只是妹情況路更糟悲。它們萍更難許于避哄免、粉預(yù)防箱或者盯檢測(cè)棕，即叼使在漆檢測(cè)臣到以笛后也芬很難插處理四，因筒為所剪有的墳相關(guān)與信息按都分區(qū)散在歷多臺(tái)焰機(jī)器袋上。在某蹄些系魂統(tǒng)中罵，如疑分布肯式數(shù)腳據(jù)庫(kù)瞎系統(tǒng)媽中，碑死鎖旬的問(wèn)咸題可泳能會(huì)撥相當(dāng)大嚴(yán)重鮮，因序此理郊解分引布式頃系統(tǒng)用中的策死鎖鹿與一六般的著死鎖佩有何壓不同辭，它聲們應(yīng)胞該如逼何處良理就回顯得約非常窩重要原了。策略騎的分思類(lèi)討論拳死鎖礎(chǔ)問(wèn)題竊的策鐘略有秒很多馬種。命四個(gè)基最著根名的壞策略陷：鴕鳥(niǎo)謹(jǐn)算法然（忽聞略問(wèn)患題）預(yù)防（靜丟態(tài)的童，使倚死鎖衫在機(jī)枕制上奴是不類(lèi)可能丟發(fā)生門(mén)的）避免疼（通義過(guò)仔膜細(xì)的梅分配搏資源誼以避慣免死嚼鎖，譽(yù)需要良（事州先）隙知道久每個(gè)鴨進(jìn)程瞇最終擊到底俘需要足多少踏資源炒。而搖這樣稈的信京息即尊使有覽，也名非常煮的少健。岸）檢測(cè)保與恢質(zhì)復(fù)（允路許死源鎖發(fā)售生，哭在檢金測(cè)到筋后想議辦法策恢復(fù)惕）分布申式死徐鎖預(yù)摸防死鎖照預(yù)防縫是由俱細(xì)致因的系合統(tǒng)設(shè)秘計(jì)構(gòu)原成的博，因撥此死澆鎖從熊機(jī)制搬上來(lái)臂說(shuō)是飽不可葵能的議。一些譯已有拆的辦胞法在允實(shí)踐者中都音不太統(tǒng)方便旺，例淹如在某前一時(shí)鵝刻只窄允許來(lái)進(jìn)程華占有妹一個(gè)池資源要求晚進(jìn)程因在初行始階盟段請(qǐng)金求所礎(chǔ)有的憑資源當(dāng)進(jìn)植程請(qǐng)既求新荒資源倚時(shí)必憲須釋辨放所圾有資豬源?；蛘哌`要求觸進(jìn)程鞭必須深預(yù)定包資源泉，并迷以嚴(yán)維格增敗序請(qǐng)債求資屈源。即一痰個(gè)進(jìn)慰程不瀉可能煩既占穗有了佩一個(gè)膠高序埋資源辛又去刺請(qǐng)求網(wǎng)一個(gè)相低序想資源悶，這神就使督得環(huán)其路不穗可能某出現(xiàn)插了。兩種瘡基于漂時(shí)間逆戳的面算法在擁痕有全波局時(shí)貌間和曲原子牽事務(wù)日的分招布式府系統(tǒng)概中，犧另外艙兩種噸實(shí)用障的算質(zhì)法也失是可赴能的采。這兩推種算姐法都尾是基罩于在奇一個(gè)坐事務(wù)斥開(kāi)始劫時(shí)給欠它分仰配一木個(gè)全燒局時(shí)教間戳行的思濕想。同許脫多基膨于時(shí)瞎間戳謀的算蘋(píng)法一脂樣，盈在這療兩種凡算法鋒中保鈴證不狂會(huì)有怎兩個(gè)粒事務(wù)濤分配原了完構(gòu)全一弦致的渡時(shí)間到戳。La北mp如or記t的算飽法有重效的巴保證兔了時(shí)何間戳飯是唯棕一的轟?；局\思想這兩在種算內(nèi)法的并基本慨思想椅是：當(dāng)一村個(gè)進(jìn)臟程因撒等待漿一個(gè)仔正被旨其他滑進(jìn)程換占用羞的資生源而臣要阻證塞時(shí)專，進(jìn)叛行檢梢查以截判斷繞哪個(gè)腳進(jìn)程萌的時(shí)呈間戳束更大胸（即晨更晚資）。只有牢當(dāng)?shù)日ゴM(jìn)呼程的結(jié)時(shí)間肆戳小晨于（梯早于羊）被類(lèi)等待婦進(jìn)程襲的時(shí)歐間戳奸，才潛允許既等待得發(fā)生咬（只允胃許老編進(jìn)程兆等待），沫否則比中止沿著嚴(yán)等待逢進(jìn)程知鏈，柄時(shí)間候戳遞念增，處不可起能發(fā)磨生環(huán)套路或只爪有當(dāng)磚等待利進(jìn)程臥擁有演大于英（晚存于）壓被等養(yǎng)待進(jìn)傘程的閑時(shí)間趣戳?xí)r液，才稍允許域等待哨發(fā)生泳（只允銳許新口進(jìn)程野等待），決否則腹中止沿著漆等待抖進(jìn)程績(jī)鏈，詳時(shí)間桿戳遞映減老進(jìn)時(shí)程？槐新進(jìn)山程？盡管墓兩種靠方法棚都能沈預(yù)防孩死鎖巾，但貪是給點(diǎn)予老發(fā)的進(jìn)膏程以藥優(yōu)先壘權(quán)更拴明智攻些。？？清？它們銹已經(jīng)符運(yùn)行女了較鞠長(zhǎng)時(shí)瘋間，栽系統(tǒng)它對(duì)它針們的萄投入勾會(huì)更衛(wèi)大一鏈些，愈它們扁占有延的資僵源也鋒就更褲多一為些。另外牽，這柱種選撲擇消負(fù)除了償餓死昨現(xiàn)象一個(gè)頂被中尸止的醬新進(jìn)產(chǎn)程最瀉終成腥為系樸統(tǒng)中泉最老腹的進(jìn)跟程等-死算轉(zhuǎn)法（wa貼it逗-d乞ie）由于環(huán)使用也了時(shí)聲間戳鹽，當(dāng)防請(qǐng)求毒被占待用的跪資源庫(kù)時(shí)，死只可抵能有篇兩種勝情況紙：老進(jìn)智程請(qǐng)振求被門(mén)新進(jìn)揉程占島用的旨資源仙，或者鉆，新律進(jìn)程均請(qǐng)求腳被老養(yǎng)進(jìn)程襯占用弊的資漫源一種激情況慶應(yīng)該鞏允許箭進(jìn)程葉等待須，另章一種駛情況稿應(yīng)該狹中止怠進(jìn)程誤。也即渠等-死算呀法等-死算喝法（wa途it掛-d用ie）舉綁例假設(shè)道標(biāo)記a為中骨止，b為等治待。術(shù)那么史就應(yīng)配該中甚止掉冷老進(jìn)咸程，卡但這沒(méi)樣的掌效率肉較低飯（老辦進(jìn)程爹只會(huì)旺變得練更老像）。所以杯應(yīng)該嶄以相紙反的勝方式擦進(jìn)行剃標(biāo)記貪，如釘下圖在這拼種情魔況下粱，箭別頭總年是指做向事?lián)蟿?wù)編愛(ài)號(hào)增吸長(zhǎng)的鵝方向涉，使帥得環(huán)魚(yú)路不挎可能把出現(xiàn)腐。資源顯不可旦剝奪藥？一旦鵲我們攜假設(shè)汽了事獻(xiàn)務(wù)的災(zāi)存在蒜，我妻們就辜可以膛做一叮些在已以前炎是被稅禁止他的事湖情：慚從運(yùn)礦行進(jìn)征程中仙奪走挎資源隱。當(dāng)沖抹突發(fā)縫生的款時(shí)候信，我語(yǔ)們不強(qiáng)需要提中止碧提出羊請(qǐng)求法的進(jìn)顛程，街我們豎可以岡中止符資源狀擁有幣者。如果羊沒(méi)有輸事務(wù)部，中或止一據(jù)個(gè)進(jìn)蟲(chóng)程可燈能會(huì)遼有嚴(yán)縫重的晨后果疑，例雞如進(jìn)榜程可桂能已所經(jīng)修競(jìng)改了濤文件擊。有缺了事厚務(wù)后疾，當(dāng)望事務(wù)過(guò)死亡冰時(shí)這錦些效窯果會(huì)榨消失菠。傷-等算踐法（wo續(xù)un但d-雪wa單it）傷-等算乞法允許這搶占：假標(biāo)設(shè)只區(qū)允許盆老進(jìn)始程搶拘占新加進(jìn)程擱，圖a被標(biāo)溫記為嫂搶先糠，圖b為等擠待。這種師算法排稱為耀傷-等算誤法（wo砌un澇d-辜wa房誠(chéng)it），吧因?yàn)樾钜粋€(gè)竊事務(wù)仙可能直會(huì)受鋪到傷跌害（砍實(shí)際擺是被柏中止煩）。傷-等算線法舉小例若一史個(gè)老艇進(jìn)程控希望風(fēng)得到倚一個(gè)摩被新略進(jìn)程系占用己的資儲(chǔ)源，摧那么趨老進(jìn)念程將徐會(huì)搶克占，蚊于是峰新事惠務(wù)被幕中止煉，如a所示電。隨經(jīng)后新課事務(wù)狂可能秋會(huì)立粘即重座新開(kāi)臘始，媽并試搜著請(qǐng)岸求資雖源，父如b所示撲，然歐后被尺迫等夢(mèng)待。中止再生等-死算從法與井傷-等算失法比狠較等-死算論法中，若一拉個(gè)老陪事務(wù)膏想得暫到一杰個(gè)正貝被新揉事務(wù)隔占用梯的資座源，套那么鞭它會(huì)饒很禮領(lǐng)貌的假等待崖。反之勸，若肆一個(gè)舍新事退務(wù)想夫得到忍一個(gè)碗被老惜事務(wù)依占用既的資軋?jiān)矗瑑鏊鼘⒏弑恢衅浦?。霧盡管唇它還擺會(huì)重先新開(kāi)舌始，弟但很織可能未又會(huì)杏立即歐被中零止。蹈在老梨事務(wù)謊釋放徐資源票之前紐奉，這慎個(gè)循撞環(huán)可眨能要千重復(fù)犯多次謹(jǐn)。傷-等算抖法沒(méi)有區(qū)這么準(zhǔn)糟糕創(chuàng)的特堵性。分布擾式死滑鎖檢鴿測(cè)在分悔布式賓系統(tǒng)蘭中找捷出一腔般的賄死鎖母預(yù)防襲和避方免的埋解決亭方法塘是相排當(dāng)困策難的餓，因震此許納多研稻究人旬員都畏只是孤嘗試貿(mào)為更塊簡(jiǎn)單漠的死象鎖檢既測(cè)問(wèn)嫁題找肌出一瞇種解喉決方換法，蓬而不塔是想亞辦法乒去禁談止死區(qū)鎖的贊發(fā)生妨。在一勝些分黃布式享系統(tǒng)詞中原廉子事以務(wù)的零提出見(jiàn)使得秧在概努念上赴有了鑄極大捆的不榨同。在普嶄通的榜操作頁(yè)系統(tǒng)界中檢月測(cè)到脹死鎖糞后，肉解決轟方法渾是中接止掉閉一個(gè)吹或幾扒個(gè)進(jìn)孤程，列但這井必然千會(huì)使馳一些各用戶生感到繞不滿拉。在基肥于原掀子事央務(wù)的介系統(tǒng)萍中檢討測(cè)到阻死鎖索后，筑解決惕方法校是中貿(mào)止掉撥一個(gè)燭或幾跡個(gè)事描務(wù)。默但事勿務(wù)允斗許出土現(xiàn)中抹止。當(dāng)一激個(gè)事賴務(wù)因猜為產(chǎn)葛生死蕩鎖而犬被中惠止的雄時(shí)候歪，首先泊讓系尋統(tǒng)恢逐復(fù)到雄事務(wù)員開(kāi)始綢前的神狀態(tài)景，以勺后事貝務(wù)可童以從擾這一誤點(diǎn)重厲新開(kāi)改始。若運(yùn)急氣好虎，事土務(wù)在章第二券次執(zhí)路行時(shí)博就應(yīng)桐該能倒成功鍬。使用鄙事務(wù)膠與不潔使用火事務(wù)蹦的差擺別在萬(wàn)于使用卷事務(wù)拉時(shí)中俱止一欄個(gè)進(jìn)援程的降后果玻要比熟不使汽用事箏務(wù)時(shí)唱的后穗果小廟的多物得多蹦。集中疫式的這死鎖躁檢測(cè)作為挖第一見(jiàn)個(gè)嘗奪試，幟我們嘉使用鏡集中蹦式的庭死鎖將檢測(cè)功算法鳳來(lái)盡揮量模蛋仿非字分布豪式的柿算法泉。集中回式的役死鎖休檢測(cè)哈算法每臺(tái)欣機(jī)器話都有根一幅鍵資源私圖以叫描述膠自己班所擁刑有的蒙進(jìn)程滋和資夜源有一夠臺(tái)中爺心機(jī)寶器擁罪有整陷個(gè)系打統(tǒng)（戀所有礎(chǔ)資源販圖的罪集合投）的忌資源見(jiàn)圖。當(dāng)協(xié)要調(diào)者盯檢測(cè)凱到了融環(huán)路姥時(shí)它輔就中懇止一蝴個(gè)進(jìn)謎程以鴨解決貧死鎖格。全局斯資源捎圖信片息的晃維護(hù)在分雅布式扭系統(tǒng)傭中需治要精惹確維鵝護(hù)全扁局資換源圖病。每臺(tái)點(diǎn)機(jī)器盲的資碰源圖腫中只岡包含戴它自嫁己的生進(jìn)程獻(xiàn)和資報(bào)源。需要攤適當(dāng)損的方少法維抗護(hù)全礦局資吊源圖啄信息帳。方法1：每論當(dāng)資們?cè)磮D射中加罪入或屠刪除患一條糞弧時(shí)持，相照應(yīng)的搜消息淋就發(fā)危送給苦協(xié)調(diào)首者以萍提供洞更新費(fèi)。方法2：每單個(gè)進(jìn)簡(jiǎn)程周航期性遼的把質(zhì)從上剛次更蠟新后卡新添吊加的沿和刪腥除的項(xiàng)弧的低列表射發(fā)送織給協(xié)努調(diào)者弟。這種禿方法奧比第會(huì)一種陵方法罵發(fā)送佛的消持息要蝕少。方法3：協(xié)鎖調(diào)者斃在需核要的治時(shí)候捕主動(dòng)衡去請(qǐng)冠求信笑息。反喘例不幸憂的是哲上述標(biāo)方法僵的效甘果都棗不太歸好。泳例如糖有這頁(yè)樣一慎種系擔(dān)統(tǒng)A和B運(yùn)行媽在機(jī)渠器0上，C運(yùn)行取在機(jī)濁器1上。共有食三種寺資源S，R和T。如圖耐，一曠開(kāi)始A擁有S并想虜請(qǐng)求R，但B正在企使用R；C擁有T并想恨請(qǐng)求S。反例舞（co探nt骨’d）協(xié)調(diào)依者看絮到的珠情況呈如圖c所示出。這種裙配置伴是安童全的轉(zhuǎn)。一誦旦B結(jié)束禾運(yùn)行龜，A就可辨以得慌到R然后象結(jié)束冒，并用釋放C所等亭待的S。反例姨（co威nt婚’d）過(guò)一存會(huì)兒鏡，B釋放R并請(qǐng)蝴求T，這肆是一循個(gè)完蓋全合愿法的兵安全棟操作復(fù)。機(jī)器0向協(xié)皇調(diào)者暢發(fā)送債一條榴消息堤聲明診它釋弦放R機(jī)器1向協(xié)追調(diào)者視發(fā)送朝了一這條消磁息聲搖明進(jìn)買(mǎi)程B正在帳等待里它的的資源T。不幸針的是深，機(jī)乳器1的消鑼息首錫先伍到達(dá)摔，這宜導(dǎo)致仆協(xié)調(diào)枕者生串成客了一租幅如稱圖d所示鼠的資顧源圖馳。根據(jù)全上圖釀中的潮信息灘，協(xié)吸調(diào)者暖將錯(cuò)愉誤的坡得出厲死鎖認(rèn)存在損的結(jié)圍論，畜并中隸止某偏個(gè)進(jìn)美程。這種閥情況帆稱為假死莫鎖。由于粗信息輩的不插完整勺和延播遲，觀使得遼分布似式系繡統(tǒng)中江的許疑多死涌鎖算棗法產(chǎn)趴生了斷類(lèi)似劉的假爐死鎖迷問(wèn)題腔。假死芬鎖問(wèn)筋題解決貝假死餅鎖問(wèn)害題一種娛可能怕的解唉決方殺法是傲使用La良mp榴or宴t算法插以提誰(shuí)供全襪局時(shí)威間。既然世從機(jī)匆器1到協(xié)年調(diào)者刊的消今息是隙由機(jī)主器0的請(qǐng)對(duì)求發(fā)征出的禍，那攤么從休機(jī)器1到協(xié)蛙調(diào)者獸的消翼息的游時(shí)間達(dá)戳就嶄應(yīng)該敬晚于冒從機(jī)姐器0到協(xié)屆調(diào)者坐的消駱息的則時(shí)間寨戳。當(dāng)協(xié)突調(diào)者槐收到習(xí)了從養(yǎng)機(jī)器1發(fā)來(lái)杯的有伸導(dǎo)致隊(duì)死鎖把嫌疑療的消期息后孔，給貿(mào)每臺(tái)鄰機(jī)器名發(fā)送白一條承消息“我春剛剛稍收到瞎一條知會(huì)導(dǎo)佛致死丘鎖的鎮(zhèn)消息丸，帶剩有時(shí)炕間戳T，若需有任憂何小紛于T的消臨息要火發(fā)給里我，股請(qǐng)立效即發(fā)繞送。擇”解決水假死妥鎖問(wèn)欠題（co霧nt菌’d）當(dāng)每覺(jué)臺(tái)機(jī)爽器或霉肯定筋或否飛定的贈(zèng)響應(yīng)述之后礙，協(xié)蹈調(diào)者掀就會(huì)啦看到忠從R到B已經(jīng)衰消失刻了，選因此潤(rùn)系統(tǒng)陣仍然酬是安隨全的崖。盡管勸這種偶方法需消除嚴(yán)了假眾死鎖離，但脹它需吧要全構(gòu)局時(shí)旱間，擺而且已開(kāi)銷(xiāo)左很大塑。其他穿的一塵些消賭除假魚(yú)死鎖材的方奧法也慣很困臣難。分布屋式的競(jìng)死鎖娘檢測(cè)Ch臂an承dy許-M卻is射ra銷(xiāo)-H儲(chǔ)aa廣s算法結(jié)（Ch閘an傻dy等，19慮83）允借許進(jìn)幟程一鎮(zhèn)次請(qǐng)巨求多受個(gè)資萍源（間如鎖事）而普不是楊一次文一個(gè)餡。通過(guò)柱允許手多個(gè)魄請(qǐng)求拴同時(shí)恐進(jìn)行路使得祥事務(wù)摸的增廟長(zhǎng)階父段加皆速。這使