一种基于操作增量的分布式系统悔改方法

悔改技术是解决系统失效问题的途径,是保证系统和数据安全的有效手段.针对操作失误在系统失效诱因中的比重日益增大的问题,提出并实现了一种基于操作增量的分层悔改方法.首先,采用形式化描述语言对基于操作增量的悔改相关概念进行定义与规约;在此基础上,建立了一种分布式系统分层悔改模型,给出了操作增量的构建方法以及对错误操作的修复方法,并利用分级补偿策略解决悔改恢复过程可能出现的不一致性问题.实验结果表明,基于操作增量的悔改恢复方法与传统的卷回恢复方法相比,减小了恢复粒度、降低了恢复所需系统开销、提高了恢复速度,体现了更高的恢复效率.