支持LRT的失败恢复算法及其事务性质分析

摘要：

研究人员已经致力于组合事务的恢复问题研究,但是大多数成果集中通过向后恢复来维持事务的一致性,补偿是向后恢复通常使用的一种手段,但是向后恢复的最大缺陷就是导致代价相当高,且向后恢复策略不能完全满足各种不同恢复需求.提出一种基于失败类型的恢复算法(包括向前、向后和替代恢复),其是一种基于扩展Petri网的形式化建模方法,为实现松弛ACID属性,引入状态托肯、数据托肯和QoS托肯,增加失败变迁和补偿变迁.失败发生时,动态计算终止依赖点TDP和补偿集,依据任务之间的控制流、数据流、时序、状态和行为依赖,获取任务的失败类型,选择合适的恢复策略,构造一个支持无缝添加/删除失败恢复的可执行模型.

关键词：组合事务、基于范围恢复、失败恢复算法、松弛ACID

所属期刊栏目：33

分类号：TP301(计算技术、计算机技术)

资助基金：国家科技支撑计划基金资助项目2008BAH24B03;国家自然科学基金资助项目60673122,60940033;中国博士后基金资助项目20080440121;湖南省自然科学基金资助项目06017089,10J J6100,10151063101000046;湖南省科技计划基金资助项目2010GK3020

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

页数：共11页

页码：31-41