Solaris系统多线程检查点设置与卷回恢复

文章利用UNIX进程检查点设置思想，结合多线程在Solaris系统中的实现特点，提出了一种适合于Solaris操作系统的多线程检查点设置与恢复技术，其检查点设置与恢复技术具有在用户级实现、对用户透明和简单高效的特点。文章主要介绍检查点信息的保存与恢复、函数换名、包裹，线程号映射等关键技术。

基于NOW的检查点设置与卷回恢复

通过对分布系统卷回恢复过程中出现的主要问题进行讨论 ,并针对工作站网络 (NOW ,networkofworkstations)系统环境 ,分析了不同CRR技术的优劣 .在此基础上 ,论述了一个并行程序运行回卷恢复与进程迁移系统———ChaRM的设计与实现技术 .最后给出了ChaRM系统性能评测结果 。

Windows NT环境下的进程检查点设置与回卷恢复

阐述了 Windows NT环境下应用程序的检查点设置与回卷恢复机制 ,并介绍了设计和实现的检查点设置与恢复工具 Win NTCkpt.Win NTCkpt采用标准 Windows API函数 ,通过代码动态注入和对系统调用进行包裹的方法进行检查点设置与回卷恢复 .与同类工具相比 ,Win NTCkpt具有不需修改应用程序源代码 ,不需对应用程序进行重新编译或连接 ,支持对用户文件内容的检查点设置与回卷恢复的特点 .Win NTCkpt是正在研制开发的高可用性机群计算环境的核心 ,也是在机群环境下实现进程迁移和负载平衡的技术基础 .

一种基于准同步检查点的虚拟机卷回恢复算法

针对典型的云平台下虚拟化系统的特点,提出了一种结合选择性日志的准同步检查点算法VM_QSC:保持不同虚拟机节点固有的优化检查点周期,通过物理节点Hypervisor选择性地进行虚拟机的消息日志的稳定存储,在全局监控节点维护虚拟机一致线信息,保持全局的一致性。与传统的准同步检查点和同步检查点相比,该算法维持了虚拟机检查点设置的自主性,并显著降低了虚拟化系统的容错开销,可以有效应用于云计算环境下的虚拟资源管理和动态迁移。

WOB:一种新的文件检查点设置策略

实现分布 /并行系统容错的基础是单进程检查点设置和卷回恢复技术 ,而对进程活动文件状态进行保存和恢复则是这种技术的重要方面 .本文提出的延迟写策略 ,实现了对用户文件的检查点设置 ,有效地解决了在发生故障时用户文件内容与进程全局状态的不一致问题 .它对用户通明 ,并且通过优化设置内存缓冲区大小、时延隐藏等手段 ,使得这种策略在空间开销、正常运行时间、恢复时间等性能指标上优于其它方法 .

具有O(n)消息复杂度的协调检查点设置算法

协调检查点设置及回卷恢复技术作为一种有效的容错手段,已广泛地运用在集群等并行/分布计算机系统中.为了进一步降低协调检查点设置的时间和空间开销,提出了一种基于消息计数的协调检查点设置算法.该算法无须对底层消息通道的FIFO特性进行假设,并使同步阶段引入的控制消息复杂度由通常的O(n2)降低到O(n),有效地提高了系统的效率和扩展性.

基于PVM的协调检查点设置关键技术

本文论述了基于 PVM的并行程序运行回卷恢复系统设计和实现过程中的退出再加入 PVM机制、任务号隐式映射机制、任务结束前同步机制、防止 PVM库重入机制、信号与消息协同触发机制、应用任务初始化机制以及作为前述各机制实现基础的函数包裹与换名机制等关键技术 .这些技术已经成功地应用于我们自主开发的 Cha RM系统中 。

龙岩市乡镇卫生院结核病痰涂片检查点设置情况分析

[目的]在乡(镇)设置痰涂片检查点,为疑似肺结核病人及肺结核病人提供就近、方便的治疗、及早地发现传染性结核病人,扩大寻找传染源范围,使更多结核病人及时发现,并得到就诊。[方法]按乡(镇)数设置1/3痰涂片检查点。龙岩市共有134个乡,设置42个痰涂片检查点。[结果]42个痰涂片检查点中有24个中心卫生院,18个普通卫生院,痰涂片检查点覆盖人数最多的乡(镇)为长汀县河田镇,覆盖人数67 970人,覆盖人数最少永定县洪山乡,覆盖人数为7 891人。路程距县结防机构最近的乡(镇)是武平县中山乡11 km,距县结防机构最远的乡(镇)是上杭县古田镇64km。痰涂片检查点覆盖村数最多的是长汀县濯田镇40个村,覆盖村数最少的是永定县坎市镇7个村。[结论]42个痰涂片检查点的设置,反应了部分县(市、区),在设置痰涂片检查点中,过多考虑覆盖人口密集的乡(镇),而忽略边远山区人口分散、贫困、交通不便、缺医少药的乡(镇)。痰涂片检查点的合理设置,能使基层卫生网络在结核病防治工作中充分发挥作用。

实时双机系统中检查点设置周期的选择

为了保证长运行时间软件的实时性要求 ,本文针对双机冗余系统 ,采用检查点设置与卷回恢复的方法提出了一种系统模型 ,同时为使任务的完成时间最短而给出了如何确定检查点设置周期的方法。文章最后进行了数学分析并给出了模拟结果比较。

移动计算环境下基于最少费用的检查点恢复策略

作为分布计算的特殊形式,移动计算有很多新的问题产生,如缺少可靠存储、低无线频道带宽、高移动性和有限的电池支持时间等,使得传统检查点算法不能很好地适用于移动计算环境.针对上述问题,提出了一种采取最少的检查点数的移动检查点算法.该算法只需要部分进程阻塞最小的时间,能够实现一致的恢复.

基于虚拟文件操作的文件检查点设置

实现分布/并行系统容错的基础是单进程检查点设置和卷回恢复技术,而对活动文件信息进行保存和恢复则是这种技术的重要方面.提出一种虚拟文件操作策略,实现了对用户文件的检查点设置,有效地解决了发生故障时用户文件内容与进程全局状态的不一致的问题.该方法通过文件块式管理、检查点分布操作等技术,使得在空间开销、正常运行时间、恢复时间等性能指标上优于其他方法,并且具有对用户透明、可最大限度地保留已完成工作的特点.

基于检查点间隔优化的容错实时系统可调度性

针对实时系统容错模型只能容忍任务执行时一次故障发生的缺陷,基于卷回恢复容错模型,提出了任务局部最优检查点间隔求解算法,使实时系统任务能够容忍任务执行过程中多次故障的发生;进而基于局部最优检查点间隔提出任务集检查点间隔全局优化(CIGO)策略。基于不同的检查点间隔优化机制,结合实时系统任务最坏响应时间的计算公式进行系统可调度性分析。仿真实验表明,与局部最优检查点间隔相比,基于全局优化检查点间隔的实时系统容错能力有显著提升。

改进的检查点间隔动态设置算法

设置检查点是一种常用的容错技术.带有检查点系统的额外开销包括检查点的比较和保存开销,以及由错误造成的重新执行的开销.对双机冗余模式下的附加检查点进行分析得到了使平均执行时间最小的检查点个数的计算方法,进而提出了改进的检查点间隔动态设置算法.仿真结果表明与原算法相比,该算法明显提高了任务在错误出现的情况下按时完成的概率.

瓦斯检查点的设置与“三对口”管理的探讨

做好煤矿瓦斯防治工作,瓦斯检查点的设置是重要环节,设置得当,既能有效管控瓦斯等有害气体,还能减轻瓦斯检查工作人员负担。文章结合近年来的瓦斯事故,详细介绍了瓦斯"三对口"的具体工作流程和注意事项,指出瓦斯检查是基础,瓦斯检查点的设置与瓦斯检查"三对口"管理是通防安全不可忽视的方面。

提高用任务重复的检查点方案的性能

设置检查点是减少程序在故障条件下执行时间的一种常用技术 .将检查点与任务重复技术相结合 ,不仅能够完成有效的故障恢复 ,而且还能进行完善的故障检测 .上述系统的开销主要来自两方面 :其一是每个检查点的比较和保存开销 ,其二是因故障而引起的卷回 .本文利用增量检查点对Ziv和Bruck提出的方法进行了改进 ,改进后的方法不仅能够有效地减少比较、保存检查点的开销 ,而且还能够避免潜伏故障引起的卷回 .分析表明改进后的方法与Ziv和Bruck的方法相比表现出更好的性能 .

一种低开销非阻塞的协同式检查点算法

协同式检查点设置及卷回恢复技术是一种简单有效的容错手段,被广泛地运用于并行/分布式系统中。为进一步降低协同式检查点算法的开销,该文给出了一个基于可重建检查点的非阻塞协同式检查点算法。并行程序出错导致卷回恢复发生的概率远小于检查点设置概率,该算法利用这一特性,将检查点设置的部分开销转至卷回恢复阶段,降低了容错的开销,提高了系统的可扩展性。

一种基于移动计算的非阻塞协同检查点算法

传统分布式网络中协同检查点算法有许多优点,但移动计算环境有很多新问题,如缺少可靠存储、低无线网络带宽、高移动性、断开连接和能量限制等,使得协同检查点算法不能很好地适用于移动计算环境.为此提出一种适合移动计算环境的非阻塞的协同检查点算法,算法中检查点的发起和同步由移动支持站完成,只需记录部分中途消息就能实现一致可恢复.算法对移动主机是透明的,低开销的.

实时交互进程的并发检查点技术

提出了一种并发检查点技术,允许进程在设置检查点的同时尽可能保持继续执行。在拷贝进程地址空间(设置检查点的步骤之一)的同时,阻塞页面写操作并拷贝该原始页面到指定缓冲区,达到不需要在拷贝进程空间的同时停止该被设置检查点进程,最后结合缓冲区中拷贝页面,得到具有一致性的进程状态的映像文件。实验结果表明,可以减少20%～70%被检查进程的停止时间,使得检查点的设置与进程的执行具有一定的并发性。减少被检查进程在设置检查点时的停止时间,适合实时性和交互性要求较高的进程设置检查点。

一种降低并行程序检查点开销的方法

检查点设置和卷回恢复是提高系统可靠性和实现容错计算的有效途径,其性能通常用开销率来评价,而检查点开销是影响开销率的主要因素。针对目前并行程序运行时存在较多通信阻塞时间的现状,该文在写时复制检查点缓存的基础上提出了一种进一步降低检查点开销的方法。通过控制状态保存线程的调度和选择合适的状态保存粒度,该方法能很好地利用通信阻塞时间隐藏状态保存线程运行时带来的开销,从而能进一步降低开销率。