悲观消息日志法在交换软件中的应用

交换系统一般采用悲观的消息日志法作为软件容错的基本方法。本文针对交换软件的结构特点,提出了进程失效后进行快速有效状态恢复的若干优化策略。     

一种面向移动计算的低代价透明检查点恢复协议

移动计算系统中的检查点恢复协议面临着许多与传统分布式系统所不同的问题.在目前已出现的支持移动计算的检查点恢复机制中,基于建立全局一致的检查点的方法不能确保错误的独立恢复;基于m-MSS-m通信的消息日志方法其移动站之间交换的消息需通过移动基站的转发.提出了一种基于消息日志的支持移动站之间直接通信(m-m)的容错协议并给出了相应的算法及正确性证明.与m-MSS-m通信相比,m-m通信有利于降低信道冲突;减少消息传递延迟.仿真结果表明,所设计的协议比传统协议具有更小的无错误状态下引入负载和错误恢复时间.     

日志检查点回卷恢复策略的检查点周期求解模型

基于Markov链进程状态模型和拉普拉斯变换,提出了一种日志检查点回卷恢复容错策略的最佳检查点周期求解模型,该模型充分考虑了日志检查点回卷恢复策略中进程回卷恢复与正常运行期间执行速度存在的差别,同时允许进程检查点和回卷恢复期间发生故障事件.通过求解进程状态Markov链转移概率和权重,得到完成检查点间隔的期望执行用时,...     

消息日志方法中的不确定性问题

消息日志是用于多进程、分布式系统中状态恢复的一种方法。本文针对传统的消息日志方法仅仅适用于确定性进程的局限性，提出一种新的消息日志思想，充分考虑到不确定性的存在在容错方面的积极作用，主张在满足应用进程一致性语义的基础上，在一定程度上允许不确定性现象的存在。从而以新的角度看待单一进程和分布式并发系统中存在的不确定性所带来的状态重建不能完全复原的问题。这样，消息日志亦能适用于某些不满足确定性条件的进程     

基于并发性发掘的低开销回卷恢复实现方法

现有的回卷恢复容错技术存在同步约束和阻塞问题,其时间开销随系统节点规模的增大而剧增。为此,提出一种基于并发性发掘的低开销回卷恢复实现方法。利用消息传递附带跟踪消息依赖的策略解除消息日志中的同步约束,解析进程负载以发掘进程负载的并发性,构建进程负载并发执行的实现架构,采用数据缓存策略和多线程技术实现进程内部各负载的并发执行,以降低故障恢复开销。3个NASNPB2．3标准性能检测程序的实验结果表明,该方法可使检查点开销从0．63S、3．19S、1．21S分别降低到0．18S、O．67S、0．19S,日志开销率从13．4％、3．5％、18．3％分别降低到0．7％、0．1％、1．0％。     

一种面向服务的快速透明故障转移策略

面向服务计算倡导以松耦合的方式构建开放、动态、高质量的网络服务,容错技术可以增加网络服务的服务质量,而故障转移则是其中的一个关键技术点,它能在系统资源部分损失的情况下,对剩余可用资源进行重新配置并恢复需要继续执行的服务状态.目前大多数的故障转移策略都不能保证服务的可用性,无法满足面向服务环境下网络应用的需要.针对这些问题,提出了一种面向服务的快速透明故障转移策略SOFailover.该策略基于服务器热备份,结合被动复制和消息日志协议保存服务状态,采用可靠UDP协议进行主备服务器间的信息交互和数据传输,并通过修改Linux内核加以实现.实验结果表明,SOFailover具有较短的故障转移延时和较低的系统开销,能够在保证服务可用性前提下高效透明地进行故障转移.     

基于分块消息日志的回卷恢复策略

本文给出了一种基于分块消息日志的回卷恢复协议,建立了其性能模型,评估了协议的平均开销.分块消息日志方法是一种可配置的一般化方法,悲观消息日志方法和协同检查点方法是其两个特例.性能分析结果表明,协议配置参数具有可优化特性,采用分块消息日志策略能够优化协议性能.     

MPI程序容错系统的分析和设计

MPI是大规模集群和网格平台中最通用的编程环境,但其运行环境经常会因为节点或网络的故障而出现错误,所以有必要为MPI编程提供容错机制。本文分析了实现MPI程序容错的关键技术,并针对运行MPICH-P4的LINUX集群,利用检查点和消息日志技术,通过改造和扩充MPI底层的P4通信库,提出了一套MPI程序容错系统的具体实施方案。