Dealing with disaster: Surviving misbehaved kernel extensions

2nd USENIX Symposium on Operating Systems Design and Implementation, OSDI 1996

Volumn , Issue , 1996, Pages

  Seltzer, Margo I ^a   Endo, Yasuhiro ^a   Small, Christopher ^a   Smith, Keith A ^a  

^a HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE;

APPLICATION CODES; EXTENSION MECHANISMS; MALICIOUS CODES; PROTECTION MECHANISMS; SAFETY MECHANISMS; SOFTWARE FAULT ISOLATIONS; TRANSACTION SYSTEMS; VIRTUAL MEMORY;

SYSTEMS ANALYSIS;

EID: 85084100576     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Accetta, M., Baron, R., Bolosky, W., Golub, D., Rashid, R., Tevanian, A., and Young, M., “Mach: A New Kernel Foundation for UNIX Development,” Proc. Summer 1986 USENIX Conf., Atlanta, GA, July 1986, 93–112.
2. Appel, A., Li, K., “Virtual Memory Primitives for User Programs,” Proc. ASPLOS IV, Santa Clara, CA, April 1991, 96–107.
3. Baker, M., Hartman, J., Kupfer, M., Shirriff, K., Ousterhout, J., “Measurements of a Distributed File System,” Proc. 13th SOSP, Pacific Grove, CA, Oct. 1991, 198–212.
4. Bershad, B., Savage, S., Pardyak, P., Sirer, E. G., Fiuczynski, M., Becker, D., Eggers, S., Chambers, C., “Extensibility, Safety, and Performance in the SPIN Operating System,” Proc. 15th SOSP, Copper Mountain, CO, Dec. 1995, 267–284.
5. Cao, P., Felten, E., and Li, K., “Application-Controlled File Caching Policies”, Proc. 1994 Summer USENIX Conf., Boston, MA, June 1994, 171–182.
6. Engler, D., Kaashoek, F., and O’Toole, J., “Exokernel: An Operating System Architecture for Application-Level Resource Management,” Proc. 15th SOSP, Copper Mountain, CO, Dec. 1995, 251–266.
7. Haskin, R., Malachi, Y., Sawdon, W., and Chan, G., “Recovery Management in QuickSilver,” ACM TOCS 6, 1, Feb. 1988, 82–108.
8. Illustra Information Technologies, “Introduction to Illustra,” Part No. ILL0795-01Ill, Illustra Web DataBlade User’s Guide, Release 2.1 Beta. Sep. 1995. Part No. WEB-00-12-UG.
9. Montz, A., Mosberger, D., O'Malley, S., Peterson, L., Proebsting, T., Hartman, J., “Scout: A Communications-Oriented Operating System,” Department of Computer Science, University of Arizona, Technical Report 94-20, June 1994.
10. Microsoft Corp., “How Software Publishers Can Use Authenticode Technology,” http://www.microsoft.com/intdev/signcode.
11. Nelson, G., Systems Programming with Modula-3, Prentice Hall, Englewood Cliffs, NJ, 1991.
12. Patterson, R. H., Gibson, G. A., Ginting, E., Stodolsky, D., and Zelenka, J., “Informed Prefetching and Caching,” Proc. 15th SOSP, Copper Mountain, CO, Dec. 1995, 79–91.
13. Pu, C., Autrey. T., Black. A., Consel, C., Cowan, C., Inouye, J., Kethana, L., Walpole, J., and Zhang, K., “Optimistic Incremental Specialization: Streamlining a Commercial Operating System,” Proc. 15th SOSP, Copper Mountain, CO, Dec. 1995, 314–324.
14. Rashid, R., Tevanian, A., Young, M., Golub, D., Baron, R., Black, D., Bolosky, W., and Chew, J., “Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures,” Proc. ASPLOS II, Palo Alto CA, Oct. 1987, 31–39.
15. Seltzer, M., Endo, Y., Small, C., Smith, K., “An Introduction to the Architecture of the VINO Kernel,” Harvard University Computer Science Technical Report 34-94, 1994.
16. Small, C., Seltzer, M., “A Comparison of OS Extension Technologies,” Proc. 1996 USENIX Conf., San Diego, CA, Jan. 1996, 41–54.
17. Small, C., “MiSFIT: A Minimal i386 Software Fault Isolation Tool,”, Harvard University Computer Science Technical Report TR-07-96, 1996.
18. Stonebraker, M., “Operating Support for Database Management,” CACM 24, 7, July 1981, 412–418.
19. Volanschi, E., Muller, G., Consel, C., “Safe Operating System Specialization: the RPC Case Study”, Proc. 1st Workshop on Compiler Support for System Software, Tuscon, AZ, Feb. 1996.
20. Wahbe, R., Lucco, S., Anderson, T., Graham, S., “Efficient Software-Based Fault Isolation,” Proc. 14th SOSP, Asheville, NC, Dec. 1993, 175–188.
21. Waldspurger, C., Weihl, W., “Lottery Scheduling: Flexible Proportional-Share Resource Management,” Proc. 1st OSDI, Monterey, CA, Nov. 1994, 1–11.