Automatic instruction-level software-only recovery

IEEE Micro

Volumn 27, Issue 1, 2007, Pages 36-47

  Reis, George A ^a   Chang, Jonathan ^a   August, David I ^a  

^a Princeton University   (United States)

Author keywords

Fault recovery; Fault tolerance; Reliability; Software only fault tolerance

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR DETECTION; PROGRAM DIAGNOSTICS;

FAULT RECOVERY; SOFTWARE-ONLY FAULT TOLERANCE;

FAULT TOLERANCE;

EID: 34249775197     PISSN: 02721732     EISSN: None     Source Type: Journal    
DOI: 10.1109/MM.2007.4     Document Type: Article

References (11)

1. R.C. Baumann, "Soft Errors in Advanced Semiconductor Devices-Part I: The Three Radiation Sources," IEEE Trans. Device and Materials Reliability, vol. 1, no. 1, Mar. 2001, pp. 17-22.
2. T.J. O'Gorman et al., "Field Testing for Cosmic Ray Soft Errors in Semiconductor Memories," IBM J. Research and Development, Jan. 1996, pp. 41-49.
3. P. Shivakumar et al., "Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic," Proc. 2002 Int'l Conf. Dependable Systems and Networks, IEEE CS Press, 2002, pp. 389-399.
4. R.C. Baumann, "Soft Errors in Commercial Semiconductor Technology: Overview and Scaling Trends," IEEE 2002 Reliability Physics Tutorial Notes, Reliability Fundamentals, 2002, pp. 121_01.1-121_01.14.
5. S.E. Michalak et al., "Predicting the Number of Fatal Soft Errors in Los Alamos National Laboratory's ASC Q Computer," IEEE Trans. Device and Materials Reliability, vol. 5, no. 3, 2005, pp. 329-335.
6. S.S. Mukherjee et al., "A Systematic Methodology to Compute the Architectural Vulnerability Factors for a High-Performance Microprocessor," Proc. 36th Ann. IEEE/ACM Int'l Symp. Microarchitecture, IEEE CS Press, 2003, pp. 29-42.
7. G.A. Reis et al., "Swift: Software Implemented Fault Tolerance," Proc. 3rd Int'l Symp. Code Generation and Optimization, IEEE Press, 2005, pp. 242-254.
8. G.A. Reis et al., "Software-Controlled Fault Tolerance," ACM Trans. Architecture and Code Optimization (TACO), vol. 2. no. 4, Dec 2005, pp. 366-396.
9. W.W. Peterson and M.O. Rabin, "On Codes for Checking Logical Operations," IBM J. Research and Development vol. 3, no. 2, 1959, p. 163.
10. C. Lee, M. Potkonjak, and W. Mangione-Smith, "MediaBench: A Tool for Evaluating and Synthesizing Multimedia and Communications Systems," Proc. 30th Ann. Int'l Symp. Microarchitecture, IEEE CS Press, 1997, pp. 330-335.
11. N.J. Wang et al., "Characterizing the Effects of Transient Faults on a High-performance Processor Pipeline," Proc. 2004 Int'l Conf. Dependable Systems and Networks, IEEE CS Press, 2004, pp. 61-72.