分布式事務(wù)管理與恢復(fù)-資料下載頁
2025-07-18 11:52本頁面
【正文】 第一階段 準(zhǔn)備 建議撤消 /提交 全局撤消 /提交 可獨(dú)立做決定 分布式 Distributed DBMS University of Shanghai for Science and Technology Page 50 2PC與故障恢復(fù) 1. 站點(diǎn)故障 a 參與者在將“ Ready”記錄入 Log之前故障 此時協(xié)調(diào)者達(dá)到超時， Abort發(fā)生。站點(diǎn)（ P）恢復(fù)時，重啟動程序?qū)?zhí)行Abort，不必從其他站點(diǎn)獲取信息。 b 當(dāng)將“ Ready”寫入 Log后， P故障 此時所有運(yùn)行的站點(diǎn)都將正常結(jié)束事務(wù)（ Commit/Abort)。 P恢復(fù)時，因為 P已 Ready，所以不可判定 C的最終決定。因此恢復(fù)時，重啟動程序要詢問 C或其他站點(diǎn)。 c 當(dāng) C將“ Prepare”寫入 Log，但“ Gmit”/”Gabort”還沒有寫入是故障 所有回答“ Ready”的 P等待 C恢復(fù)。 C重啟動時，將重開提交協(xié)議，重發(fā)“ Prepare”，于是 P要識別重發(fā)。 d C在將“ Gmit”/”Gabort”寫入 Log后，“ Complete”沒有寫入前故障 收到命令的 P正常執(zhí)行， C重啟動程序必須再次向所有 P重發(fā)命令。以前沒有收到命令的 P也必須等待 C恢復(fù)， P要識別兩次命令。 e “Complete”寫入 Log后故障 無任何動作發(fā)生 Distributed DBMS University of Shanghai for Science and Technology Page 51 2PC與故障恢復(fù) 續(xù) 2. 報文丟失 a 從 P發(fā)出的“ Ready”/“Abort”報文丟失 C達(dá)到超時，整個事務(wù)執(zhí)行“ Gabort”。該故障僅能被 C識別，此時 C認(rèn)為 P故障，但 P并無故障，不需執(zhí)行重啟動程序。 b “Prepare”報文丟失 P等待， C得不到回答，結(jié)果同 c “Gmit”/”Gabort”報文丟失 P處于不確定狀態(tài)?；卮稹?Abort”的可以確定其工作，回答“ Ready”的不行。此時可以修改加入計時器，超時則申請重發(fā)命令。 d “Ack”報文丟失 C超時，可重發(fā)“ Gmit”/”Gabort”命令， P無論是否有活動，都重發(fā)“ Ack”報文 Distributed DBMS University of Shanghai for Science and Technology Page 52 2PC與故障恢復(fù) 續(xù) 3. 網(wǎng)絡(luò)分割 假設(shè)分成兩組。 一組是協(xié)調(diào)者，一組是參與者。于是從協(xié)調(diào)者看是參與者組故障，結(jié)果同 , 。 從參與者組看是協(xié)調(diào)者站點(diǎn)故障，動作如 , 。 Distributed DBMS University of Shanghai for Science and Technology Page 53 初始 寫 begin_mit到日志 等待 有要求撤消的？ 寫 mit到日志 提交 寫 Complete到日志 初始 準(zhǔn)備提交？ 寫 ready到日志 就緒 消息類型？ 寫 abort到日志 寫 mit到日志 提交 撤消 撤消 寫 abort到日志 寫 abort到日志 協(xié)調(diào)者 參與者 no no abort mit 2. b 準(zhǔn)備 撤消 提交 全局撤消 全局提交 ACK ACK Distributed DBMS University of Shanghai for Science and Technology Page 54 業(yè)務(wù)規(guī)則的一致性 ? 有效性約束 域約束 ? 數(shù)據(jù)依賴約束 實體完整性和引用完整性 ? 例子 ?取現(xiàn)金時 一個賬戶的存款余額必須等于或大于零 ?轉(zhuǎn)賬時 一個賬戶的存款余額必須等于或大于零 . 事務(wù)結(jié)束時 ,兩賬戶中存款總和 , 必須與事務(wù)開始時兩賬戶存款之和相同 ?定期利息計算 事務(wù)執(zhí)行后 , 所有賬戶存款之和比事務(wù)開始前各賬戶存款總和大于10% Distributed DBMS University of Shanghai for Science and Technology Page 55 冗余數(shù)據(jù)的一致性 ? 冗余數(shù)據(jù)必須保持一致 ? 例子 site1 site2 T1: Read(x) x=x* write(x) T2: Read(x) x=x20 write (x) 設(shè)數(shù)據(jù) x在兩個站點(diǎn)都有副本 . 兩個事務(wù)分別執(zhí)行 , 這樣兩個事務(wù)的執(zhí)行會產(chǎn)生不同的結(jié)果 . 處置 x=50, T2T1的執(zhí)行順序得到 x=33 (x20)*=(5020)* T1T2的執(zhí)行順序得到 x=35 (x*)20=50*1,1) Distributed DBMS University of Shanghai for Science and Technology Page 56 冗余數(shù)據(jù)的一致性 續(xù) ?異步復(fù)制器 冗余數(shù)據(jù)絕對保持一致是不可能的 , 一般允許對冗余數(shù)據(jù)的修改有暫時的不一致 . ?復(fù)制數(shù)據(jù)庫的應(yīng)用 ?向分站點(diǎn)發(fā)送只讀數(shù)據(jù) ?在一個周期結(jié)束時從分站點(diǎn)對中心站點(diǎn)復(fù)制這個周期內(nèi)改變過的數(shù)據(jù) ?建立關(guān)鍵數(shù)據(jù)的備份副本 Distributed DBMS University of Shanghai for Science and Technology Page 57 冗余數(shù)據(jù)的一致性 續(xù) ?不同復(fù)制器的差別 a 何時在主 copy上獲取數(shù)據(jù) b 何時把主副本上的數(shù)據(jù)用到輔助副本上 ?對 a有方法 1. 數(shù)據(jù)驅(qū)動 : 當(dāng)事務(wù)修改主副本時 , 獲取有關(guān)數(shù)據(jù)修改信息 , 并將其寫到一個獲取文件或隊列中 . 2. 計時器驅(qū)動 : 由系統(tǒng)在用戶定義的時間間隔自動獲取相關(guān)數(shù)據(jù)修改信息 3. 應(yīng)用程序驅(qū)動 : 由應(yīng)用中的事件引發(fā)系統(tǒng)從主副本把數(shù)據(jù)復(fù)制到獲取文件或隊列中 Distributed DBMS University of Shanghai for Science and Technology Page 58 冗余數(shù)據(jù)的一致性 續(xù) ?對 b有方法 1. 數(shù)據(jù)驅(qū)動 : 在主副本上由修改 Trans所做的修改 , 立即復(fù)制 , 傳輸和應(yīng)用于輔存儲器 2. 計時驅(qū)動 : 修改 Trans在主副本上的修改 , 在用戶定義的區(qū)間應(yīng)用于輔助副本 3. 應(yīng)用程序驅(qū)動 : 由應(yīng)用中的事件引發(fā)系統(tǒng)獲取文件或隊列對輔助副本進(jìn)行修改
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1