摘要：针对既有基于稳定存储的机群服务检查点存在的系统成本高、恢复时间长的问题,提出了一种基于共享内存的机群服务检查点机制;设计了一套面向基于共享内存的检查点信息主-备存储模式的检查点信息管理协议,确保机群服务检查点信息一致性;设计了一套基于单向逻辑环的检查点组管理协议,确保检查点逻辑备份环中检查点进程的成员视图一致性.性能实验结果表明,该检查点机制具有较好的检查点信息读写性能,组管理协议系统开销小,较好地满足了机群服务检查点需求.

摘要：提出了一种支持流数据处理、在线动态调节周期的检查点机制。首先,面向突发性流场景,建立恢复时间计算模型,机制为节点故障提供最大恢复时间保障。其次,针对数据流实时变化的特点,提出检查点实时性代价量化模型。最后,设计流量高峰避让协议,基于检查点实时性代价判断,动态选取最佳检查点时机。对比实验结果表明:与传统检查点方法相比,该机制在灵活性和实时性方面具有明显优势,能够满足流数据处理高可靠性和实时性容错的要求。

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

摘要：随着系统芯片SOC设计技术的普遍应用,对应的可靠性问题逐渐成为关注的焦点.提出一种应用在SOC设计上的内存检查点技术,通过硬件逻辑将内存中的数据备份到非易失存储介质中,系统恢复时将数据从存储介质取出,重新拷贝到内存,避免内存中的数据丢失;同时给出外部存储器到RAM的程序代码拷贝设计,显著提高了内存检查点保存的速度.在断电等突发情况下,可以有效地保护内存中的数据,具有很好的通用性,占用资源较少,可以广泛应用于实时系统的容错机制中.

摘要：为支持大规模长时间运行并行程序的调试 ,有必要将检查点机制引入到并行程序调试器中 .检查点设置与卷回应用中需要解决中途消息、孤儿消息和多米诺效应、活锁 4个问题 ;并行程序调试中需要解决不确定性问题 .提出的基于状态冻结的确定性检查点设置方法 ,可以避免检查点应用中孤儿消息和多米诺效应、活锁 3个问题 ,通过消息记录的方法处理中途消息问题 ;采用记录 /重放方法解决并行调试中的不确定性问题 .基于状态冻结的确定性检查点设置方法 ,有效地解决了并行程序调试器和检查点结合时产生的诸多问题 .该方法具有结构清晰、易于实现的优点 .基于此技术 ,设计并实现了一个并行调试工具—— DENNET.

摘要：检查点(Checkpoint)是一种软件容错机制,它的目的是提高系统可靠性、减少运算损失,同时检查点机制也是并行系统中进程迁移和负载平衡的基础。在一些检查点系统中,由于对进程的状态检查/状态恢复只具有用户级支持,所以有许多局限性,比如不能完成进程外部状态检查。而在作者的设计与实现中由于具有了核心级的支持,所以能够充分地克服这些局限性。

摘要：移动Ad hoc网络是一种多跳、自组织无线网络,多播通信技术的发展进一步拓宽了其应用范围,本文主要研究多播通信环境中的移动Ad hoc网络检查点策略,以提高其可靠性和可用性.首先,讨论了支持多播通信的通信诱发检查点模型,能较好地避免级联回滚和由于检查点操作所带来额外通信开销.然后,提出了一种低能耗检查点间隔调整策略.该策略基于进程状态变迁图进行设计,考虑了故障率、休眠率等多种因素以动态确定最佳检查点时间间隔.同时,为降低检查点存储开销,分别给出了独立检查点和触发检查点选取及清除规则,可减少不必要检查点操作和及时清除无用检查点.论文还讨论了回滚恢复处理策略.最后,通过实验比较,验证了所提出的通信诱发检查点策略在能耗、存储开销、附加消息数量、回滚恢复时间等方面具有较好性能.

摘要：Unix进程的检查点设置是实现分布/并行系统容错、重播调试、进程迁移、系统模拟和作业切换等功能的基础。该论文主要论述UNIX进程检查点基本信息的保存与恢复、文件检查点、检查点信息的优化等关键技术,最后介绍Libckpt、Condor以及自行设计的Libcsm等检查点设置工具。

摘要：检查点是并行系统中实现容错的重要手段,同步检查点方法已广泛应用在工作站机群系统中。PVM所提供的消息传递机制支持高效的异构网络计算,但不支持容错功能。为了降低同步检查点设置的时间开销,提出了一种基于PVM的准同步检查点设置方法,它吸取了同步检查点方法的优点,又通过消息记录方式实现各节点间独立进行状态保存,大大降低了检查点的同步开销,提高了检查点操作效率,该方法在PVM环境下得以实现,实验结果表明所提出的方法具有较好的容错性能。

摘要：文章设计了一个基于网格计算的任务迁移与恢复模型,指出了该模型的各模块功能架构,并进一步分析和比较了该模型容错的检查点存储方式及其信息编码算法,最后通过实现一个基于Checksum算法的容错CG求解器实例表明相关理论的有效性。