• Articles • Previous Articles     Next Articles

Error Recovery in a Real-Time Multiprocessor System

Li Weihua; Yuan Youguang;   

  1. Dept.of Electrical Engineering Guangdong Institute of Technology; Guangzhou; Wuhan Digital Engineering Institute; P.O.Box 223; Wuchang;
  • Online:1992-01-10 Published:1992-01-10

In this paper,a new scheme for recovering errors due to transient faults in a real-time multiprocessor system is presented.The scheme,called dynamic redundancy at the task level,is implemented in a real-time multitasking environment.Utilizing the facilities in the operating system,the scheme makes backup tasks for the primary tasks as redundancy.The paper introduces an algorithm to gene- rate a fault tolerant schedule for the tasks so that they recover errors as retry or checkpointing does.A reliability mod…

Key words: partial evaluation,constraint solving,imperative language,residual program;



[1] Y.W.Ng and A.Avizienis, A unified reliability model for fault tolerant computers. IEEE Trans .Comput., 1980, C-29(11).1002-1011.

[2] D.P.Siewiorek and R.S.Swarz, The Theory and Practice of Reliable System Design. Bedford MA:Digital Press. 1982.

[3] X.Castillo, S.R.McConnel and D.P.Siewiorek, Derivation and calibration of a transient error reliability model. IEEE Trans. Corrput., 1982, C-31 (7 ), 658-671.

[4] iRMX86 Nucleus Reference Manual. Intel Corporation,5200 NE Elam Young Parkway, Hillsboro OR 97123.
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] Zheng Yuhua; Xie Li; Sun Zliongxiu;. Full Or-Parallemism and Restricted And-Parallelism in BTM[J]. , 1994, 9(4): 373 -381 .
[2] Chen Ke; Masumi Ishikawa;. A Parallel Voting Scheme for Aspect Recovery[J]. , 1995, 10(5): 385 -402 .
[3] Yu Shengke;. Reasoning in H-Net: A Unified Approach to Intelligent Hypermedia Systems[J]. , 1996, 11(1): 83 -89 .
[4] Sun Yufang;. Hanzix and Chinese Open System Platform[J]. , 1997, 12(3): 283 -288 .
[5] Wang Haohong; Wu Ruixun; Cai Shijie;. A New Algorithm for Two-Dimensional Line Clipping via Geometric Transformation[J]. , 1998, 13(5): 410 -416 .
[6] XU Xiaofei; YE Dan; LI Quanlong; ZHAN Dechen;. Dynamic Organization and Methodology for Agile Virtual Enterprises[J]. , 2000, 15(4): 368 -375 .
[7] NIE Xumin; GUO Qing;. Renaming a Set of Non-Horn Clauses[J]. , 2000, 15(5): 409 -415 .
[8] Wei Wang, Ming Liu, and Andrew Hsu. Hybrid Nanoelectronics: Future of Computer Technology[J]. , 2006, 21(6): 871 -886 .
[9] Yu-Hai Zhao, Guo-Ren Wang, Ying Yin, and Guang-Yu Xu. A Novel Approach to Revealing Positive and Negative Co-Regulated Genes[J]. , 2007, 22(2): 261 -272 .
[10] Rafiullah Chamlawi, Asifullah Khan, and Adnan Idris. Wavelet Based Image Authentication and Recovery[J]. , 2007, 22(6): 795 -804 .

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved