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

摘要：

针对事务存储系统下的错误检测问题,提出了一种基于冗余事务的事务存储系统的错误检测方法(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％左右.

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

所属期刊栏目：50

分类号：TP302.8(计算技术、计算机技术)

资助基金：国家自然科学基金项目60921062,61003087

在线出版日期：2013-07-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：1085-1099