基于冗余事务的事务存储系统的错误检测  

Error Detection by Redundant Transaction in Transactional Memory System

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

机构地区：[1]国防科技大学计算机学院并行与分布处理国家重点实验室,长沙410073 [2]中国电子系统设备工程公司研究所,北京100141

出　　处：《计算机研究与发展》2013年第5期1085-1099,共15页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60921062;61003087)

摘　　要：针对事务存储系统下的错误检测问题,提出了一种基于冗余事务的事务存储系统的错误检测方法(error detection by redundant transaction,EDRT).该方法为每个事务创建一个副本事务,并利用富余的处理器核资源同时执行原始事务和副本事务,通过比较原始事务和副本事务的执行结果达到检测错误的目的.在检错比较数据集的获取上,EDRT方法利用了事务存储系统自身的版本管理机制,实现了对用户透明的在线接近最小数据比较集的获取.将EDRT方法应用于日志事务存储系统,提出了针对容错日志事务存储系统的设计问题的解决方法.最后,使用了包括4个SPLASH-2典型用例在内的5个测试程序对该方法进行了验证测试,实验结果表明EDRT检错方法相对整个程序的平均检错开销在3.68%左右,而相对于程序内事务部分的平均检错开销也只有12.07%左右.通过与双模冗余检错方法(dual modular redundancy error detection mechanism,DMR)的对比,EDRT方法与DMR方法的平均检错开销比只有0.05%左右.This paper addresses the issue of error detection in transactional memory, and proposes a new method of error detection based on redundant transaction （EDRT）. This method creates a transaction copy for every transaction, and executes both original transactions and transaction copies on adequate processor cores, and achieves error detection by comparing the execution results. EDRT utilizes the data-versioning mechanism of transactional memory to achieve the acquisition of an approximate minimum error detection comparison data set, and the acquisition is transparent and online. This paper applies EDRT to the log-based transactional memory, and proposes the solution to the designing problems of the fault-tolerant log-based transactional memory. Finally, this paper validates the EDRT through five test programs, including four SPLASH-2 benchmarks. The experimental results show that the average error detecting cost is about 3.68% relative to the whole program, and it is only about 12. 070//00 relative to the transaction parts of the program. Compared with the dual modular redundancy error detection mechanism （DMR）, the average error detecting cost ratio between the EDRT and the DMR is only about 0.05 %.

关 键 词：容错 冗余事务 错误检测 事务存储系统 错误隔离 错误传播 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]