Efficient Software-Based Fault Isolation

Paper(pdf): http://crypto.stanford.edu/cs155/papers/sfi.pdf

Discussion: http://papersincomputerscience.org/2009/12/19/efficient-software-based-fault-isolation/

Citation: Wahbe, R., Lucco, S., Anderson, T. E., and Graham, S. L. 1993. Efficient software-based fault isolation. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles (Asheville, North Carolina, United States, December 05 – 08, 1993). SOSP ‘93. ACM, New York, NY, 203-216. (PS) (PDF)

This paper is in December 1993; 16 years ago. This paper discusses how to isolate a system failure without using any special hardwares. For example, how to impound a bug within the process is important because nobody expects that a bug of a game which is working on a system causes the whole system to crash.

This paper explains the approach with the following subsections.

• Segment Matching
• Address Sandboxing
• Optimizations
• Process Resources
• Data Sharing
• Implementation and Verification