第章互斥問(wèn)題和選舉算法

Lamport時(shí)鐘練習(xí)假設(shè)系統(tǒng)中只存在消息發(fā)送和接收事件，如圖所示，請(qǐng)給出事件a-g的邏輯時(shí)鐘。ABC邏輯時(shí)鐘0a3b4c7d5e7f5g9a,b,c,d,e,f,g的時(shí)間分別為3,4,7,5,7,5,9不同進(jìn)程產(chǎn)生的消息可能具有相同數(shù)值的Lamport時(shí)間戳。分布式系統(tǒng)中的互斥本章主要內(nèi)容分布式系統(tǒng)互斥目標(biāo)分布式系統(tǒng)互斥基本類(lèi)型分布式系統(tǒng)互斥算法類(lèi)型分布式系統(tǒng)互斥算法的實(shí)現(xiàn)臨界區(qū)的調(diào)度原則臨界資源：一次只允許一個(gè)進(jìn)程訪問(wèn)的共享資源。臨界區(qū)：每個(gè)進(jìn)程中訪問(wèn)臨界資源的一段程序代碼。進(jìn)程進(jìn)入臨界區(qū)的調(diào)度原則：①如果有若干進(jìn)程要求進(jìn)入空閑的臨界區(qū)，一次僅允許一個(gè)進(jìn)程進(jìn)入。②任何時(shí)候，處于臨界區(qū)內(nèi)的進(jìn)程不可多于一個(gè)。如已有進(jìn)程進(jìn)入自己的臨界區(qū)，則其它所有試圖進(jìn)入臨界區(qū)的進(jìn)程必須等待。③進(jìn)入臨界區(qū)的進(jìn)程要在有限時(shí)間內(nèi)退出，以便其它進(jìn)程能及時(shí)進(jìn)入自己的臨界區(qū)?；コ馑惴ǖ哪繕?biāo)互斥的主要目標(biāo)是保證在一個(gè)時(shí)刻只能有一個(gè)進(jìn)程訪問(wèn)臨界區(qū)。在非基于令牌的算法中，所有進(jìn)程相互通信來(lái)決定哪個(gè)進(jìn)程可以執(zhí)行臨界區(qū)。在基于令牌的算法中引入了令牌的概念。令牌代表了一個(gè)控制點(diǎn)，它在所有的進(jìn)程間傳遞。一個(gè)進(jìn)程擁有令牌時(shí)就可以進(jìn)入臨界區(qū)。分布式系統(tǒng)中的互斥算法在分布式系統(tǒng)中，經(jīng)常出現(xiàn)多個(gè)進(jìn)程請(qǐng)求訪問(wèn)同一個(gè)臨界資源的問(wèn)題，為了協(xié)調(diào)訪問(wèn)，保證訪問(wèn)的正確性（無(wú)死鎖，無(wú)饑餓現(xiàn)象），需要給出一種有效的互斥算法?；コ馐欠植际较到y(tǒng)設(shè)計(jì)的關(guān)鍵問(wèn)題。為了保證數(shù)據(jù)一致性、邏輯一致性及時(shí)序一致性，分布式互斥算法必須具有公平、健壯和易于實(shí)現(xiàn)的特點(diǎn)。互斥算法的控制機(jī)制互斥算法的分類(lèi)基于令牌的算法：通過(guò)令牌擁有權(quán)來(lái)控制對(duì)共享資源的訪問(wèn)。非基于令牌的算法：通過(guò)進(jìn)程之間的消息交換來(lái)協(xié)商對(duì)共享資源的訪問(wèn)。互斥算法的適應(yīng)性靜態(tài)互斥算法：算法的行為獨(dú)立于系統(tǒng)的狀態(tài)動(dòng)態(tài)互斥算法：算法的行為依賴(lài)于系統(tǒng)的狀態(tài)互斥算法應(yīng)滿足的條件無(wú)死鎖：當(dāng)資源可用時(shí)進(jìn)程不應(yīng)該永遠(yuǎn)等待無(wú)饑餓現(xiàn)象：每個(gè)對(duì)資源的訪問(wèn)請(qǐng)求最終都應(yīng)能得到滿足公平性：進(jìn)程對(duì)資源訪問(wèn)權(quán)的獲得應(yīng)是相對(duì)公平的。衡量織互斥普算法免性能堡的參街?jǐn)?shù)每個(gè)丈請(qǐng)求步的消息魚(yú)數(shù)同步鉤延遲：一基個(gè)進(jìn)李程離祝開(kāi)臨湯界區(qū)畫(huà)到下胖一個(gè)鈴進(jìn)程懲進(jìn)入遲該臨甘界區(qū)晉的時(shí)惕間間卵隔，但對(duì)共新享資望源的悉有效丹訪問(wèn)曠間隔輔。反應(yīng)臟時(shí)間：進(jìn)狐程發(fā)森出訪跑問(wèn)請(qǐng)慨求到園執(zhí)行順完訪池問(wèn)操道作的容時(shí)間可間隔股，主糟要依肢賴(lài)于膛系統(tǒng)敲的負(fù)閥載和稼調(diào)度央的合膚理性?xún)?。La差mp播or怖t互斥衡算法?為了溫請(qǐng)求笛資源魚(yú)，進(jìn)紹程Pi發(fā)送若帶時(shí)梨標(biāo)的俯消息r給系叨統(tǒng)中愚的所狠有進(jìn)倡程，茶包括槳它自?xún)€己；?任意敲進(jìn)程Pj收到漠請(qǐng)求諒資源辜的消傳息時(shí)傾，將做該消莫息按傳時(shí)標(biāo)第順序計(jì)放在飼自己味的局女部請(qǐng)忍求隊(duì)印列中譯并發(fā)居回一絡(luò)個(gè)帶偽時(shí)戳膚的應(yīng)商答；?進(jìn)程Pi獲得信資源男訪問(wèn)條權(quán)的受條件紛是–它已假收到癥從其么它所診有進(jìn)麗程發(fā)借來(lái)的曾應(yīng)答–它的繁請(qǐng)求r在它損的請(qǐng)次求隊(duì)疑列的紋頂部–它從票所有僻其它浸進(jìn)程廳處收秘到的述消息夜的時(shí)敗標(biāo)均農(nóng)比r的時(shí)塘戳大益；?為了采釋放邀資源釀，進(jìn)阻程Pi發(fā)送點(diǎn)一個(gè)塘帶時(shí)輛戳的羽消息砌給所命有的絮進(jìn)程以，包染括它輝自己彩；?任意鏟進(jìn)程Pj收到上來(lái)自Pi的資瘋源釋輔放消握息時(shí)娘，要熱從自魔己的贊局部電請(qǐng)求死隊(duì)列堵中清鳴除所衛(wèi)有來(lái)麥自Pi的請(qǐng)忍求。一個(gè)勇例子改進(jìn)勤的La迎mp限or項(xiàng)t互斥釘算法（1）當(dāng)薯進(jìn)程Pi需要洞占用晨公區(qū)戚時(shí)，竊向所斬有進(jìn)航程發(fā)比送請(qǐng)渡求，持對(duì)于K-互斥押?jiǎn)栴}庸，請(qǐng)對(duì)求消捎息包絹括公怠區(qū)號(hào)哄、進(jìn)泊程號(hào)魄和時(shí)聞間戳徐。接收慨進(jìn)程Pj收到煤請(qǐng)求統(tǒng)消息仁后，同執(zhí)行怒如下蘇操作牌：如果Pj沒(méi)有汪占用粉該公脂區(qū)也準(zhǔn)沒(méi)有攏申請(qǐng)蒸使用真它，頁(yè)則向惡請(qǐng)求門(mén)進(jìn)程射發(fā)送暗一個(gè)繼確認(rèn)鑒消息獅。如果Pj正在滋使用鐵該公仰區(qū)，牽則不踩發(fā)送申確認(rèn)本消息拐，暫預(yù)存請(qǐng)遼求消勸息。如果Pj正在況申請(qǐng)柏使用逗該公宅區(qū)，鍛則比老較請(qǐng)知求消哲息時(shí)搜間戳筐與本嚴(yán)身請(qǐng)注求時(shí)范間戳鉗的大現(xiàn)小，殲時(shí)間選戳小濱者優(yōu)驕先。呆若Pi的時(shí)體間戳猶小，禮則Pj發(fā)送嬸一個(gè)危確認(rèn)集消息繭，若Pj的時(shí)膠間戳牧小，輛則Pi不發(fā)耐送確劇認(rèn)消筑息。第（2）當(dāng)久進(jìn)程Pi收到梢所有舅其他缸進(jìn)程洋發(fā)來(lái)梨的響蛛應(yīng)時(shí)遠(yuǎn)，便亞可訪鑒問(wèn)該壺資源隙。游（3）當(dāng)周進(jìn)程蕉釋放鄉(xiāng)豐該資兔源后社，向攤所有彩被暫趟存的因請(qǐng)求活發(fā)送嘗一個(gè)主確認(rèn)梁消息香并刪瘦除暫忠存隊(duì)顏列。Ri創(chuàng)ca管rt和Ag魄ra舅wa翅la互斥使算法Ri載ca墊rt和Ag鞋ra鉆wa鞠la互斥凍算法要求送分布擇式系匹統(tǒng)的射所有歇事件輩是全偶序的溫，進(jìn)慮程按豎請(qǐng)求駛的順侮序獲撓得對(duì)貨公區(qū)卡的訪飯問(wèn)。進(jìn)程屠若未輝收到穩(wěn)所有謠的應(yīng)蹄答，移就表甜明有儲(chǔ)優(yōu)先病級(jí)更蔥高的星請(qǐng)求旗存在嗚。交換蚊的消瘋息數(shù)醫(yī)量降遮至2(橫n-期1)個(gè)t11t12Ri圓ca蓮rt和Ag脹ra鏡wa貢la互斥畜算法岡的特循點(diǎn)能夠宿實(shí)現(xiàn)冠諸進(jìn)鋪程對(duì)酷共享蘆資源紫的互曬斥訪姑問(wèn)。能夠門(mén)保證深不發(fā)破生死房誠(chéng)鎖，鼠因?yàn)橄樵谶M(jìn)畏程--資源渾圖中嚷，不畏會(huì)出?，F(xiàn)環(huán)鐮路。不會(huì)果出現(xiàn)盯饑餓復(fù)現(xiàn)象棗，因遲為對(duì)殼共享楚資源顆的訪騾問(wèn)是獲按照厘郵戳鐮時(shí)間堪排序懂的，癥即按嗓照FC漲FS原則融服務(wù)配的。每次欺對(duì)共維享資燃源訪童問(wèn)時(shí)腔，只幸要求臺(tái)發(fā)2(桐N-盾1)個(gè)消確息閉。Ri長(zhǎng)ca蒜rt和Ag互ra握wa加la算法潑的缺基陷由于棉不應(yīng)志答被名認(rèn)為著是資麗源被陡占用善，所酬以如駕果有伸某個(gè)豆節(jié)點(diǎn)吉故障田，會(huì)度導(dǎo)致吸該算襖法的誕異常鉗終止蜘。各進(jìn)贏程對(duì)蘆資源層的使跌用情塘況缺稼乏了完解。Ma墓ek技aw潑a算法基本削思想將進(jìn)勁程分好成多衛(wèi)個(gè)請(qǐng)挎求子配集，挖要求肅這些右集合屈兩兩煉相交邁。進(jìn)程Pi只要期得到名所屬袍集合鋒中所巖有進(jìn)輝程的夏應(yīng)答臥后可允訪問(wèn)挨共享眨資源飯。Ma柱ek跨aw誘a算法將n個(gè)進(jìn)燙程分存成多療個(gè)子榆集，國(guó)子集以長(zhǎng)度k與進(jìn)劇程個(gè)用數(shù)的損關(guān)系孝為n=薯k(池k-蘿1)嬌+1進(jìn)程Pi在請(qǐng)美求訪倍問(wèn)資緒源時(shí)睜，向渡自己尺的請(qǐng)蜂求子外集Ri發(fā)出艷請(qǐng)求選消息Ri中的巴進(jìn)程Pj在收戰(zhàn)到請(qǐng)鬧求后納，執(zhí)扮行如普下操墓作：如果Pj記錄要的資伴源狀芳態(tài)為毛可用慨，向Pi返回高一個(gè)晃應(yīng)答如果Pj記錄馳的資沉源狀授態(tài)為廉占有裕，則貫將這紀(jì)個(gè)請(qǐng)獸求放盯入自只己的乳請(qǐng)求鴿隊(duì)列(時(shí)標(biāo)啦取請(qǐng)滑求到澇達(dá)的擺時(shí)間)。Pi只有習(xí)在得殘到Ri中所步有進(jìn)厚程的鑄應(yīng)答文后才軋能訪烏問(wèn)資嬌源Pi在訪候問(wèn)結(jié)藥束后勿要向Ri中的傻所有衰進(jìn)程睛發(fā)送帽釋放承消息鮮。Ri中的隸進(jìn)程尖在收菊到釋餡放消傍息后莊，如注果自燥己的播請(qǐng)求恰隊(duì)列孕為空膊，則碌將資麻源狀具態(tài)改土為可戚用，躍否則愿從隊(duì)安列中凝選擇姑一個(gè)仔請(qǐng)求動(dòng)發(fā)送揭應(yīng)答穩(wěn)。Ma捎ek點(diǎn)aw扛a算法酬的實(shí)久現(xiàn)Ma來(lái)ek厲aw條a算法造缺陷容易碗導(dǎo)致悼死鎖:假設(shè)P1垮,P慕6,白P7同時(shí)陜申請(qǐng)萍臨界加區(qū)ACKP1P7P2P6P3P4ACKACKREQREQREQ作業(yè)13個(gè)進(jìn)逗程共哀享一磨個(gè)資營(yíng)源，很用Ma兆ek喜aw竭a算法播來(lái)支療持互醫(yī)斥，買(mǎi)請(qǐng)劃限分進(jìn)蹤蝶程請(qǐng)慰求子劫集基于竄令牌梁的互擇斥算石法在基懂于令但牌的暗互斥拖算法汪中，物互斥誓是通短過(guò)在樸進(jìn)程更之間崇傳遞少一個(gè)挽特殊釋的消適息來(lái)總實(shí)現(xiàn)性的。株這個(gè)壇消息部即是丟令牌謠。令牌面代表淚了一耳個(gè)控弄制點(diǎn)租，它炮在所租有的腹進(jìn)程莊間傳智遞。一個(gè)旺進(jìn)程米當(dāng)且猾僅當(dāng)倡擁有察令牌駛時(shí)就戴可以屯進(jìn)入抱臨界抖區(qū)。當(dāng)令辰牌被讀傳遞制到某礦一個(gè)盞進(jìn)程釋時(shí)，拿如果而這個(gè)邊進(jìn)程棵不需距要訪觀問(wèn)臨病界區(qū)效，則昨把令士牌傳由遞給刺下一燥個(gè)進(jìn)項(xiàng)程，懶否則俱在訪典問(wèn)完陪臨界斗區(qū)才褲將令饅牌傳刊遞到姑下一替?zhèn)€進(jìn)臉程?；谖浟钆普Q的互挽斥算積法R留i削c員a矮r表t和A耍g父r豆a禍w景a吹l盤(pán)a提出坑了進(jìn)六一步腎改進(jìn)鳳：進(jìn)秋入臨幅界區(qū)徒的進(jìn)謎程保胡留令弊牌。初始錯(cuò)時(shí)，吃令牌尺被賦駐予任西意一醫(yī)個(gè)進(jìn)債程Pi。進(jìn)程Pj通過(guò)科向其覺(jué)他進(jìn)璃程廣捉播一弄個(gè)帶德時(shí)戳澇的消紛息來(lái)蛾請(qǐng)求斷令牌駛。如果秤當(dāng)前曉擁有響令牌果的進(jìn)疼程Pi不再剝需要押使用慢臨界做區(qū)，唯它就謙按照i＋1,期i＋2,輝…觸,狼n,牙1受,替2,促…沈,房誠(chéng)i－1的順阿序搜拼索其舉他進(jìn)盟程找出告第一叉?zhèn)€進(jìn)大程Pj，滿稠足條蘆件：Pj最后坦一次池請(qǐng)求短令牌盤(pán)的時(shí)盟戳大勝于在余令牌拾中記課錄的Pj最后幣一次仍擁有護(hù)令牌利的時(shí)浴戳。當(dāng)滿糖足以戀上條月件時(shí)塊，Pi把令坐牌傳乎遞給Pj。Ri感ca觀rt邪-A府gr稿aw耀al剃a令牌荒互斥弦算法Ri幅ca餐rt和Ag疾ra嗽wa垂la的第州二個(gè)偵算法算法春描述P(咐i):療:=鏟*[請(qǐng)求鋼資源□消供費(fèi)□釋膛放資柄源□處嬸理-請(qǐng)求-消息□其職他]Ri舉ca臘rt和Ag奧ra紅wa刷la的第隔二個(gè)雪算法需要作的變茶量Cl蜘oc記k:陡0,些1,域……赤,（初塘始化挎為0）to岸ke若n_波pr廁es憑en膠t:頃Bo煙o(wú)l裝ea笛n(除了洗一個(gè)貪進(jìn)程裙，對(duì)島其他鋼進(jìn)程之均為F)to衛(wèi)ke咐n_笨he污ld劑:B腳oo俊le港an(令牌暖為當(dāng)夫前進(jìn)田程擁姻有，喜初始宗為F)to頓ke啦n:雪ar屈ra額y(戒1.留.n理)肆of咱c慘lo胸ck磨(最后遠(yuǎn)用完倉(cāng)時(shí)間)re星qu懇es株t:咬ar纖ra嬸y(棍1.紡.n貨)知of竿c尿lo江ck降(最后仙申請(qǐng)落時(shí)間)每個(gè)拌進(jìn)程堅(jiān)有一抄個(gè)局培部cl扮oc醉k,鼠to犯ke羞n_那pr得es焦en旋t和to迅ke泥n_堤he像ldRi葡ca芬rt和Ag袋ra障wa秋la的第怠二個(gè)合算法Pi中的饅函數(shù)念定義鑼?zhuān)浩渌?:術(shù)=所有威其他相不請(qǐng)母求進(jìn)容入臨燒界區(qū)攀的動(dòng)鉆作消費(fèi)::境=進(jìn)入忠臨界惠區(qū)后巨消費(fèi)撓資源請(qǐng)求褲資源::協(xié)=[to浸ke捏n_蝦pr繭es及en特t=T→計(jì)[s柏en翻d(印re稀qu紙es棄t_鞏si畜gn嘴al乎,c震lo庭ck沙,i)符to亮a開(kāi)ll柏;re榆ce魔iv腰e(春ac躍ce酬ss遍_(kāi)s宴ig束na擴(kuò)l,負(fù)to嶺ke指n);to邀ke虎n_嫌pr槽es鉛en恭t:=寇T;to瘦ke眼n_垮he科ld:=照T]]釋放釣資源::陡=[to陵ke欣n(森i):千=c濕lo感ck倘;to什ke評(píng)n_遺he悔ld:=誕F;mi贏n估j律i綱n難th膀e脾or壩de添r終[i糊+1宣,…功,n靠,1云,2宮,…病,i救-2茄,i托-1柜]津∩(re歷qu輸es壩t(談j)>to奪ke宏n(顏j))獵→攀[to耕ke盲n_孝pr遠(yuǎn)es倚en余t:=姓F;se羽nd統(tǒng)(a缺cc章es平s_婚si懶g(shù)n怎al匹,t電ok摔en)木t競(jìng)oPj]]Ri潮ca釘rt和Ag涼ra缸wa旦la的第獵二個(gè)頁(yè)算法處理-請(qǐng)求-消息::間=[聽(tīng)re消ce餐iv甲e書(shū)(r龍eq疤ue喬st創(chuàng)_詢(xún)si通gn雞al淘,浸k,今j津)→[re明qu屢es耳t(惕j):摔=ma歲x(惰re狠qu郵es席t(作j)衣,k)熊;to唉ke計(jì)n_箏pr財(cái)es袋en跡t∧析?t遣ok對(duì)en冬_h軟el甩d→釋放項(xiàng)資源]]存在蜻問(wèn)題當(dāng)請(qǐng)凳求進(jìn)育程沒(méi)川有持胃有令揪牌時(shí)拜，以清上算紗法需保要n個(gè)消爬息（n－1個(gè)用新于廣噸播請(qǐng)?zhí)呵螅?個(gè)用亂于傳富送令富牌）變。當(dāng)請(qǐng)?bào)w求進(jìn)絹程持仰有令袖牌時(shí)受，以采上算萌法需嘉要0個(gè)消違息。存在皂問(wèn)題鑒：請(qǐng)求湖資源麥可能矮在to疑ke豎n_音pr幫es知en撒t:=組T之后趕而在to籮ke壁n汽_h墳el么d:＝T之前攏被處晚理-請(qǐng)求-消息季所中允斷。慎這種押情況裳下，斧被中汗斷的刪進(jìn)程薦將不嚼得不梢釋放趟剛剛題收到將的令黃牌。解決櫻問(wèn)題批的方矮法：讓這逐兩個(gè)謠語(yǔ)句護(hù)合并繳為一京個(gè)原防子語(yǔ)跨句，曠也就仍是說(shuō)范，這耽兩個(gè)賽語(yǔ)句扁作為逐一個(gè)薦語(yǔ)句燒來(lái)對(duì)含待。把to將ke厘n_闖he軟ld:=松T放在to聞ke杠n_疑pr燈es繼en疫t:=紐奉T之前惡?；诓┝钆茙r環(huán)的受簡(jiǎn)單杠算法如果刺進(jìn)程Pi踐,(妻i=1榨…n繼)連接練成一盆個(gè)環(huán)歌，該永令牌概繞環(huán)鞋傳遞睜。在簡(jiǎn)屠單令月牌環(huán)忽算法知中，想進(jìn)程喊有序港構(gòu)成朗一個(gè)淚邏輯償環(huán)，泰令牌勸有序督繞環(huán)掀前進(jìn)黃，使罵得每隊(duì)個(gè)進(jìn)席程都妄能擁垂有令擋牌?；谕吡钆葡h(huán)的弄簡(jiǎn)單督算法圖2基于辛令牌充環(huán)的樹(shù)算法Pi既(1銷(xiāo)..明n多):覆:＝[r惠ec焰ei稍ve角t村ok羽en叔f污ro陡mP(侄(i－1)籠mo顫d另n）；如果射需要銹消費(fèi)挎資源;se瘋nd副to凳ke敘n齡toP(嫌(i＋1)巧mo歪d舍n）]分布脈式-互斥:焰:＝|淋|P(劑i：1.恥.病n)基于涼令牌通環(huán)的討簡(jiǎn)單因算法適合姓高負(fù)袍荷的葵環(huán)境嶄，低低負(fù)荷哈環(huán)境籃造成去令牌花的低代效移赤動(dòng)，宅浪費(fèi)戚系統(tǒng)認(rèn)資源拉。令牌那在移過(guò)動(dòng)過(guò)申程中家可能誼會(huì)丟獎(jiǎng)失?；谛g(shù)令牌本環(huán)的典容錯(cuò)富算法(雙令贈(zèng)牌互螺斥算口法)動(dòng)態(tài)寄單一彎控制貸點(diǎn)算抵法（dy熄na規(guī)mi引c稀si饞ng梯leco緞nt塔rlpo土in什t惠al蒼go派ri社th名m）有此可能我丟失煌控制哥點(diǎn)(令牌)。容錯(cuò)茫算法甲使用傳兩個(gè)潔令牌倡（A和B）,其中曬一個(gè)揚(yáng)令牌教負(fù)責(zé)壺檢測(cè)幣另一零個(gè)令章牌可晶能的射丟失悄。其望中的憲一個(gè)憐令牌春用來(lái)需控制輝訪問(wèn)奴共享深資源電。兩個(gè)折令牌談按照詢(xún)相反灘方向北沿著覽環(huán)訪并問(wèn)進(jìn)卵程。在該命算法皇中，篩如果獄某一褲個(gè)進(jìn)貧程被變同一榮個(gè)令碎牌連堡續(xù)兩淚次訪鴿問(wèn)，蜻則令懇牌的喉丟失污被檢春測(cè)到大。算法僚基本齡思想雙令送牌互銹斥算開(kāi)法使妖用兩斤個(gè)令炊牌(A績(jī),B蒼)，每盡個(gè)令馳牌各濃自帶也有一紐奉個(gè)變預(yù)量(N在A,近NB羨)。NA：保玻存連濤續(xù)訪故問(wèn)Mi值為1的進(jìn)類(lèi)程的下個(gè)數(shù)NB：保什存連溝續(xù)訪侍問(wèn)Mi值為-1的進(jìn)趴程的貸個(gè)數(shù)Mi：指段定某貸個(gè)進(jìn)殿程是門(mén)否為A令牌詢(xún)或B令牌涉訪問(wèn)肆，如歐果為秩正值贈(zèng)，則熄被A令牌孔訪問(wèn)盤(pán)，如紛果為稻負(fù)值肥，則煤被B令牌振訪問(wèn)跟。訪琴問(wèn)次好數(shù)由狀具體論的數(shù)攤值決史定。假設(shè)際環(huán)中交有n個(gè)進(jìn)浩程(P席1到Pn)，每背個(gè)進(jìn)鑒程帶集有一幟個(gè)變余量Mi押(1賠≦i屈≦n駕)。當(dāng)兩抬個(gè)令粉牌相頸遇時(shí)何，更羨新NA藏,N響B(tài)。基本芹步驟界：(1廢)算法申開(kāi)始絕時(shí)：NA筋:=為1,蠻NB偏:=腹-1綱;突Mi孤=0擔(dān)(1濾≦i昌≦n慈)雙令葡牌算占法示俊意圖P1P6P3P4P5P2A令牌B令牌雙令小牌互搖斥算括法算法糊基本袍思想(2藏)當(dāng)進(jìn)龍程Pi接收諒到令普牌A時(shí)If感Mi顫==郊NATh狼en{令牌B丟失敬：令邁牌A在沒(méi)蛛有改費(fèi)變NA的情野況下碧繞令閥牌環(huán)漂網(wǎng)轉(zhuǎn)凱了一如周，歪也同穩(wěn)時(shí)表該示在傳令牌B這段狼時(shí)間鞋內(nèi)沒(méi)薯有訪匪問(wèn)過(guò)Pi麥}重構(gòu)鏡令牌B；El伙se衡{令牌B無(wú)丟練