LCS Publication Details
Publication Title: Enhancing Availability and Security Through Failure-Oblivious Computing
Publication Author: Rinard, Martin
Additional Authors: Cristian Cadar, Daniel Dumitran, Daniel M. Roy, William S. Beebee Jr.
LCS Document Number: MIT-LCS-TR-935
Publication Date: 2-6-2004
LCS Group: Computer Architecture
Additional URL:
Abstract:
We present a new technique, failure-oblivious computing, that enables programs to continue to execute through memory errors without memory corruption. Our safe compiler for C inserts checks that dynamically detect invalid memory accesses. Instead of terminating the execution or throwing an exception, the generated code simply discards invalid writes and manufactures values to return for invalid reads, enabling the program to continue its normal execution. We have applied failure-oblivious computing to a set of widely-used programs that are part of the Linux-based opensource interactive computing environment. Our results show that our techniques 1) make these programs invulnerable to known security attacks that exploit memory errors, and 2) enable the programs to continue to operate successfully to service legitimate requests and satisfy the needs of their users even after attacks trigger their memory errors.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.