A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions

Authors:
Sri Hari Narayanan;Mahmut Kandemir
Affiliations:
Computer Science and Engineering Department, The Pennsylvania State University, University Park, USA PA 16802;Computer Science and Engineering Department, The Pennsylvania State University, University Park, USA PA 16802
Venue:
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Year:
2008

Citing 12
Cited 0

Code generation for multiple mappings

Code generation for multiple mappings
Fault-tolerant computer system design

Fault-tolerant computer system design
Data-centric multi-level blocking

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Transient fault detection via simultaneous multithreading

Proceedings of the 27th annual international symposium on Computer architecture
Software fault tolerance techniques and implementation

Software fault tolerance techniques and implementation
Optimizing Supercompilers for Supercomputers

Optimizing Supercompilers for Supercomputers
High Performance Compilers for Parallel Computing

High Performance Compilers for Parallel Computing
A program structure for error detection and recovery

Operating Systems, Proceedings of an International Symposium
The Effect of Threshold Voltages on the Soft Error Rate

ISQED '04 Proceedings of the 5th International Symposium on Quality Electronic Design
Characterizing the Effects of Transient Faults on a High-Performance Processor Pipeline

DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Characterization of Soft Errors Caused by Single Event Upsets in CMOS Processes

IEEE Transactions on Dependable and Secure Computing
Data space-oriented tiling for enhancing locality

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Classic methods to overcome software faults include design diversity that involves creating multiple versions of an application. However, design diverse techniques typically require a staggering investment of time and manpower. There is also no guarantee that the multiple versions are correct or equivalent. This paper presents a novel approach that addresses the above problems, by automatically producing multiple, semantically equivalent copies for a given array/loop-based application. The copies, when used within the framework of common design diverse techniques, provide a high degree of software fault tolerance at practically no additional cost. In this paper, we also apply our automated version generation approach to detect the occurrence of soft errors during the execution of an application.