Jump to content

Failure-oblivious computing

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Yakushima (talk | contribs) at 10:30, 9 February 2011 (authorlinks didn't exactly work out). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Failure-oblivious computing is a technique that enables computer programs to continue executing despite memory errors. The technique handles attempts to read invalid memory by returning a manufactured value to the program, and it ignores invalid writes. This is a great contrast to typical memory checkers, which inform the program of the error or abort the program. In failure-oblivious computing, no attempt is made to inform the program that an error occurred.[1]

The approach has performance costs: because the technique rewrites C code to insert dynamic checks for address validity, execution time will increase by 80% to 500%.[2]

Failure-oblivious computing was developed by Martin Rinard and other researchers at the MIT Computer Science and Artificial Intelligence Laboratory. They introduced the concept at the 6th Symposium on Operating Systems Design and Implementation in 2004.

References

  1. ^ Rinard, Martin; Cadar, Cristian; Dumitran, Daniel; Roy, Daniel M.; Leu, Tudor; Beebee, William S. (2004), "Enhancing server availability and security through failure-oblivious computing", Proceedings of the 6th conference on Symposium on Operating Systems Design & Implementation, vol. 6, Berkeley, CA: USENIX Association {{citation}}: Missing or empty |title= (help)
  2. ^ Keromytis, Angelos D. (2007), "Characterizing Software Self-Healing Systems", in Gorodetski, Vladimir I.; Kotenko, Igor; Skormin, Victor A. (eds.), Computer network security: Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, Springer, ISBN 3540739858 http://books.google.com/books?id=N2uIjckxHSoC&dq=failure-oblivious&source=gbs_navlinks_s {{citation}}: Missing or empty |title= (help)