Efficient software-based fault isolation

SOSP 1993 - Proceedings of the 14th ACM Symposium on Operating Systems Principles

Volumn , Issue , 1993, Pages 203-216

  Wahbe, Robert ^a   Lucco, Steven ^a   Anderson, Thomas E ^a   Graham, Susan L ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS;

ADDRESS SPACE; CONTEXT SWITCH; DO-MAINS; FAULT DOMAINS; FAULT ISOLATION; LANGUAGE INDEPENDENTS; OBJECT CODE; SOFTWARE APPROACH; SOFTWARE MODULES; TIGHTLY-COUPLED;

APPLICATION PROGRAMS;

EID: 85105238769     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/168619.168635     Document Type: Conference Paper

References (41)

1. T.L. Adam, K.M. Chandy, and J.R. Dickson. A comparison of list schedules for parallel processing systems. Communications of the A CM, 17(12):685-690, December 1974.
2. Thomas Anderson, Henry Levy, Brian Bershad, and Edward Lazowska. " " "" of Architecture and Operating 1 he interaction System Design. In Proceedings of the ~th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 108-120, April 1991.
3. Administrator: National Computer Graphics Association. SPEC Newsletter, 3(4), December 1991.
4. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Unman. Compilers, Principles, Techniques, and Tools. Addison-Wesley Publishing Company, 1986.
5. Brian Bershad, Thomas Anderson, Edward Lazowska, and Henry Levy. Lightweight Remote Procedure Call. ACM Transactions on Computer Systems, 8(l), February 1990.
6. Brian Bershad, Thomas Anderson, Edward Lazowska, and Henry Levy. User-Level Interprocess Communication for Shared-Memory Multiprocessors. ACM Transactions on Computer Systems, 9(2), May 1991.
7. Brian Bershad, August 1993. Private Communication.
8. Thomas BaJl and James R. Larus. OptimaJly profiling and tracing. In Proceedings of the Conference on Principles of Programming Languages, pages 59-70, 1992.
9. David Black. Scheduling Support for Concurrency and Parallelism in the Mach Operating System. IEEE Computer, 23(5):35-43, May 1990.
10. Andrew Birrell and Bruce Nelson. Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, 2(1):39-59, February 1984.
11. J.D. Clark. Window Programmer? Guide To OLE/DDE. Prentice-Hall, 1992.
12. L. P. Deutsch and C. A. Grant. A flexible measurement tool for software systems. In IFIP Congress, 1971.
13. Digit al Equipment Corporation, Ultrix W/.2 Pixie Manual Page. Peter Dyson. Xtensions for Xpress: Modular Software for Custom Systems. Seybold Report on Desktop Publwhing, 6(10):1-21, June 1992.
14. Kevin FaJl and Joseph PasquaJe. Exploiting inkernel data paths to improve 1/0 throughput and CPU a vailabilit y. In Proceedings of the 1993 Winter USENIX Conference, pages 327-333, January 1993.
15. Keiran Harty and David Cheriton. Application-controlled physicaJ memory using external page-cache management. In Proceedings of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems, October 1992.
16. Graham Hamilton and Panes Kougiouris. The Spring nucleus: A microkernel for objects. In Proceedings of the Summer USENIX Conference, pages 147-159, June 1993.
17. J. Howard, M. Kazar, S. Menees, D. Nichols, M. Satyanarayanan, R. Sidebotham, and M. West. Scale and Performance in a Distributed
18. File System. ACM Transactions on Computer Sgstems, 6(1):51-82, February 1988.
19. Intel Corporation, Santa Clara, California. Intel 803?86 Programmer?s Reference Manual, 1986.
20. Michael B. Jones, Richard F. Rashid, and Mary R. Thompson. Matchmaker: An interface specification language for distributed processing. In Proceedings of the 12th ACM SIGA CT-SIGPLAN Symposium on Principles of Programming Languages, pages 225-235, January 1985.
21. Paul A. Karger. Using Registers to Optimize Cross-Domain CaJl Performance. In Proceedings of the %-d International Conference on Architectural Support for Programming Languages and Operating Systems, pages 194-204, April 3-61989.
22. Steven R. Kleiman. Vnodes: An Architecture for Multiple File System Types in SUN UNIX. In Proceedings of the 1986 Summer USENIX Conference, pages 238-247, 1986.
23. James R. Larus and Thomas Ball. Rewriting executable files to measure program behavior. Technical Report 1083, University of Wisconsin-Madison, March 1992.
24. Scott McFarling. Program optimization for instruction caches. In Proceedings of the International Conference on Archztecturai Support for Programming Languages and Operating Systems, pages 183-191, April 1989.
25. Steven McCanne and Van Jacobsen. The BSD Packet Filter: A New Architecture for User-Level Packet Capture. In Proceedings of the 1993 Wznter USENIX Conference, January 1993.
26. J. C. Mogul, R. F. Rashid, and M. J. Accetta. The packet filter: An efficient mechanism for user-level network code. In Proceedings of the Sgmposium on Operating System Principles, pages 39-51, November 1987.
27. Karl Pettis and Robert C. Hansen. Profile guided code positioning. In Proceedings of the Conference on Programming Language Design and Implementation, pages 16-27, White Plains, New York, June 1990. Appeared as SIGPLAN NOTICES 25(6j.
28. David D. RedelJ, Yogen K. DaJaJ, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C, Purcell. Pilot: An Operating Systemfora Personal Computer. Communications of the ACM, 23(2):81-92, February 1980.
29. A. Dain Samples. Code reorganization for instruction caches. TechnicaJ Report UCB/CSD 88/447, University of California, Berkeley, October 1988.
30. Michael Schroeder and Michael Burrows. Performance of Firefly RPC. ACM Tmnsckctions on Computer S~stems, 8(1):1-17, February 1990.
31. Richard L. Sites, Anton Chernoff, Matthew B. Kirk, Maurice P. Marks, and Scott G. Robinson. Binary translation. Cornmunzcat~ons of the ACM, 36(2):69-81, February 1993.
32. M. Stonebraker, J. Frew, K. Gardels, and J. Meridith. The Sequoia 2000 Benchmark. In Proceedings of the ACM SIGMOD International Conference on Management of Data, May 1993.
33. Michael Stonebraker. Extensibility in POSTGRES. IEEE Database Engineering, September 1987.
34. Michael Stonebraker. Inclusion of new types in relational data base systems. In Michael Stonebraker, editor, Readings in Database Systems, pages 480-487. Morgan Kaufmann Publishers, Inc., 1988.
35. J. P. Singh, W. Weber, and A. Gupta. Splash: Stanford parallel applications for shared-memory. Technical Report CSL-TR-91-469, Stanford, 1991.
36. Shin-Yuan Tzou and David P. Anderson. A Performance Evaluation of the DASH Message-Passing System. Technical Report UCB/CSD 88/452, Computer Science Division, University of California, Berkeley, October 1988.
37. Thinking Machines Corporation, CM-5 Network Interface Programmer?s Guide, 1992.
38. T. von Eicken, D. Culler, S. Goldstein, and K. Schauser. Active Messages: A Mechanism for Integrated Communication and Computation, In Proceedings of the 19th Annual Symposium on Computer-Architecture, 1992.
39. Robbert van Renesse, Hans van St averen, and Andrew S. Tanenbaum. Performance of the World?s Fastest Distributed Operating System. (@wzt;?zg systems Review, 22(4) ;25-34, October 1988.
40. Neil Webber. Operating System Support for Portable Filesystem Extensions. In Proceedings of the 1993 Winter USENIX Conference, January 1993.
41. Curtis Yarvin, Richard Bukowski, and Thomas Anderson. Anonymous RPC: Low Latency Protection in a 64-Bit Address Space. In Proceedings of the Summer USENIX Conference, June 1993.