-
题名基于快照隔离的分布式数据库同步协议研究与实现
被引量：5
- 1
-
-
作者
王珏
李立新
张绍月
杨梦梦
付建丹
-
机构
解放军信息工程大学电子技术学院
中国人民解放军
-
出处
《计算机应用研究》
CSCD
北大核心
2012年第8期3012-3017,共6页
-
文摘
针对分布式数据库系统中副本一致性的问题,结合快照隔离的性能优势和组通信技术的消息定序特性,提出了一种满足单副本可串行化的数据同步协议。首先,形式化定义了快照隔离可串行化的准则,并证明了该规则可以保证单副本可串行化。进而基于组通信系统的消息定序特性,提出了满足单副本可串行化的数据同步协议SSI-REP。实验表明,与两阶段协议(2PL)相比,SSI-REP协议提高了系统的性能,降低了事务的系统响应时间;与全局快照隔离算法GSI相比,SSI-REP协议在保证单副本可串行化的前提下,对系统性能的影响甚微。
-
关键词
数据库同步
快照隔离
单副本可串行化
组通信
SSI-REP
-
Keywords
database synchronization
snapshot isolation（SI）
one-copy-serializability
group communication
SSI-REP
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名强快照与强提交读隔离的多键云事务实现方法
- 2
-
-
作者
杨义繁
刘丹
朱妤晴
丁贵广
王建民
-
机构
清华大学软件学院
东北大学软件学院
信息系统安全教育部重点实验室
清华信息科学与技术国家实验室
-
出处
《计算机科学与探索》
CSCD
2011年第9期815-825,共11页
-
基金
国家自然科学基金No.61073005
国家重点基础研究发展规划(973)No.2009CB320700
国家科技重大专项"核高基"项目No.2010ZX01042-002-002-01~~
-
文摘
当前云环境的存储系统一般只提供弱一致性和单键事务的数据访问功能,具有强一致性或多键事务需求的应用只能自行检测一致性或进行事务管理,增加了云应用开发的复杂度。这些要求高一致性和高可用性的云应用,对云存储系统的事务实现提出了新的挑战。在Megastore串行化事务实现方案的基础上,提出了基于读写集对比的事务强快照隔离和强提交读隔离方案,将并发事务之间读写冲突的判断提前,从而减少冲突事务回滚时引发的额外消耗。基于云存储系统Cassandra实现了两种方案,并针对云应用事务的访问模式,设计了实验验证框架。通过与Megastore事务实现方案的对比,验证了强快照和强提交读事务隔离方案能获得更高并发度的优化效果。
-
关键词
事务
云计算
强快照隔离
强提交读隔离
-
Keywords
transaction
cloud computing
snapshot＋ isolation
read committed＋ isolation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
