管理系统中几种软件容错的实现方法

一个功能完善、性能优良的FOXBASE、DBASEⅢ管理系统应当允许用户操作上的失误，并提供纠错的机会。当用户操作失误后，不应强制系统退到原点状态下，再重新启动，而是应当给子用户必要的提示信息和相应的补救措施，以保证系统正常运行下去，这就叫软件容错处理技术。下面是几种在FOXBASE、DBASEⅢ下开发管理系统时，软件容错的实现方法，以供参考。1菜单中的软件容错处理在某单设计中，当键人的信息代码在条件分支规定的范围之外时，若不采取措施，将会产生以下两种情况：一是在IF和CASE语句中输入代码由于不符合所有的选择条…     

非侵入式容错软件模型及实现

为消除或降低容错软件开发人员对非业务逻辑的关注度要求,提升系统的可维护性,提出了一种支持容错逻辑动态织入的非侵入式容错软件模型.通过在设计阶段将容错逻辑抽取成为若干独立可管理的容错切面,并在运行时将其动态织入软件系统中以保证软件服务质量.分析了声明式容错策略,探讨了以软件冗余副本为容错机制的容错切面建模和编织方法.最后基于此模型扩展了一个J2EE常规应用,使之具有容错能力.测试结果表明,该模型能有效提升容错软件的开发效率和可维护性.     

分布式软件的可靠性及容错

本文从可靠性的角度出发,着重分析了分布式系统中各层次软件可靠性所处理的一些问题及其相应的解决方法,并指出了一些有待进一步研究的问题。     

软件缺陷及软件可靠性技术

近年来的研究表明,系统发生的失效更多的是由于软件缺陷引起的。因此软件可靠性成为系统可靠性的关键,也是高可靠性和高可用性系统的一个主要的研究内容。该文在描述了软件可靠性与硬件可靠性不同的基础上,对软件可靠性模型、软件缺陷,以及软件可靠性技术进行了总结和论述。     

一种支持容错的任务并行程序设计模型

任务并行程序设计模型已成为并行程序设计的主流,其通过发掘任务并行性来提高并行计算机的系统性能.提出一种支持容错的任务并行程序设计模型,将容错技术融入到任务并行程序设计模型中,在保证性能的同时提高系统可靠性.该模型以任务为调度、执行、错误检测与恢复的基本单位,在应用级实现容错支持.采用一种Buffer-Commit计算模型支持瞬时错误的检测与恢复;采用应用级无盘检查点实现节点故障类型永久错误的恢复;采用一种支持容错的工作窃取任务调度策略获得动态负载均衡.实验结果表明,该模型以较低的性能开销提供了对硬件错误的容错支持.     

基于数据流分析的软件容错策略

该文就软件容错中备查点与卷回机制展开深入讨论,提出一种基于数据流分析技术的软件容错新方法.首先对软件容错进行简介,指出数据错是一切控制系统软件失效的根源与最终表现以及对数据采取强有力的容错措施的必要性.然后将数据流分析技术应用于软件容错,通过求解程序变量的到达-定值数据流方程来静态地确定任何数据在任何引用点出错时的最小充分卷回,通过求解活跃变量的数据流方程来静态地确定程序在执行各个基本块时需动态保存的变量集合,得出最小充分卷回定理与备查点数据范围定理,从而解决了时间冗余容错途径中必须回答的两个基本问题.此外,还给出了恢复块定义有效的充分条件.最后,以电信系统为应用实例,介绍了该方法的一种具体实施.该方法在简单地扩展后可被广泛应用于各种容错软件的设计中.     

软件容错：技术与展望

本文主要给出现有主流软件容错技术的一个综述。首先从传统软件容错技术开始，介绍设计多样性和数据多样性；然后介绍主流的软件容错新技术，如重配置与重恢复、指令复制错误探测、SWIFT等，同时，站在软件容错用于处理嵌入式系统硬件暂态故障的角度对这些技术进行了分析；最后在对它们比较的基础上探讨软件容错技术的可能发展方
向。     

软件双冗余容错系统的容错能力和性能分析

双冗余是比较常用的冗余容错设计方法.软件双冗余容错系统通过冗余执行完成相同功能的两个软件副本,并检查它们的结果,根据两者结果是否一致来判断是否出现了错误.建立了软件双冗余容错系统的运行时模型,并引入了软件双冗余容错系统的容错能力的概念.根据该模型分析了单个软件副本的容错能力对软件双冗余容错系统的容错能力和性能的影响.分析结果显示,提高单个软件副本的容错能力不仅能够提高软件双冗余容错系统的容错能力,还能够提高系统的性能.但在极端情况下,双冗余容错系统的容错能力也可能会小于单个软件副本的容错能力.     

利用软件容错技术提高Web服务组合的可靠性

Web服务的一个优点就是可以通过基本服务组合形成更为复杂的服务。为了确保Web服务组合的可靠性,可以利用软件容错技术来提高服务组合的可靠性。针对BPEL流程形式描述的组合服务,本文提出了一种利用软件容错模式增强组合服务可靠性的方法,并利用随机回报网模型度量组合服务的可靠性。     

基于DSP 软加固下的功耗优化方法

由于太空中存在各种宇宙射线辐射,导致星载设备产生可靠性问题,使得高性能数字信号处理器(DSP)在航空航 天中的应用受到制约,因此需要采取容错措施来对其进行加固处理。但软加固算法会使程序复算而增加系统开销,文章 基于 C6748 DSP 平台,详细说明了在不影响检错率的情况下的功耗优化方法。实验结果表明,通过此方法在保证检错率 的条件下能显著降低系统开销,同时也提升了执行效率。     

Functional semantics of programs with exceptions

Linguistic mechanisms for exception handling facilitate the production of reliable software and play an important role in fault tolerant computing. This paper describes the functional semantics of a Pascal-like language which supports exception handling and data abstraction. A program with exceptions is considered as having a standard semantics, as well as an exceptional semantics for each exception that may be signaled during its execution. Standard functional semantics methods provide rules to obtain the function representing the standard semantics. In this paper, we provide rules to determine the functions representing the exceptional semantics. We also describe a method for specifying and verifying the correctness of implementation of data types with exceptions.     

RTEMS嵌入式系统中的软件容错设计

为了提高嵌入式系统在恶劣环境下的可靠性,除了在硬件上采用诸如双机冷备份之类的容错方案外,在实时操作系统级提供软件容错处理功能既可以减小硬件资源开销,又可以在不影响系统工作效率的前提下明显提高系统的容错纠错能力.本文针对RTEMS实时操作系统缺乏软件容错支持功能的不足,在操作系统级设计了一套两级软件容错的方案,提高了嵌入式系统的可靠性.     

面向服务软件中异常处理模块重要性的仿真分析方法

基于蒙特卡洛方法,提出异常处理模块重要性的影响因子,其中包括异常处理模块所对应的保护区的重要性以及异常处理模块自身的稳态故障率.基于贝叶斯理论,计算保护区的重要性;运用马尔可夫链的遍历性计算异常处理模块的稳态故障率.试图提出一种面向服务软件中异常处理模块重要性的定量分析方法,设计人员可以根据分析结果对重要度高的异常处理模块给予更多的关注.