一种基于消息重排序和消息数目检验消息日志恢复方法

摘要

随着计算机技术的高速发展，分布式系统得以广泛应用，然而由于分布式系统本身还不够稳定可靠，再加上环境、人员等外在因素的影响，分布式系统具有很高的故障率，而且一旦出现故障就势必影响到人们的正常生产生活。因此如何保证分布式系统某一节点出现故障时不至于影响到整个系统的正常运行，确保有效数据依然完整，并且能够迅速判明哪里出现了问题，是什么因素导致了问题的发生，怎样才能使问题得到尽快的解决，从而使整个系统能够高效的正常运转引发了人们深深的思考。要实现这一目标，就必然要进行技术改良，而容错技术能很好的应对上述问题，因此在现实生活中我们研究容错技术就显得十分重要。
　　山东省曾专门立项研究如何实现基于后向恢复的分布式系统的容错技术，并拿出自然科学基金作为研究经费。本文深入探讨了他们的观点，介绍了当前研究检查点技术的重要意义及该领域的发展现状，对分布式系统容错机制研究中热门的方向进行了的阐述，分析了分布式系统中可能出现的故障，对基本容错构件进行了详细说明，并提出了系统全局一致状态，探讨通过技术手段降低检查点设置和回卷回复时进程的阻塞，使检查点设置时能更为高效，从而使消息的数量维持在合理的范围内，对容错回卷回复技术及检查点算法进行了深入的研究，描述了三种检查点协议以及三种报文日志协议。由于报文丢失、乱序报文、中途报文以及重复报文等问题等存在，系统不能设置一致性的检查点，因此系统常常得不到正确的计算结果，对用户的使用造成很大的困扰。同样在乐观消息日志中消息保存至日志文件和进程通信存在着异步性，当进程发生故障时，系统中接受的消息次序会发生逻辑混乱，从而导致了系统提供给用户的消息有可能缺失、未加处理或者处理错误。即便没有故障，系统的运行性能也有待改善。针对这一问题本文提出了一种基于消息重排序和消息数目检验消息日志恢复方法。

目录

声明

摘要

第一章 引言

1．1 选择此课题的原因和研究该课题的价值

1．2 课题研究现状

1．3 论文的主要工作及组织结构

第二章 分布式容错恢复技术

2．1 分布式容错恢复技术简介

2．1．1 容错技术要处理的故障

2．1．2 容错技术简介

2．2 节点故障处理

2．2．1 向前式恢复技术

2．2．2 后向式恢复技术

2．2．3 前向式恢复技术和后向式恢复技术的区别

2．3 本章小结

第三章 检查点恢复技术

3．1 系统模型

3．2 系统的全局状态

3．3 一致性检查点

3．4 检查点协议

3．4．1 异步检查点协议

3．4．2 同步检查点协议

3．4．3 通信诱导协议

3．5 本章小结

第四章 消息日志恢复方法

4．1 背景技术

4．2 现有的消息日志恢复方法

4．3 本文技术方案

4．3．1 系统模型

4．3．2 本文技术方案

4．4 算法正确性证明

4．5 本章小结

第五章 总结

参考文献

致谢