Computer Science ›› 2014, Vol. 41 ›› Issue (Z11): 382-386.

Previous Articles     Next Articles

Optimization of Control Flow Checking Algorithm

LI Jian-ming,TAN Qing-ping,XU Jian-jun and YIN Sheng   

  • Online:2018-11-14 Published:2018-11-14

Abstract: In the space environment,the electrical circuses of computer are often subject to hardware transient faults,which are caused by high energy neutrons from cosmic rays.It is necessary to utilize appropriate fault tolerance techniques for improving the reliability of space application.This paper proposed an enhanced algorithm based on RSCFC(Relationship Signatures for Control Flow Checking),which is a control flow checking approach for hardware transient faults.In RSCFC,the sum of basic blocks is limited by the length of machine word.Through the segmented encoding of signatures,the optimized method solves the problem effectively.The analytical results indicate that the maximal number of basic blocks is extended to 218 when the length of machine word is 64 bits.Compared with RSCFC,the overhead of performance and memory is decreased evidently in our algorithm,and the faults detecting capability remains.

Key words: Transient faults,Software signatures,Control flow checking,Software tolerance

[1] Shivakumar P,Kistler M,Keckler S W,et al.Modeling the effect of technology trends on the soft error rate of combinational logic[C]∥Bethesdaed.Proceedings of the 2002 International Confe-rence on Dependable Systems and Networks(DSN 2002).Wa-shington:D.C,2002:389-399
[2] Siewiorek D P,Swarz R S.The Theory and Practice of ReliableSystem Design[M].Digital Press,1982
[3] lyer R K,Rossetti D J.A measurement—based model for workload dependence of CPU errors[J].IEEE Transactions on Computer,1986,35(6):511-519
[4] Bagchi S,Kalbarczyk Z,lyer R,et al.Hierarchical error detection in a SIFT environment[D].U of nlinois,2001
[5] Lyons R E,Vanderkulk W.The Use of Triple-Modular Redundancy to Improve Computer Reliability[J].IBM Journal of Research and Development,1962,6(2):200-209
[6] Pradhan D K.Fault-Tolerant Computer System Design[M].Prentice Hall,1996
[7] Lu D J.Watchdog Processor and Structural Integrity Checking[J].IEEE Transactions on Computers,1982,1(7):681-685
[8] Mahmood A,McCluskey E J.Concurrent error detection using watchdog processors-a survey[J].IEEE Transactions on Computers,1988,7(2):160-174
[9] Aho A,Sethi R,Ullman J.Compilers:Principles,Techniques and Tools(2nd)[M].Reading MA:Addison-Wesley,1986
[10] Oh N,Shirvani P P,McCluskey E J.Control-Flow Checking by Software Signatures[J].IEEE Transactions on Reliability,2002,51:111-122
[11] Reis G A,Chang J,Vachharajani N,et al.SWIFT:Software implemented fault tolerance.http://liberty.princeton.edu/publications.cg03-swift.pdf
[12] Nicolescu B,Savaria Y,Velazco R.Software Detection Mechanisms Providing Full Coverage Against Single Bit-Flip Faults[J].IEEE Transactions on Nuclear Science,2004,51(6):3510-3518
[13] Li Ai-guo,Hong Bing-rong.Software implemented transientfault detection in space computer[J].Aerospace Science and Technology,2007,11(2/3):245-252

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!