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

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

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

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