基于事务回退的事务存储系统的故障恢复  

Fault Recovery Based on Transaction Rollback in Transactional Memory

作　　者：宋伟[1] 杨学军[1] 

机构地区：[1]国防科学技术大学计算机学院并行与分布处理国家重点实验室,湖南长沙410073

出　　处：《软件学报》2011年第9期2248-2262,共15页Journal of Software

基　　金：国家自然科学基金(60921062;60633050)

摘　　要：针对事务存储系统机制下的容错问题,提出一种基于事务回退的事务存储系统的故障恢复方法.该方法利用事务存储系统自身的版本管理机制,避免了额外的检查点数据保存开销,从而实现了事务存储系统高效的故障恢复.通过对容错事务存储系统的隔离性证明了该方法的正确性.最后,使用包括4个SPLASH-2典型用例在内的5个测试程序对该方法进行了性能测试.实验结果表明,与经典的Checkpointing机制相比,该方法在避免了额外的检查点数据保存开销的同时,还具有较低的故障恢复开销.This paper addresses the issue of fault tolerance in transactional memory, and proposes a new method of fault recovery based on transaction rollback （FRTR）. The method achieves an efficient fault recovery in transactional memory by utilizing the data-versioning mechanism of transactional memory to avoid the extra overhead of saving the checkpoint data. This paper provides the correctness of this method by proving the isolation of the fault tolerant transactional memory. Finally, this paper presents the design of the FRTRs for 5 test programs, including 4 SPLASH-2 benchmarks. The experimental results show compared with the checkpointing mechanism, the FRTR avoids the extra overhead of saving the checkpoint data and has a low overhead of the fault recovery.

关 键 词：容错 容错事务存储系统 故障恢复 事务回退 隔离性 

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