基于快照隔离的分布式数据库同步协议研究与实现  

Research and implementation of distributed database synchronization protocol based on snapshot isolation

作　　者：王珏[1] 李立新[1] 张绍月[2] 杨梦梦[1] 付建丹[1] 

机构地区：[1]解放军信息工程大学电子技术学院 [2]中国人民解放军77626部队

出　　处：《计算机应用研究》2012年第8期3012-3017,共6页Application Research of Computers

摘　　要：针对分布式数据库系统中副本一致性的问题,结合快照隔离的性能优势和组通信技术的消息定序特性,提出了一种满足单副本可串行化的数据同步协议。首先,形式化定义了快照隔离可串行化的准则,并证明了该规则可以保证单副本可串行化。进而基于组通信系统的消息定序特性,提出了满足单副本可串行化的数据同步协议SSI-REP。实验表明,与两阶段协议(2PL)相比,SSI-REP协议提高了系统的性能,降低了事务的系统响应时间;与全局快照隔离算法GSI相比,SSI-REP协议在保证单副本可串行化的前提下,对系统性能的影响甚微。To solve the problem of data consistency in distributed database system, this paper presented a distributed database synchronization protocol providing one-copy-serializability based on the performance of SI and the message ordering feature of group communication. At first, this paper formally defined serializable snapshot isolation （SSI） and then proved the correctness of the algorithm. Then it proposed SSI-REP based On SSI and the feature of group communication. Experimental results show that SSI-REP has clearly better performance than 2PL and nearly the same performance comparing to GSI.

关 键 词：数据库同步 快照隔离 单副本可串行化 组通信 SSI-REP 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]