Efficient software-based fault isolation

作者: Robert Wahbe , Steven Lucco , Thomas E. Anderson , Susan L. Graham

DOI: 10.1145/168619.168635

关键词: Operating systemComputer scienceFault detection and isolationSoftwareEmbedded systemFault modelAddress spaceFault (power engineering)Software fault toleranceObject codeOverhead (engineering)

摘要: One way to provide fault isolation among cooperating software modules is place each in its own address space. However, for tightly-coupled modules, this solution incurs prohibitive context switch overhead. In paper, we present a approach implementing within single space.Our has two parts. First, load the code and data distrusted module into do main, logically separate portion of application's Second, modify object prevent it from writing or jumping an outside domain. Both these operations are portable programming language independent.Our poses tradeoff relative hardware isolation: substantially faster communication between domains, at cost slightly increased execution time modules. We demonstrate that frequently communicating rather than can improve end-to-end application performance.

参考文章(35)
Steve R. Kleiman, Vnodes: An Architecture for Multiple File System Types in Sun UNIX. USENIX Summer. pp. 238- 247 ,(1986)
Thomas Anderson, Curtis Yarvin, Richard Bukowski, Anonymous RPC: low-latency protection in a 64-bit address space usenix summer technical conference. pp. 13- ,(1993)
James R. Larus, Thomas Ball, Optimally Profiling and Tracing ,(1994)
Kenn Gardels, Michael Stonebraker, Jeff Meredith, James Frew, The Sequoia 2000 Benchmark. international conference on management of data. pp. 2- 11 ,(1993)
Neil Webber, Operating System Support for Portable Filesystem Extensions. USENIX Winter. pp. 219- 228 ,(1993)
Jeffrey D. Clark, Windows Programmer's Guide to OLE\DDE with Disk Macmillan Publishing Co., Inc.. ,(1992)
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
Peter Deutsch, Charles A. Grant, A Flexible Measurement Tool for Software Systems. ifip congress. pp. 320- 326 ,(1971)
Graham Hamilton, Panos Kougiouris, The Spring Nucleus: A Microkernel for Objects usenix summer technical conference. pp. 11- ,(1993)
Shin-Yuan Tzou, David P. Anderson, A Performance Evaluation of the Dash Message-Passing System Defense Technical Information Center. ,(1988) , 10.21236/ADA619795