章分布式數(shù)據(jù)庫(kù)中的可靠性實(shí)用教案

1、會(huì)計(jì)學(xué)1章分布式數(shù)據(jù)庫(kù)中的可靠性章分布式數(shù)據(jù)庫(kù)中的可靠性第一頁(yè)，共87頁(yè)。1.1 分布式數(shù)據(jù)庫(kù)可靠性概念1 分布式數(shù)據(jù)庫(kù)可靠性概念及其度量第1頁(yè)/共87頁(yè)第二頁(yè)，共87頁(yè)。Ready故障(gzhng)出現(xiàn)Site1也Ready故CommitSite 2 等待(dngdi)此時(shí)(c sh)Site 2有兩種可能:a 以正確性為標(biāo)準(zhǔn)，x2則等待, 并Lock 2, 直到故障恢復(fù)。提高了可靠性，但犧牲了可用性。b 引入不一致性的風(fēng)險(xiǎn)下, 盡量提高可用性，解鎖x2, 其它事務(wù)可以使用它的值。Site 1 正常結(jié)束1.1 分布式數(shù)據(jù)庫(kù)可靠性概念1 分布式數(shù)據(jù)庫(kù)可靠性概念及其度量已知x1和x2是x的副本事

2、務(wù)T是更新x的事務(wù)Site 1是協(xié)調(diào)站點(diǎn)Site 1是事務(wù)T原發(fā)站點(diǎn)遵守兩階段提交協(xié)議第2頁(yè)/共87頁(yè)第三頁(yè)，共87頁(yè)。1.2 平均故障間隔時(shí)間和平均修復(fù)時(shí)間1 分布式數(shù)據(jù)庫(kù)可靠性概念及其度量第3頁(yè)/共87頁(yè)第四頁(yè)，共87頁(yè)。component1component2component3環(huán)境(hunjng)系統(tǒng)(xtng)刺激響應(yīng)系統(tǒng)規(guī)范說(shuō)明（Specification） 系統(tǒng)提供的對(duì)所有可能的刺激將產(chǎn)生的響應(yīng)行為必須遵循的說(shuō)明2.1 系統(tǒng)失敗的原因2 分布式數(shù)據(jù)庫(kù)系統(tǒng)的故障原因和容錯(cuò)技術(shù)第4頁(yè)/共87頁(yè)第五頁(yè)，共87頁(yè)。2.1 系統(tǒng)失敗的原因2 分布式數(shù)據(jù)庫(kù)系統(tǒng)的故障原因和容錯(cuò)技術(shù)第5頁(yè)/共8

3、7頁(yè)第六頁(yè)，共87頁(yè)。軟件故障是瞬變性故障2.1 系統(tǒng)失敗的原因2 分布式數(shù)據(jù)庫(kù)系統(tǒng)的故障原因和容錯(cuò)技術(shù)第6頁(yè)/共87頁(yè)第七頁(yè)，共87頁(yè)。2.1 系統(tǒng)失敗的原因2 分布式數(shù)據(jù)庫(kù)系統(tǒng)的故障原因和容錯(cuò)技術(shù)第7頁(yè)/共87頁(yè)第八頁(yè)，共87頁(yè)。永久性故障(gzhng)錯(cuò)誤(cuw)的設(shè)計(jì)不穩(wěn)定或者(huzh)臨界的組件不穩(wěn)定的外部環(huán)境操作者的過(guò)失系統(tǒng)失敗永久性錯(cuò)誤間歇性錯(cuò)誤瞬變的錯(cuò)誤系統(tǒng)失敗的原因第8頁(yè)/共87頁(yè)第九頁(yè)，共87頁(yè)。2.2 基本容錯(cuò)方法和技術(shù)2 分布式數(shù)據(jù)庫(kù)系統(tǒng)的故障原因和容錯(cuò)技術(shù)第9頁(yè)/共87頁(yè)第十頁(yè)，共87頁(yè)。n平均故障間隔時(shí)間(MTBF)：在可以自我修復(fù)的系統(tǒng)中相繼的失敗之間的期望時(shí)

4、間, 由經(jīng)驗(yàn)或從可靠性函數(shù)計(jì)算2.2 基本容錯(cuò)方法和技術(shù)2 分布式數(shù)據(jù)庫(kù)系統(tǒng)的故障原因和容錯(cuò)技術(shù)第10頁(yè)/共87頁(yè)第十一頁(yè)，共87頁(yè)。 MTBF MTTDMTTR在這段時(shí)間內(nèi)，可能(knng)發(fā)生多起錯(cuò)誤故障(gzhng)發(fā)生造成(zo chn)錯(cuò)誤檢測(cè)到錯(cuò)誤修復(fù)故障發(fā)生造成錯(cuò)誤時(shí)間 相繼發(fā)生的事件2.2 基本容錯(cuò)方法和技術(shù)2 分布式數(shù)據(jù)庫(kù)系統(tǒng)的故障原因和容錯(cuò)技術(shù)第11頁(yè)/共87頁(yè)第十二頁(yè)，共87頁(yè)。2.2 基本容錯(cuò)方法和技術(shù)2 分布式數(shù)據(jù)庫(kù)系統(tǒng)的故障原因和容錯(cuò)技術(shù)第12頁(yè)/共87頁(yè)第十三頁(yè)，共87頁(yè)。易失存儲(chǔ)(cn ch)丟失 穩(wěn)定(wndng)存儲(chǔ) ok 故障-停止模塊 不斷地對(duì)自身進(jìn)行檢

5、測(cè)，當(dāng)檢測(cè)到一個(gè)故障時(shí)，就自動(dòng)停止。 優(yōu)點(diǎn)是縮短了故障檢測(cè)的潛伏期。2.2 基本容錯(cuò)方法和技術(shù)2 分布式數(shù)據(jù)庫(kù)系統(tǒng)的故障原因和容錯(cuò)技術(shù)第13頁(yè)/共87頁(yè)第十四頁(yè)，共87頁(yè)。2.2 基本容錯(cuò)方法和技術(shù)2 分布式數(shù)據(jù)庫(kù)系統(tǒng)的故障原因和容錯(cuò)技術(shù)第14頁(yè)/共87頁(yè)第十五頁(yè)，共87頁(yè)。3.1 分布式數(shù)據(jù)庫(kù)系統(tǒng)故障3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議站點(diǎn)故障(gzhng)第15頁(yè)/共87頁(yè)第十六頁(yè)，共87頁(yè)。3.2 局部可靠性協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第16頁(yè)/共87頁(yè)第十七頁(yè)，共87頁(yè)。數(shù)據(jù)庫(kù)緩沖區(qū)(易變數(shù)據(jù)庫(kù))局部(jb)恢復(fù)管理器數(shù)據(jù)庫(kù)緩沖區(qū)管理器主存取出,沖洗(chngx)讀/寫(xiě)穩(wěn)定(wndng)D

6、B讀/寫(xiě)LRM與緩沖區(qū)管理器的接口3.2 局部可靠性協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第17頁(yè)/共87頁(yè)第十八頁(yè)，共87頁(yè)。舊的穩(wěn)定DB狀態(tài)新的穩(wěn)定DB狀態(tài)Redo數(shù)據(jù)庫(kù)Log新的穩(wěn)定DB狀態(tài)舊的穩(wěn)定DB狀態(tài)Undo數(shù)據(jù)庫(kù)Log3.2 局部可靠性協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第18頁(yè)/共87頁(yè)第十九頁(yè)，共87頁(yè)。3.2 局部可靠性協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第19頁(yè)/共87頁(yè)第二十頁(yè)，共87頁(yè)。3.3 分布式可靠性協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第20頁(yè)/共87頁(yè)第二十一頁(yè)，共87頁(yè)。3.3 分布式可靠性協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第21頁(yè)/共87頁(yè)第二十二頁(yè)，共87頁(yè)。3.3 分布式

7、可靠性協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第22頁(yè)/共87頁(yè)第二十三頁(yè)，共87頁(yè)。3.4 兩階段提交協(xié)議的演變3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第23頁(yè)/共87頁(yè)第二十四頁(yè)，共87頁(yè)。協(xié)調(diào)者參與者PREPAREPREPAREDCOMMITACK2PC-提交(tjio)第24頁(yè)/共87頁(yè)第二十五頁(yè)，共87頁(yè)。協(xié) 調(diào) 者參 與 者PREPARENOABORTACK2PC-夭折(yozh)第25頁(yè)/共87頁(yè)第二十六頁(yè)，共87頁(yè)。IWCAIRCAcommit-申請(qǐng)(shnqng) 申請(qǐng)(shnqng)-prepare* no abort* prepared* commit commit ACK 申請(qǐng)(shnqn

8、g)-prepare prepared 申請(qǐng)(shnqng)-prepare no abort ACKF ACK* ACK* 標(biāo)記: 輸入消息 輸出消息* = 每一個(gè)3.4 兩階段提交協(xié)議的演變3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第26頁(yè)/共87頁(yè)第二十七頁(yè)，共87頁(yè)。3.4 兩階段提交協(xié)議的演變3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第27頁(yè)/共87頁(yè)第二十八頁(yè)，共87頁(yè)。3.4 兩階段提交協(xié)議的演變3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第28頁(yè)/共87頁(yè)第二十九頁(yè)，共87頁(yè)。3.5 事務(wù)阻斷與終結(jié)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第29頁(yè)/共87頁(yè)第三十頁(yè)，共87頁(yè)。障（此時(shí)，所有參與者站點(diǎn)都是可工作的，參與者可以選舉一

9、個(gè)新的協(xié)調(diào)者，然后繼續(xù)）3.5 事務(wù)阻斷與終結(jié)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第30頁(yè)/共87頁(yè)第三十一頁(yè)，共87頁(yè)。3.6 2PC協(xié)議的終結(jié)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第31頁(yè)/共87頁(yè)第三十二頁(yè)，共87頁(yè)。IWCAFcommit-申請(qǐng)(shnqng)申請(qǐng)(shnqng)-prepare*ack*-ack*-_t_abortanyabortanycommit_t_commit_t_abort*noabort*prepared*commit*t=timeout第32頁(yè)/共87頁(yè)第三十三頁(yè)，共87頁(yè)。IRCA申請(qǐng)(shnqng)-prepareprepared等價(jià)于結(jié)束(jish)狀態(tài)_t_

10、 ping申請(qǐng)(shnqng)-preparenocommitackabortackcommitackabortack第33頁(yè)/共87頁(yè)第三十四頁(yè)，共87頁(yè)。3.6 2PC協(xié)議的終結(jié)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第34頁(yè)/共87頁(yè)第三十五頁(yè)，共87頁(yè)。3.6 2PC協(xié)議的終結(jié)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第35頁(yè)/共87頁(yè)第三十六頁(yè)，共87頁(yè)。3.7 2PC協(xié)議的恢復(fù)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第36頁(yè)/共87頁(yè)第三十七頁(yè)，共87頁(yè)。3.7 2PC協(xié)議的恢復(fù)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第37頁(yè)/共87頁(yè)第三十八頁(yè)，共87頁(yè)。3.8 三階段提交協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第38頁(yè)

11、/共87頁(yè)第三十九頁(yè)，共87頁(yè)。一種狀態(tài)作為緩沖狀態(tài), 從而有了3PC協(xié)議3.8 三階段提交協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第39頁(yè)/共87頁(yè)第四十頁(yè)，共87頁(yè)。IWACcommitpreparevote-abortglobal-abortvote-commitprepare-to-commitIRACpreparevote-commitglobal-abortACKprepare-to-commitready-to-commitpreparevote-abort3PC中事務(wù)的狀態(tài)(zhungti)轉(zhuǎn)換圖PCPCready-to-commitglobal-commit global-commi

12、tACK(a) 協(xié)調(diào)者(b) 參與者第40頁(yè)/共87頁(yè)第四十一頁(yè)，共87頁(yè)。協(xié)調(diào)者參與者 PREPAREPREPAREDCOMMITDONE PRECOMMITACK第41頁(yè)/共87頁(yè)第四十二頁(yè)，共87頁(yè)。協(xié)調(diào)者參與者 PREPARENOABORTDONE第42頁(yè)/共87頁(yè)第四十三頁(yè)，共87頁(yè)。協(xié)調(diào)者參與者開(kāi)始-3PC 記錄(jl)寫(xiě)Log (參與者列表)commit記錄(jl)寫(xiě)Log (狀態(tài)C)prepared記錄(jl)寫(xiě)Log (狀態(tài) W)committed 記錄寫(xiě)Log (狀態(tài) C) PREPAREPREPAREDCOMMIT PRECOMMITACK第43頁(yè)/共87頁(yè)第四十四頁(yè)，共

13、87頁(yè)。協(xié)調(diào)者參與者初始寫(xiě)begin_commit到日志等待有要求撤消的？寫(xiě)Prepare-to-commit到日志準(zhǔn)備提交寫(xiě)end_of_trans.到日志初始準(zhǔn)備提交？寫(xiě)ready到日志就緒消息類(lèi)型？寫(xiě)abort到日志寫(xiě)prepare-to-commit到日志準(zhǔn)備提交撤消撤消寫(xiě)abort到日志寫(xiě)abort到日志準(zhǔn)備撤消提交全局撤消準(zhǔn)備提交ACKACK nono abortPrepare-to-commit寫(xiě)commit到日志提交提交 在 中事務(wù)執(zhí)行的過(guò)程 寫(xiě)commit到日志撤消提交準(zhǔn)備提交3PC第44頁(yè)/共87頁(yè)第四十五頁(yè)，共87頁(yè)。者不知參與者是否已執(zhí)行命令,但是對(duì)Commit而言,

14、知道參與者至少在PC狀態(tài)。因此(ync)，協(xié)調(diào)者不需要做專(zhuān)門(mén)的處理3.9 三階段提交協(xié)議的超時(shí)處理3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第45頁(yè)/共87頁(yè)第四十六頁(yè)，共87頁(yè)。與者已收到“Prepare-to-commit”, 正在等待來(lái)自協(xié)調(diào)者的“全局提交”消息, 處理同第二條。3.9 三階段提交協(xié)議的超時(shí)處理3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第46頁(yè)/共87頁(yè)第四十七頁(yè)，共87頁(yè)。協(xié)調(diào)者參與者 PREPAREPREPAREDCOMMIT PRECOMMITACK1. 超時(shí): Abort3. 超時(shí): 忽略(hl)1. 超時(shí): abort2. 超時(shí):終結(jié)(zhngji)協(xié)議3.超時(shí):終結(jié)(zhngji)協(xié)議2

15、. 超時(shí): 把參與者移入PC第47頁(yè)/共87頁(yè)第四十八頁(yè)，共87頁(yè)。3.10 三階段提交協(xié)議的終結(jié)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第48頁(yè)/共87頁(yè)第四十九頁(yè)，共87頁(yè)。3.10 三階段提交協(xié)議的終結(jié)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第49頁(yè)/共87頁(yè)第五十頁(yè)，共87頁(yè)。Commit”命令(mng lng).n新協(xié)調(diào)者在Abort狀態(tài)：收到第一個(gè)消息后，所有參與者進(jìn)入Abort狀態(tài)3.10 三階段提交協(xié)議的終結(jié)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第50頁(yè)/共87頁(yè)第五十一頁(yè)，共87頁(yè)。, , n一個(gè)參與者在PC狀態(tài)故障(gzhng), 必須詢(xún)問(wèn)以確定其它參與者如何終結(jié)事務(wù)3.11 三階段提交協(xié)議的恢

16、復(fù)協(xié)議3 分布式數(shù)據(jù)庫(kù)的可靠性協(xié)議第51頁(yè)/共87頁(yè)第五十二頁(yè)，共87頁(yè)。4.1 網(wǎng)絡(luò)分割概述4 網(wǎng)絡(luò)分割與提交協(xié)議第52頁(yè)/共87頁(yè)第五十三頁(yè)，共87頁(yè)。4.1 網(wǎng)絡(luò)分割概述4 網(wǎng)絡(luò)分割與提交協(xié)議第53頁(yè)/共87頁(yè)第五十四頁(yè)，共87頁(yè)。結(jié)協(xié)議n復(fù)制控制協(xié)議4.1 網(wǎng)絡(luò)分割概述4 網(wǎng)絡(luò)分割與提交協(xié)議第54頁(yè)/共87頁(yè)第五十五頁(yè)，共87頁(yè)。n事務(wù)在提交前，它必須(bx)獲得提交法定票數(shù)Vcn事務(wù)在Abort前，它必須(bx)獲得Abort法定票數(shù)VanVa+VcV, 當(dāng)0 Va, Vc Vni=14.2 基于表決的協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議第55頁(yè)/共87頁(yè)第五十六頁(yè)，共87頁(yè)。4.2 基于表決

17、的協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議第56頁(yè)/共87頁(yè)第五十七頁(yè)，共87頁(yè)。IWACcommitpreparevote-abortglobal-abortvote-commitprepare-to-commitIRACpreparevote-commitglobal-abortACKprepare-to-commitready-to-commitpreparevote-abort基于法定人數(shù)3PC中事務(wù)(shw)的狀態(tài)轉(zhuǎn)換圖PCPCready-to-commitglobal-commit global-commitACK(a) 協(xié)調(diào)者(b) 參與者PAready-to-abortglobal-abor

18、tPAready-to-abortglobal-abort第57頁(yè)/共87頁(yè)第五十八頁(yè)，共87頁(yè)。4.2 基于表決的協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議第58頁(yè)/共87頁(yè)第五十九頁(yè)，共87頁(yè)。4.3 復(fù)制控制協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議第59頁(yè)/共87頁(yè)第六十頁(yè)，共87頁(yè)。X1X2X3Lockmgr X3Lockmgr X2Lockmgr X1TxiTxjTxk對(duì)象(duxing) X 有副本 X1, X2, X34.3 復(fù)制控制協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議第60頁(yè)/共87頁(yè)第六十一頁(yè)，共87頁(yè)。X1lockmgrX3lockmgrX2lockmgrread第61頁(yè)/共87頁(yè)第六十二頁(yè)，共87頁(yè)。X1X3X

19、2locklocklockwritewritewrite第62頁(yè)/共87頁(yè)第六十三頁(yè)，共87頁(yè)。X1X2X3讀者(dzh)加鎖寫(xiě)者發(fā)現(xiàn)沖突!4.3 復(fù)制控制協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議第63頁(yè)/共87頁(yè)第六十四頁(yè)，共87頁(yè)。. 前就不可獲得, 它們(t men)就可能沒(méi)有注意到T的存在, 以及T對(duì)x的更新.n問(wèn)題n協(xié)調(diào)者認(rèn)為不可獲得的參與者仍然工作, 并且更新了x , 但是其確認(rèn)沒(méi)有到達(dá)協(xié)調(diào)者n站點(diǎn)在事務(wù)啟動(dòng)時(shí)不可獲得, 隨后恢復(fù)并開(kāi)始執(zhí)行事務(wù)4.3 復(fù)制控制協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議第64頁(yè)/共87頁(yè)第六十五頁(yè)，共87頁(yè)。n地適應(yīng)失效, 包括網(wǎng)絡(luò)分割.4.3 復(fù)制控制協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議

20、第65頁(yè)/共87頁(yè)第六十六頁(yè)，共87頁(yè)。同一數(shù)據(jù)的事務(wù)不會(huì)同時(shí)終結(jié)4.3 復(fù)制控制協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議第66頁(yè)/共87頁(yè)第六十七頁(yè)，共87頁(yè)。的其它副本n刷新參數(shù)：定義了刷新事務(wù)的調(diào)度策略n配置參數(shù)：描述站點(diǎn)和網(wǎng)絡(luò)的特點(diǎn)4.3 復(fù)制控制協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議第67頁(yè)/共87頁(yè)第六十八頁(yè)，共87頁(yè)。n定期刷新, 在固定時(shí)間間隔(jin g)內(nèi)觸發(fā)刷新4.3 復(fù)制控制協(xié)議4 網(wǎng)絡(luò)分割與提交協(xié)議第68頁(yè)/共87頁(yè)第六十九頁(yè)，共87頁(yè)。n新的信息一致地傳播給全部站點(diǎn)5.1 決定網(wǎng)絡(luò)的狀態(tài)5 不一致性檢測(cè)和解決方法第69頁(yè)/共87頁(yè)第七十頁(yè)，共87頁(yè)。5.1 決定網(wǎng)絡(luò)的狀態(tài)5 不一致性檢測(cè)和解

21、決方法第70頁(yè)/共87頁(yè)第七十一頁(yè)，共87頁(yè)。5.1 決定網(wǎng)絡(luò)的狀態(tài)5 不一致性檢測(cè)和解決方法第71頁(yè)/共87頁(yè)第七十二頁(yè)，共87頁(yè)。網(wǎng)絡(luò)(wnglu)站點(diǎn)K-3UP站點(diǎn)K-2DOWN站點(diǎn)K-1站點(diǎn)KUPDOWN(狀態(tài)(zhungti)網(wǎng)絡(luò)(wnglu)上站點(diǎn)的狀態(tài)站點(diǎn)K控制站點(diǎn)K-3, 即它檢查來(lái)自K-3的I-am-up報(bào)文是否到達(dá)，站點(diǎn)K負(fù)責(zé)發(fā)現(xiàn)站點(diǎn)K-1和K-2從不工作到工作的恢復(fù)，上圖中K-1和K-2不一定是有故障, 它們可能在分割的另一組中，圖反映了站點(diǎn)K和K-3的網(wǎng)絡(luò)視圖第72頁(yè)/共87頁(yè)第七十三頁(yè)，共87頁(yè)。5.1 決定網(wǎng)絡(luò)的狀態(tài)5 不一致性檢測(cè)和解決方法第73頁(yè)/共87頁(yè)第七十四頁(yè)，共87頁(yè)。5.2 不一致性的檢測(cè)和解決方法概念5 不一致性檢測(cè)和解決方法第74頁(yè)/共87頁(yè)第七十五頁(yè)，共87頁(yè)。5.3 不一致性的檢測(cè)5 不一致性檢測(cè)和解決方法第75頁(yè)/共87頁(yè)第七十六頁(yè)，共87頁(yè)。, 原版本號(hào)被置為當(dāng)前版本號(hào)值, 并且, 直到分割修復(fù)為止, 此原版號(hào)不會(huì)改變5.3 不一致性的檢測(cè)5 不一致性檢測(cè)和解決方法第76頁(yè)/共87頁(yè)第七十七頁(yè)，共87頁(yè)。5.3 不一致性的檢測(cè)5 不一致性檢測(cè)和解決方法