基于事务回退的事务存储系统的故障恢复
宋伟, 杨学军
软件学报 2011
摘要:
针对事务存储系统机制下的容错问题,提出一种基于事务回退的事务存储系统的故障恢复方法.该方法利用事务存储系统自身的版本管理机制,避免了额外的检查点数据保存开销,从而实现了事务存储系统高效的故障恢复.通过对容错事务存储系统的隔离性证明了该方法的正确性.最后,使用包括4 个SPLASH-2 典型用例在内的5个测试程序对该方法进行了性能测试.实验结果表明,与经典的Checkpointing 机制相比,该方法在避免了额外的检查点数据保存开销的同时,还具有较低的故障恢复开销.
关键词: 容错;容错事务存储系统;故障恢复;事务回退;隔离性
1 基于FRTR 的容错事务存储系统
事务存储(transactional memory,TM)
事务存储 + 容错
rollback-recovery 容错技术
the organization of this paper:
1) 第1 节详细描述基于事务回退的事务存储系统的故障恢复方法.
2) 第2 节讨论并证明基于FRTR 的容错事务存储系统的隔离性,从而证明FRTR 方法的正确性.
3) 第3 节通过实验对本文的方法进行性能评估,并与经典的checkpointing 方法进行性能对比.
4) 第4 节回顾相关工作.
5) 第5 节对本文的工作进行总结.
2 容错事务存储系统的隔离性
2.2 基于lazy冲突检测机制的容错事务存储系统的隔离性
3 实验
3.1 实验方法
SPLASH-2: 由Stanford 开发的一套针对共享存储的并行应用的标准测试用例
SPLASH-2 中的测试用例barnes,lu,ocean 和cholesky 和gems2.1
4 相关工作
5 结束语
https://blog.sciencenet.cn/blog-468147-541625.html
上一篇:
review: 基于UML的软硬件协同设计的模型分析方法下一篇:
review: Editorial: Model-Driven Embedded-System Design