强快照与强提交读隔离的多键云事务实现方法

计算机科学与探索 ›› 2011, Vol. 5 ›› Issue (09): 815-825.

强快照与强提交读隔离的多键云事务实现方法

杨义繁, 刘丹, 朱妤晴, 丁贵广, 王建民

1. 清华大学软件学院, 北京 100084
2. 东北大学软件学院, 沈阳 110819
3. 信息系统安全教育部重点实验室, 北京 100084
4. 清华信息科学与技术国家实验室, 北京 100084

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-09-01 发布日期:2011-09-01

Providing Snapshot+ and Read Committed+ Isolation for Transactional Multi- Key Access in the Cloud

YANG Yifan, LIU Dan, ZHU Yuqing, DING Guiguang, WANG Jianmin

1. School of Software, Tsinghua University, Beijing 100084, China
2. College of Software, Northeastern University, Shenyang 110819, China
3. Key Laboratory for Information System Security, Ministry of Education, Beijing 100084, China
4. Tsinghua National Laboratory for Information Science and Technology, Beijing 100084, China

Received:1900-01-01 Revised:1900-01-01 Online:2011-09-01 Published:2011-09-01

摘要/Abstract

摘要：

当前云环境的存储系统一般只提供弱一致性和单键事务的数据访问功能, 具有强一致性或多键事务需求的应用只能自行检测一致性或进行事务管理, 增加了云应用开发的复杂度。这些要求高一致性和高可用性的云应用, 对云存储系统的事务实现提出了新的挑战。在Megastore串行化事务实现方案的基础上, 提出了基于读写集对比的事务强快照隔离和强提交读隔离方案, 将并发事务之间读写冲突的判断提前, 从而减少冲突事务回滚时引发的额外消耗。基于云存储系统Cassandra实现了两种方案, 并针对云应用事务的访问模式, 设计了实验验证框架。通过与Megastore事务实现方案的对比, 验证了强快照和强提交读事务隔离方案能获得更高并发度的优化效果。

关键词: 事务, 云计算, 强快照隔离, 强提交读隔离

Abstract: Current cloud storage system only supports weak consistency and single-key transaction. Developers have to check consistency and manage transactions in applications that need strong consistency and multi-key transaction. Such leads to difficulty in cloud application development. The need for high availability and fault tolerance brings about new challenges to transaction implementation in the cloud. Based on Megastore’s implementation of transaction serializability, this paper proposes two new isolation levels, i.e. snapshot+ isolation and read committed+ isolation. The proposal exploits read/write dataset detection to abort concurrent transactions with read-write and write-write conflicts earlier, avoiding extra communication costs. Both the proposal and Megastore’s approach are implemented on well-known open-source project Cassandra. An evaluation framework targeting the typical transaction patterns of cloud applications is designed to test the implementations. Test results demonstrate that the proposal provides higher concurrency than Megastore’s approach.

Key words: transaction, cloud computing, snapshot+ isolation, read committed+ isolation

杨义繁, 刘丹, 朱妤晴, 丁贵广, 王建民. 强快照与强提交读隔离的多键云事务实现方法[J]. 计算机科学与探索, 2011, 5(09): 815-825.

YANG Yifan, LIU Dan, ZHU Yuqing, DING Guiguang, WANG Jianmin. Providing Snapshot+ and Read Committed+ Isolation for Transactional Multi- Key Access in the Cloud[J]. Journal of Frontiers of Computer Science and Technology, 2011, 5(09): 815-825.

[1]	吴虹佳，刘芳，刘斌，蔡志平. 分散计算：技术、应用与挑战[J]. 计算机科学与探索, 2020, 14(5): 721-730.
[2]	郑良汉，何亨，童潜，杨湘，陈享. 云环境中的多授权机构访问控制方案[J]. 计算机科学与探索, 2020, 14(11): 1865-1878.
[3]	张胜霞，田呈亮. 在幺模矩阵加密方法下的安全外包算法[J]. 计算机科学与探索, 2020, 14(1): 73-82.
[4]	陈彦橦，裴树军，苗辉. 云科学工作流截止期限约束代价优化调度算法[J]. 计算机科学与探索, 2019, 13(8): 1307-1318.
[5]	任晓莉，杨建卫，李乃乾. 云计算中基于动态虚拟化电子流密码的安全存储[J]. 计算机科学与探索, 2019, 13(8): 1331-1340.
[6]	赵倩，谢上钦，韩轲，龚青泽，冯光升，林俊宇. 远程直接内存访问与检查点相结合的容器迁移[J]. 计算机科学与探索, 2019, 13(12): 1995-2007.
[7]	李勇，滕飞，黄齐川，李天瑞. 基于Spark的时间序列并行分解模型[J]. 计算机科学与探索, 2018, 12(7): 1055-1063.
[8]	裴树军，宋冬梅，孔德凯. Map/Reduce下快速剪枝算法在复杂任务调度中的应用[J]. 计算机科学与探索, 2018, 12(1): 72-81.
[9]	余倩倩，董明凯，陈海波 . 虚拟环境下硬件事务内存辅助的同步机制[J]. 计算机科学与探索, 2017, 11(9): 1429-1438.
[10]	刘沛东，安博，钟业弘，王虎，曹东刚. 私有云环境下基于虚拟集群的资源共享方法[J]. 计算机科学与探索, 2017, 11(8): 1204-1213.
[11]	王虹旭，吴斌，刘旸. 基于Spark的并行图数据分析系统[J]. 计算机科学与探索, 2015, 9(9): 1066-1074.
[12]	何一凡，黄志球，孙艺. 面向Web服务组合的pivot事务嵌套模型[J]. 计算机科学与探索, 2015, 9(8): 926-934.
[13]	宋宝燕，李雪城，任才，丁琳琳. 云环境下分层的中间数据容错方法[J]. 计算机科学与探索, 2015, 9(5): 546-554.
[14]	刘文懋，裘晓峰，陈鹏程，文旭韬，何新新，汪东升，李军. 面向SDN环境的软件定义安全架构[J]. 计算机科学与探索, 2015, 9(1): 63-70.
[15]	于炯，廖彬，张陶，孙华，国冰磊，杨兴耀. 云存储系统节能研究综述[J]. 计算机科学与探索, 2014, 8(9): 1025-1040.