-時(shí)間和全局狀態(tài)-免費(fèi)閱讀
【正文】 :29:1901:29:19March 28, 2023 ? 1意志堅(jiān)強(qiáng)的人能把世界放在手中像泥塊一樣任意揉捏。 2023年 3月 上午 1時(shí) 29分 :29March 28, 2023 ? 1少年十五二十時(shí)，步行奪得胡馬騎。 上午 1時(shí) 29分 19秒 上午 1時(shí) 29分 01:29: ? 沒(méi)有失敗，只有暫時(shí)停止成功！。 01:29:1901:29:1901:293/28/2023 1:29:19 AM ? 1以我獨(dú)沈久，愧君相見(jiàn)頻。 end while 輸出 “可能的 ?”。 明確的 ?： 對(duì)于 H的所有線性化走向 L，存在 L經(jīng)歷的一個(gè)一致的全局狀態(tài) S，而且該 S使得 ?(s) 為 True。 ? VC4：當(dāng) pi接收到消息中的時(shí)間戳 t時(shí)，設(shè)置Vi[j]=max(Vi[j],t[j]),j=1,2,...,N。 ? 所有的進(jìn)程需要在時(shí)間的 發(fā)生順序 上 達(dá)成一致 如 make程序 邏輯時(shí)間和邏輯時(shí)鐘 ? 事件排序 ? “系統(tǒng) i中的事件 a發(fā)生在系統(tǒng) j中的事件 b之前”是不準(zhǔn)確的 事件發(fā)生和觀察之間存在時(shí)延 不同系統(tǒng)中的時(shí)鐘存在偏差 ? 時(shí)間戳 (Lamport 1978) 用于分布式系統(tǒng)中的事件排序 與物理時(shí)鐘無(wú)關(guān) 實(shí)用高效，應(yīng)用廣泛 邏輯時(shí)間和邏輯時(shí)鐘 ? 兩個(gè)基本事實(shí) 同一進(jìn)程中的兩個(gè)事件存在關(guān)系 “ ?i” 任一消息的發(fā)送事件發(fā)生在該消息的接收事件之前 ? “發(fā)生在先 (happensbefore)” 關(guān)系定義 若存在進(jìn)程 pi滿足 e?ie’，則 e?e’ 對(duì)于任一消息 m，存在 send(m) ?recv(m) 若事件滿足 e?e’ 和 e’?e’’ ，則 e?e’’ ? 并發(fā)關(guān)系定義 X?Y 與 Y?X均不成立，則稱(chēng)事件 X、 Y是并發(fā)的，表示為 X ||Y 邏輯時(shí)間和邏輯時(shí)鐘 ? 事件排序示例 b?c， c?d和 d ?f成立 b?f與 e?f均成立 事件 b和 e無(wú)法比較，即 b||e p 1 p 2 p 3 a b c d e f m 1 m 2 物理 時(shí)間 邏輯時(shí)間和邏輯時(shí)鐘 ? Lamport時(shí)鐘 ? 機(jī)制 進(jìn)程維護(hù)一個(gè)單調(diào)遞增的軟件計(jì)數(shù)器，充當(dāng)邏輯時(shí)鐘 用邏輯時(shí)鐘為事件添加時(shí)間戳 按事件的時(shí)間戳大小為時(shí)間排序 ? 邏輯時(shí)鐘修改規(guī)則 進(jìn)程 pi發(fā)出事件前，邏輯時(shí)鐘 Li:=Li+1 進(jìn)程 pi發(fā)送消息 m時(shí)，在 m中添加時(shí)間戳 t=Li 進(jìn)程 pj在接收 (m,t)時(shí)，更新 Li:=max(Lj,t)+1， 給 s事 件 recv(m)添加時(shí)間戳后發(fā)送給應(yīng)用程序 a b c d e f m 1 m 2 2 1 3 4 5 1 p 1 p 2 p 3 物理 時(shí)間 邏輯時(shí)間和邏輯時(shí)鐘 ? Lamport時(shí)鐘示例 (一 ) a?b L(a)L(b) L(e)L(b) b ?e ???邏輯時(shí)間和邏輯時(shí)鐘 (a) 三個(gè)不同速率的時(shí)鐘 (b) Lamport算法校正時(shí)鐘 ? Lamport時(shí)鐘示例 (二 ) 邏輯時(shí)間和邏輯時(shí)鐘 ? Lamport時(shí)鐘練習(xí) 假設(shè)系統(tǒng)中只存在消息發(fā)送和接收事件，如下圖所示，請(qǐng)給出事件 ag的邏輯時(shí)鐘 。 ? e?e’ TiTj || Ti=Tj ij ? 系統(tǒng)中各個(gè)事件 Lamport時(shí)間戳均不相同 ?向量時(shí)鐘 ? 克服 Lamport時(shí)鐘的缺點(diǎn)： 若 L(e) L(e’)不能推出則e?e’。 c2: p1 (空 ) $1000, 0 1. 全局狀態(tài) S0 p1 p1 p1 c2 c1 (空 ) 2. 全局狀態(tài) S1 $900, 0 $900, 0 $900, 5 $50, 1995 $50, 1995 $50, 2023 $50, 2023 3. 全局狀態(tài) S2 4. 全局狀態(tài) S3 p2 p2 p2 p2 c2 c2 c2 c1 c1 c1 (定單 10， $100)， M (空 ) (空 ) (定單 10， $100)， M (五個(gè)窗口部件 ) M=標(biāo)記信息 ) (定單 10， $100) 全局狀態(tài) ? 算法終止 假設(shè)：一個(gè)進(jìn)程已經(jīng)收到了一個(gè)標(biāo)記信息，在有限的時(shí)間內(nèi)記錄了它的狀態(tài)，并在有限的時(shí)間里通過(guò)每個(gè)外出通道發(fā)送了標(biāo)記信息． 若存在一條從進(jìn)程 pi到進(jìn)程 pj的信道和進(jìn)程的路徑，那么 pi記錄它的狀態(tài)之后的有限時(shí)間內(nèi) pj將記錄它的狀態(tài)． 進(jìn)程和通道圖是強(qiáng)連接的，因此在一些進(jìn)程記錄它的狀態(tài)之后的有限時(shí)間內(nèi)，所有進(jìn)程將記錄它們的狀態(tài)和節(jié)入通道的狀態(tài)。 while (對(duì)所有可能的 S∈ States， ?(s)=False) L:=L+1。 BC: 1 ms。 。 :29:1901:29:19March 28, 2023 ? 1意志堅(jiān)強(qiáng)的人能把世界放在手中像泥塊一樣任意揉捏。 :29:1901:29Mar2328Mar23 ? 1越是無(wú)能的人，越喜歡挑剔別
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1