分布式并行數(shù)據(jù)庫系統(tǒng)DPSQL中一致性機制的研究.pdf

1、數(shù)據(jù)庫是現(xiàn)實世界中某些現(xiàn)象或活動的狀態(tài)和演化<,【1】>.由于許多數(shù)據(jù)要一起被訪問和修改以便正確反映現(xiàn)實世界,因此必須保證相關(guān)數(shù)據(jù)的一致性.任何對相關(guān)數(shù)據(jù)修改的中斷,或?qū)ο嚓P(guān)數(shù)據(jù)訪問或修改的交錯,都會造成數(shù)據(jù)的不一致.保證數(shù)據(jù)一致性的關(guān)鍵是要明確數(shù)據(jù)訪問和更新的序列,這一序列就是事務(wù).DPSQL是由電子科技大學(xué)8010研究室自主研發(fā)的分布式并行數(shù)據(jù)庫系統(tǒng).在DPSQL實現(xiàn)中,數(shù)據(jù)一致性存在下面的問題:■如果DPSQL采用雙日志系統(tǒng),底層

2、InnoDB的事務(wù)日志和DPSQL的上層SQL日志的不一致可能導(dǎo)致數(shù)據(jù)的不一致.■如果DPSQL采用標(biāo)準(zhǔn)的分布式兩階段提交協(xié)議,在事務(wù)提交阻塞發(fā)生階段可能會出現(xiàn)消息等待超時、消息亂序等問題,導(dǎo)致數(shù)據(jù)不一致.本文解決的數(shù)據(jù)一致性是只針對上面兩個問題的狹義的數(shù)據(jù)一致性.在深入研究的基礎(chǔ)上,本文首先詳細(xì)分析了InnoDB的事務(wù)實現(xiàn)機制,介紹了分布式并行數(shù)據(jù)庫DPSQL的分布式事務(wù)機制,主要是其分布式事務(wù)日志機制的實現(xiàn)策略.DPSQL系統(tǒng)采用改

3、進的兩階段提交協(xié)議,來確保事務(wù)故障恢復(fù)的數(shù)據(jù)一致性.文章重點研究了兩階段提交協(xié)議機制,特別是改進的兩階段提交協(xié)議進行故障恢復(fù)的實現(xiàn).在分析、比較標(biāo)準(zhǔn)兩階段提交協(xié)議、三階段提交協(xié)議及各種改進兩階段提交協(xié)議的不足之后,本文提出了一種新的基于狀態(tài)緩存的詢問式兩階段提交協(xié)議(SQ2PC).SQ2PC對2PC的主要改進是解決兩階段提交協(xié)議阻塞發(fā)生時的事務(wù)處理問題,即在阻塞發(fā)生時,如果參與者超時未收到協(xié)調(diào)者的CR(COMMIT or ROLLBAC