交换系统多进程状态一致性恢复的一种方法

1

作者 王准 陈俊亮 《通信学报》 EI CSCD 北大核心 2001年第2期93-99,共7页

本文针对由确定性进程和非确定性进程构成的交换系统 ,在分析了系统内进程的拓扑结构及其它特点的基础上 ,提出了失效后状态恢复的优化方法。本文的主要贡献在于首次提出了用于进程状态恢复的反消息的概念。

关键词 软件容错 一致性恢复 交换系统 多进程状态

在线阅读 下载PDF 职称材料

基于有限状态进程的事件约束定义 被引量：5

2

作者 顾庆 陈道蓄 +2 位作者 谢立 韩杰 孙钟秀 《软件学报》 EI CSCD 北大核心 2002年第11期2162-2168,共7页

测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词... 测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性. 展开更多

关键词 有限状态进程 事件约束定义 软件测试 并发程序 软件开发

在线阅读 下载PDF 职称材料

生成诊断公式的有限状态进程等价验证 被引量：1

3

作者 李明 《计算机工程与设计》 CSCD 北大核心 2010年第2期344-347,共4页

分析有限状态进程互模拟等价判定技术,探讨了诊断公式的生成问题。给出了将有限状态进程转化为带标号的迁移系统,修改了Paige和Trajan求解最粗划分的算法,使其适用于带标号的迁移系统。给出生成Hennessy-Milner逻辑描述的诊断公式的算法... 分析有限状态进程互模拟等价判定技术,探讨了诊断公式的生成问题。给出了将有限状态进程转化为带标号的迁移系统,修改了Paige和Trajan求解最粗划分的算法,使其适用于带标号的迁移系统。给出生成Hennessy-Milner逻辑描述的诊断公式的算法,当两个进程不能互模拟时,产生两个诊断公式。算法的时间复杂度为O(mlogn),空间复杂度为O(m+n)。 展开更多

关键词 互模拟 形式验证 带标号的迁移系统 有限状态进程 Hennessy-Milner逻辑

在线阅读 下载PDF 职称材料

进程迁移及其设计 被引量：1

4

作者 林郁 徐炜民 《上海大学学报（自然科学版）》 CAS CSCD 1999年第S1期166-169,共4页

回顾了进程迁移的应用发展的主要原因,讨论了进程迁移机制的主要特征以及设计中需要解决的问题.随后,对现有的各种进程迁移算法进行介绍和评估.最后,提出了基于其中一种算法的具体设计.

关键词 进程迁移 进程状态 分布式系统 地址空间

在线阅读 下载PDF 职称材料

Windows NT进程检查点系统NTckpt的设计与实现

5

作者 梁蓓 杨金民 张大方 《计算机应用》 CSCD 北大核心 2003年第6期23-25,共3页

设置进程检查点是保存和恢复进程运行状态的重要技术,是实现容错、卷回调试和进程迁移的重要手段。介绍了WindowsNT操作系统的进程状态,以及基于该操作系统的进程检查点系统NTckpt的实现原理。NTckpt实现了完全一致恢复用户地址空间,保... 设置进程检查点是保存和恢复进程运行状态的重要技术,是实现容错、卷回调试和进程迁移的重要手段。介绍了WindowsNT操作系统的进程状态,以及基于该操作系统的进程检查点系统NTckpt的实现原理。NTckpt实现了完全一致恢复用户地址空间,保证了地址空间中动态分配数据区域的正确恢复。 展开更多

关键词 客错 进程状态 进程检查点

在线阅读 下载PDF 职称材料

一种可靠高效的回卷恢复实现方法 被引量：5

6

作者 杨金民 张大方 黎文伟 《电子学报》 EI CAS CSCD 北大核心 2006年第2期237-240,共4页

本文针对现有用户级进程检查点实现中的线程挂起点不确定性问题提出一种基于线程自挂的解决方案.另外,为了降低分布式回卷恢复开销,本文提出一个多线程化的回卷恢复实现基架.基于所提回卷恢复策略,开发了一个回卷恢复试验床W INDAR.试... 本文针对现有用户级进程检查点实现中的线程挂起点不确定性问题提出一种基于线程自挂的解决方案.另外,为了降低分布式回卷恢复开销,本文提出一个多线程化的回卷恢复实现基架.基于所提回卷恢复策略,开发了一个回卷恢复试验床W INDAR.试验结果表明,多线程化实现策略能够显著提高悲观消息日志协议性能. 展开更多

关键词 检查点 进程状态 回卷恢复 多线程

在线阅读 下载PDF 职称材料

基于补偿回滚的操作系统故障自恢复技术 被引量：2

7

作者 朱怡安 史佳龙 《西北工业大学学报》 EI CAS CSCD 北大核心 2015年第5期709-715,共7页

操作系统故障根据传播特性可分为process-local和kernel-global 2类,分别造成进程局部数据和内核全局状态的错误。现有技术通过重启系统或故障进程实现对进程局部数据错误的恢复,但未考虑内核全局状态的不一致问题,不能保证对kernel-glo... 操作系统故障根据传播特性可分为process-local和kernel-global 2类,分别造成进程局部数据和内核全局状态的错误。现有技术通过重启系统或故障进程实现对进程局部数据错误的恢复,但未考虑内核全局状态的不一致问题,不能保证对kernel-global类型故障的恢复效果。针对以上问题,提出了一种基于补偿回滚的故障自恢复技术。该技术通过监测内核全局方法调用,在进程局部数据被正确恢复的前提下,利用补偿操作对不一致的内核全局状态进行恢复,控制了故障的传播效应,减小了单点故障造成的影响。此外,该技术以内核模块的形式实现,不需要对目标操作系统进行修改,可便捷地实现功能扩展和移植。故障注入实验结果表明,在保证系统功能正常的前提下,该技术能对91.6%的故障进行有效恢复,且带来的系统负载较小。 展开更多

关键词 操作系统 内核补偿 进程状态回滚 故障自恢复

在线阅读 下载PDF 职称材料

群机系统的容错和恢复 被引量：1

8

作者 丁俊 童维勤 《计算机应用》 CSCD 北大核心 2001年第6期90-92,共3页

工作站群机系统已成为分布式并行处理发展的主流方向之一。随着群机系统应用领域的逐渐拓展和规模的不断扩大 ,人们对其可靠性的要求日益提高。设计高可靠的群机系统 ,需要着重研究其系统容错技术。本文主要论述linux群机分布式系统进... 工作站群机系统已成为分布式并行处理发展的主流方向之一。随着群机系统应用领域的逐渐拓展和规模的不断扩大 ,人们对其可靠性的要求日益提高。设计高可靠的群机系统 ,需要着重研究其系统容错技术。本文主要论述linux群机分布式系统进程的容错和恢复。重点讲述用户层中的检查点设置。 展开更多

关键词 工作站群机系统 容错 进程状态 故障恢复

在线阅读 下载PDF 职称材料

PSC:软硬件协同设计的一种中间模型

9

作者 刘洋 虞慧群 宋国新 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第3期305-310,共6页

提出了一种软硬件协同设计的系统模型—— PSC(进程状态控制 )。建立了 PSC的可视化表示、形式化的定义和演化规则。PSC是一种层次化建模方法 ,它可以将系统控制逻辑和功能实现分离 ,有助于将模型转换为物理实现 。

关键词 PSC 协同设计 中间模型 进程状态控制 可视化 软件 硬件

在线阅读 下载PDF 职称材料

超步透导的回卷恢复

10

作者 丁俊 童维勤 《小型微型计算机系统》 CSCD 北大核心 2002年第6期731-735,共5页

工作站机群系统已成为分布式并行处理发展的主流方向之一 .随着机群系统应用领域的逐渐拓展和规模的不断扩大 ,人们对其可靠性的要求日益提高 .设计高可靠的群机系统 ,需要着重研究其系统容错技术 .本文叙述了并行异构环境回卷恢复和检... 工作站机群系统已成为分布式并行处理发展的主流方向之一 .随着机群系统应用领域的逐渐拓展和规模的不断扩大 ,人们对其可靠性的要求日益提高 .设计高可靠的群机系统 ,需要着重研究其系统容错技术 .本文叙述了并行异构环境回卷恢复和检查点派生 .实现透明的可移植容错和负载均衡能力 .避免调整检查点就可以构成全局一致性状态 .不仅使 BSP应用程序自治容错能力 ,而且能够在机群 (Clusters)间迁移 ,保持系统负载均衡 .重点介绍检查点设置、检查点派生、卷回。 展开更多

关键词 超步诱导 回卷恢复 容错 故障恢复 进程迁移 进程状态 工作站机群系统

在线阅读 下载PDF 职称材料

企业动态联盟敏捷性研究 被引量：2

11

作者 蒋贵川 范玉顺 吴澄 《中国机械工程》 EI CAS CSCD 北大核心 2002年第8期669-671,共3页

主要对基于生产过程分解和招投标的动态联盟建盟方式进行了研究 ,对动态联盟的敏捷性时间和成本指标进行了分析 ,指出了影响时间和成本指标的主要因素。并对盟员两两直接协商的动态联盟建盟方式与招投标建盟方式进行了比较。将 Rick Dov... 主要对基于生产过程分解和招投标的动态联盟建盟方式进行了研究 ,对动态联盟的敏捷性时间和成本指标进行了分析 ,指出了影响时间和成本指标的主要因素。并对盟员两两直接协商的动态联盟建盟方式与招投标建盟方式进行了比较。将 Rick Dove提出的企业敏捷性度量指标扩展应用于动态联盟敏捷性的分析 ,从而得出了一些对于动态联盟建盟具有指导性意义的原则。 展开更多

关键词 敏捷制造 动态联盟 敏捷性 状态-进程图

在线阅读 下载PDF 职称材料

一种面向领域需求与业务流程间一致性的检测方法 被引量：1

12

作者 柳金杜 沈立炜 +1 位作者 彭鑫 赵文耘 《小型微型计算机系统》 CSCD 北大核心 2013年第6期1270-1275,共6页

BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程... BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程模板之间往往存在不一致情况.针对该问题,提出一种面向领域需求与业务流程一致性的模型检测方法,该方法使用变数线性时态逻辑(FLTL)描述领域需求,同时使用状态进程公式(FSP)描述BPMN实例,在持续的迭代过程中使用自动化模型检测工具发现领域需求与业务流程之间的不一致,并将其反馈给相关人员实施修正. 展开更多

关键词 业务流程建模符号(BPML) 软件产品线 变数线性时态逻辑(FLTL) 状态进程公式(FSP)

在线阅读 下载PDF 职称材料

基于体系结构的信息物理融合系统的研究与分析 被引量：1

13

作者 梁刚强 张立臣 《小型微型计算机系统》 CSCD 北大核心 2016年第6期1371-1376,共6页

提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建... 提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建,并以此作为原型设计和对使用基于模型工具创建的设计替代方案进行分析评价的参考环境.文章提出的CPS体系结构模式在Acme Studio中进行实现,并且对组件和连接器做了行为解释,这些行为解释通过以标签转换系统分析器(LTSA)作为扩展插件的有限状态进程(FSP)或者以多面混合自动机验证机(PHAVer)作为扩展插件的线性混合自动机(LHA)进行验证.最后,文章用一个锅炉温度控制系统的实例来解释提出的CPS体系结构模式和所用到的分析插件. 展开更多

关键词 体系结构描述语言 信息物理融合系统 CPS体系结构模式 有限状态进程 线性混合自动机

在线阅读 下载PDF 职称材料