基于数据流分析的软件容错策略
作者:
基金项目:

本文研究得到国家教委博士学科点专项科研项目基金资助.


A DFA-based Approach for Software Fault Tolerance
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [1]
  • |
  • 相似文献 [20]
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

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

    Abstract:

    In this paper, the checkpointing & rollback mechanism is studied deeply, and a new approach for SFT (software fault tolerance) is presented, which is based on the DFA (data flow analysis). The authors introduce the SFT technology at first, and point out that the peculiarity of data is the ultimate reason and also the final result of the software faults in control systems, so it is very necessary to adopt a powerful measure for data fault tolerance. Then, they discuss the applications of the DFA technique in the SFT in details, and give two theorems, one is for the minimal sufficient rollback point and another is for the checkpoint data set. Besides, they give the sufficient condition for the validation of the definition of a rollback block. They also use the telecommunication system as an example to illustrate the usage of this method. It is shown that only two checkpoints are needed to be maintained dynamically in their solution. The method presented in this paper can be used widely by extending simply.

    参考文献
    1  Siewiorek D P, Swarz R S. The theory and practice of reliable system design. Bedford: Digital Press, 1982 2  Lyn M R. Software fault tolerance. New York: Wiley & Sons Ltd., 1995 3  Johnson B W. Design and analysis of fault tolerance digital systems. Menlo Park, California: Addison-Wesley Publishing Company, 1989 4  Avizienis A, Chen L. On the implementation of N-version programming for software fault tolerance during execution. In: Proceedings of the International Conference on Computer Software and Applications. New York: IEEE Press, 1977. 149~155 5  Avizienis A, Kelly J P. Fault tolerance by design diversity: concepts and experiments. IEEE Computer, 1984,17(8):67~80 6  Huang Y, Jalote P, Kintala C M R. Two techniques for transient software error recovery. Hardware and Software Architectures for Fault Tolerance: Experience and Perspective, Lecture Notes in Computer Science, Springer Verlag, 1994. 159~170 7  Chandy K M, Ramamoorthy C V. Rollback and recovery strategies for computer programs. IEEE Transactions on Computer, 1972,C-21(2):137~146 8  陈火旺,钱家骅,孙永强.编译原理.北京:国防工业出版社,1984.253~256 (Chen Huo-wang, Qian Jia-hua, Sun Yong-qiang. Compiling Principles. Beijing: National Defense Publishing House, 1984. 253~256)
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

刘云龙,陈俊亮.基于数据流分析的软件容错策略.软件学报,1998,9(7):537-541

复制
分享
文章指标
  • 点击次数:3848
  • 下载次数: 5339
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:1997-04-07
  • 最后修改日期:1997-06-19
文章二维码
您是第19793841位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号