基于確定性執(zhí)行策略的分布式數(shù)據(jù)庫中間件的設(shè)計與實現(xiàn).pdf

1、隨著計算機中所需存儲以及處理的數(shù)據(jù)快速增長,分布式數(shù)據(jù)庫成為企業(yè)進行數(shù)據(jù)存儲的主要方式。為了提升數(shù)據(jù)處理能力，分布式數(shù)據(jù)庫需要增加新的節(jié)點來提升整個數(shù)據(jù)庫的性能。為了保證事務(wù)的ACID屬性，分布式數(shù)據(jù)庫需要執(zhí)行兩階段提交協(xié)議，由于兩階段提交協(xié)議需要利用網(wǎng)絡(luò)進行多次的信息傳輸，網(wǎng)絡(luò)延遲時間往往會超過事務(wù)在本地的執(zhí)行時間。當分布式數(shù)據(jù)庫中節(jié)點數(shù)超過一定的數(shù)量時，整個分布式數(shù)據(jù)庫的性能增長就會逐漸降低，直至維持在一個穩(wěn)定水平，系統(tǒng)的吞吐量并不

2、能隨著分布式數(shù)據(jù)庫節(jié)點數(shù)目的增長而線性上升。保持分布式事務(wù)的ACID屬性已經(jīng)成為限制分布式數(shù)據(jù)庫可擴展性的主要原因。耶魯大學(xué)Daniel Abadi教授在2010年提出了確定性事務(wù)執(zhí)行策略的概念，是指如果在一個分布式數(shù)據(jù)庫中每個分布式數(shù)據(jù)庫節(jié)點接收到的事務(wù)請求全局有序，消除每個分布式數(shù)據(jù)庫節(jié)點中系統(tǒng)線程調(diào)度的隨機性，并且消除用戶在事務(wù)執(zhí)行過程中修改或者中斷事務(wù)的可能性，那么分布式數(shù)據(jù)庫系統(tǒng)在不使用兩階段提交協(xié)議也可以保證數(shù)據(jù)庫副本間的一

3、致性。
　　本文設(shè)計并實現(xiàn)了一個數(shù)據(jù)庫中間件，利用該數(shù)據(jù)庫中間件可以將任何支持增刪改查功能的關(guān)系型數(shù)據(jù)庫改造成一個基于確定性事務(wù)執(zhí)行策略的分布式數(shù)據(jù)庫，該數(shù)據(jù)庫可以在保證事務(wù)ACID屬性的情況下具有非常良好的擴展性。在本文中，主要完成了以下工作：（1）對事務(wù)請求進行全局定序。本文設(shè)計并實現(xiàn)了一個數(shù)據(jù)通信子模塊，在數(shù)據(jù)通信子模塊中利用Appia將不同數(shù)據(jù)庫中間件進行信息交換的過程封裝成一個Ddchannel,利用Ddchannel之

4、間的信息傳交換來確定出最終的事務(wù)請求執(zhí)行順序，使事務(wù)請求在整個分布式數(shù)據(jù)庫中達到全局有序。（2）消除數(shù)據(jù)庫節(jié)點中系統(tǒng)線程調(diào)度的隨機性以及在事務(wù)執(zhí)行過程中用戶修改或者中斷事務(wù)的可能性。本文設(shè)計并實現(xiàn)了一個事務(wù)管理子模塊，在事務(wù)管理子模塊中，對事務(wù)施加保守有序鎖，利用保守有序鎖來消除操作系統(tǒng)線程調(diào)度的不確定性。為了消除在事務(wù)執(zhí)行過程中用戶修改或者中斷事務(wù)的可能性，事務(wù)管理子模塊調(diào)用存儲過程來執(zhí)行事務(wù)請求。（3）驗證最終實現(xiàn)的數(shù)據(jù)庫的性能。本