基于分块消息日志的回卷恢复策略 被引量：5

1

作者 杨金民 张大方 《电子学报》 EI CAS CSCD 北大核心 2004年第5期857-859,共3页

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

关键词 分布式系统 回卷恢复 消息日志 性能评估 参数优化

下载PDF 职称材料

一种面向移动计算的低代价透明检查点恢复协议(英文) 被引量：4

2

作者 李庆华 蒋廷耀 张红君 《软件学报》 EI CSCD 北大核心 2005年第1期135-144,共10页

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

关键词 移动计算 检查点 消息日志 回滚恢复

下载PDF 职称材料

MPI程序容错系统的分析和设计 被引量：2

3

作者 张庆成 金海 张浩 《计算机工程与科学》 CSCD 2005年第6期89-92,共4页

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

关键词 MPI 容错 检查点 P4通信库 消息日志

下载PDF 职称材料

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

4

作者 王准 陈俊亮 《通信学报》 EI CSCD 北大核心 2000年第12期23-29,共7页

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

关键词 软件容错 消息日志 电信软件

下载PDF 职称材料

异步检查点容错PVM 被引量：1

5

作者 余洋 陆鑫达 《计算机工程与应用》 CSCD 北大核心 1999年第11期34-37,共4页

以工作站簇为代表的计算环境是当前分布式系统和并行计算的研究重点之一，ＰＶＭ所提供的消息传递机制支持了高效的异构网络计算。但标准ＰＶＭ缺乏对系统容错的支持，这可以通过使用检查点的回滚恢复方式予以弥补。该文对如何在用户级... 以工作站簇为代表的计算环境是当前分布式系统和并行计算的研究重点之一，ＰＶＭ所提供的消息传递机制支持了高效的异构网络计算。但标准ＰＶＭ缺乏对系统容错的支持，这可以通过使用检查点的回滚恢复方式予以弥补。该文对如何在用户级实现ＰＶＭ全局容错，分析其设计思想和实现技术。主要思想是使用进行消息记录的异步检查点算法，并利用ＰＶＭ守护进程和全局调度进程进行控制，所有操作对应用程序都是透明的。利用该系统还可以进一步实现ＰＶＭ的透明进程迁移和负载均衡。 展开更多

关键词 异步检查点 容错 工作站簇 PVM 软件系统

下载PDF 职称材料

并发环境中渐增式追踪重演机制 被引量：1

6

作者 曾奕 徐宝文 许蕾 《计算机与数字工程》 2005年第3期16-20,共5页

在基于消息传递的并发程序中 ,由于进程的调度顺序以及消息延时等特性 ,使得同样输入的不同执行呈现不同的结果 ,这种并发程序行为的不确定性直接导致了程序错误的不可再现性 ,即后续的执行无法再现前次执行的错误。以反复执行程序、重... 在基于消息传递的并发程序中 ,由于进程的调度顺序以及消息延时等特性 ,使得同样输入的不同执行呈现不同的结果 ,这种并发程序行为的不确定性直接导致了程序错误的不可再现性 ,即后续的执行无法再现前次执行的错误。以反复执行程序、重复再现故障为核心的循环调试方法变得不再可用。因此 ,对于并发程序的调试问题 ,我们将传统的循环调试方法加以扩充 ,引入追踪和重演的机制 ,重放程序的某次执行 ,以消除并发程序的错误不可再现性。 展开更多

关键词 并发 不确定性 追踪重演 检查点 消息记录

下载PDF 职称材料

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

7

作者 王准 陈俊亮 《计算机学报》 EI CSCD 北大核心 1998年第8期730-737,共8页

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

关键词 软件容错 消息日志 不确定性

下载PDF 职称材料

移动计算环境下可配置的卷回恢复算法

8

作者 姚建盛 刘艳玲 《长春工程学院学报（自然科学版）》 2009年第4期92-95,共4页

设计了一种可配置的卷回恢复算法,算法将检查点分别存储在移动节点本地磁盘和移动支持站上的可靠存储器,用低费用的检查点容忍出现频率较高的错误,而用高代价的检查点容忍出现频率较低的错误。算法降低了无线网络负载和能耗,减少了采取... 设计了一种可配置的卷回恢复算法,算法将检查点分别存储在移动节点本地磁盘和移动支持站上的可靠存储器,用低费用的检查点容忍出现频率较高的错误,而用高代价的检查点容忍出现频率较低的错误。算法降低了无线网络负载和能耗,减少了采取检查点和错误恢复的迟延,并根据环境动态配置,可降低算法平均开销率。 展开更多

关键词 移动计算 卷回恢复 检查点 消息日志

下载PDF 职称材料

基于异步消息记录(CMLA)的卷回恢复算法

9

作者 张宇 洪炳熔 《高技术通讯》 EI CAS CSCD 2002年第7期48-52,共5页

为了最大限度地减小检测点设置和卷回恢复的时间、空间开销 ,提出了基于异步消息记录的卷回恢复算法。同以前的算法相比较 ,该算法一方面节省了用于进程之间同步的时间开销 ,另一方面检测点设置及卷回过程中只涉及少量的相关进程 ,并且... 为了最大限度地减小检测点设置和卷回恢复的时间、空间开销 ,提出了基于异步消息记录的卷回恢复算法。同以前的算法相比较 ,该算法一方面节省了用于进程之间同步的时间开销 ,另一方面检测点设置及卷回过程中只涉及少量的相关进程 ,并且减少了保存检测点的空间开销。文中对算法的正确性进行了证明 ,并通过模拟实验给出了算法的开销。 展开更多

关键词 异步消息记录 CMLA 卷回恢复 算法 检测点 软件容错 空间开销 模拟实验 计算机 存储器

下载PDF 职称材料

导航接收机数据处理软件可测性设计与实现

10

作者 靖守让 向为 雍少为 《全球定位系统》 2011年第4期47-50,共4页

针对接收机数据处理软件的可测性设计运用几种方法:设计分层与管道过滤器相结合的体系结构可将软件故障限制在层次或过滤器范围内;软件运行环境模拟便于嵌入式软件分解测试;状态序列编码能动态指示软件运行状态;消息日志可静态复现一段... 针对接收机数据处理软件的可测性设计运用几种方法:设计分层与管道过滤器相结合的体系结构可将软件故障限制在层次或过滤器范围内;软件运行环境模拟便于嵌入式软件分解测试;状态序列编码能动态指示软件运行状态;消息日志可静态复现一段时间内接收机数据处理软件的工作流程。 展开更多

关键词 可测性 软件体系结构 状态码 消息日志

下载PDF 职称材料

基于接收者的悲观消息记录协议的设计与实现

11

作者 李海军 周明忠 《计算机工程与应用》 CSCD 北大核心 2005年第11期102-104,共3页

消息记录协议是高性能计算机进行局部容错的基础技术之一,该文设计与实现了一个基于接收者的悲观消息记录协议,并且集成到MPI的实现中。最后,利用软件模拟的方法在神威超级计算机上进行了验证。

关键词 消息记录协议 容错 高性能计算 基于接收者

下载PDF 职称材料

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

12

作者 张展 左德承 +1 位作者 黄友富 何辉 《计算机科学》 CSCD 北大核心 2014年第5期46-49,共4页

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

关键词 准同步检查点 选择性日志 卷回恢复 虚拟机 云计算

下载PDF 职称材料

日志检查点回卷恢复策略的检查点周期求解模型 被引量：2

13

作者 徐振朋 门朝光 李香 《高技术通讯》 CAS CSCD 北大核心 2011年第6期575-580,共6页

基于Markov链进程状态模型和拉普拉斯变换，提出了一种日志检查点回卷恢复容错策略的最佳检查点周期求解模型，该模型充分考虑了日志检查点回卷恢复策略中进程回卷恢复与正常运行期间执行速度存在的差别，同时允许进程检查点和回卷恢复... 基于Markov链进程状态模型和拉普拉斯变换，提出了一种日志检查点回卷恢复容错策略的最佳检查点周期求解模型，该模型充分考虑了日志检查点回卷恢复策略中进程回卷恢复与正常运行期间执行速度存在的差别，同时允许进程检查点和回卷恢复期间发生故障事件。通过求解进程状态Markov链转移概率和权重，得到完成检查点间隔的期望执行用时，最后通过系统最小容错负载率得出进程的最佳检查点周期。该模型退化后与现有其它求解模型相一致，结果表明该模型能确保相对较低的容错开销。 展开更多

关键词 分布式计算 容错 消息日志 回卷恢复 检查点周期

下载PDF 职称材料

基于相互独立检查点的MPI消息日志系统

14

作者 庞丽萍 陈宝利 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第8期57-59,共3页

提出了一种新的MPI消息日志机制及实现原理 ,它基于发送方的混合日志协议 ,采用收消息和发消息的全监管机制 ,使每个进程的消息收、发过程与检查点操作时机相对独立 .当一支进程失效时 ,只回滚该进程本身 ,减小了因为单支进程失效给整... 提出了一种新的MPI消息日志机制及实现原理 ,它基于发送方的混合日志协议 ,采用收消息和发消息的全监管机制 ,使每个进程的消息收、发过程与检查点操作时机相对独立 .当一支进程失效时 ,只回滚该进程本身 ,减小了因为单支进程失效给整个执行过程带来的进度影响 ,也使得并行程序具有类似于独立运行程序的自由度 . 展开更多

关键词 MPI 并行计算 消息日志 检查点 容错

下载PDF 职称材料

电子值班系统分析设计

15

作者 周兵 代自强 +1 位作者 韩珊珊 王飞 《电工技术》 2018年第1期54-55,57,共3页

针对地方电网调度故障处置的现实需求,提出软、硬件结合的电子值班系统,并对其功能、架构、流程逻辑和数据库进行了分析设计,实现了故障简报自动编辑、短消息便捷发送和值班日志快速生成,提高了调度员的工作效率。

关键词 电子值班 故障简报 短消息 值班日志

下载PDF 职称材料

SIMS邮件计费系统的设计与实现

16

作者 刘蜀豫 孙传林 杨勇 《计算机工程》 CAS CSCD 北大核心 2000年第S1期384-386,共3页

本文通过对ＳＩＭＳ邮件系统日志文件的分析，探讨了本系统下的邮件计费策略，给出了该系统下的邮件计费系统的模型，并加以实现。

关键词 SIMS 日志文件 邮件计费策略 邮件计费系统 SYBASE

下载PDF 职称材料