Denali: A scalable isolation kernel

Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, EW 10

Volumn , Issue , 2002, Pages 10-15

  Whitaker, Andrew ^a   Shaw, Marianne ^a   Gribble, Steven D ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AS CONTENT; COMMODITY HARDWARE; DESIGN PRINCIPLES; DYNAMIC CONTENT; HARDWARE ARCHITECTURE; HARDWARE INTERFACES; INTERNET SERVICES; KERNEL ARCHITECTURE; OPERATING SYSTEMS; PHYSICAL ARCHITECTURE; PROTECTION DOMAINS; SCALE-UP; SYSTEM SUPPORTS; THIRD PARTIES; VIRTUAL MACHINE MONITORS; VIRTUAL MACHINES;

COMPUTER SIMULATION; DISTRIBUTED PARAMETER NETWORKS; INTERNET;

COMPUTER OPERATING SYSTEMS;

EID: 77954494230     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1133373.1133375     Document Type: Conference Paper

References (18)

1. M. Accetta et al. Mach: A new kernel foundation for UNIX development. In Proceedings of the USENIX Summer Conference, 1986.
2. G. Banga, P. Druschel, and J. Mogul. Resource containers: a new facility for resource management in server systems. In Proceedings of the 3rd USENIX Symposium on Operating system design and implementation, Feb. 1999.
3. L. Breslau, P. Cao, L. Fan, G. Phillips, and S. Shenker. Web caching, and Zipf-like distributions: Evidence, and implications, Mar 1999.
4. T. C. Bressoud and F. B. Schneider. Hypervisor-based fault tolerance. ACM Transactions on Computer Systems, 14(1):80-107, 1996.
5. E. Bugnion, S. Devine, and M. Rosenblum. Disco: running commodity operating systems on scalable multiprocessors. In Proceedings of the Sixteenth ACM Symposium on Operating System Principles, Oct. 1997.
6. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An Empirical Study of Operating System Errors. In Proceedings of the 18th ACM Symposium on Operating System Principles (SOSP '01), Oct. 2001.
7. D. Ely, S. Savage, and D. Wetherall. Alpine: A user-level infrastructure for network protocol development. In Proceedings of the Third USENIX Symposium on Internet Technologies and Systems (USITS '01), March, 2001.
8. D. Engler, M. Kaashoek, and J. O. Jr. Exokernel: An operating system architecture for application-level resource management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, 1995.
9. B. Ford et al. The Flux OSKit: A substrate for kernel and language research. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, St.-Malo, France, October 1997.
10. I. Goldberg, D.Wagner, R. Thomas, and E. Brewer. A secure environment for untrusted helper applications. In Proceedings of the sixth USENIX Security Symposium, July 1996.
11. R. Goldberg. Architectural Principles for Virtual Computer Systems. PhD thesis, Harvard University, 1972.
12. R. Goldberg. A survey of virtual machine research. IEEE computer magazine, 7(6), June 1974.
13. D. Gollmann. Computer Security. JohnWiley and Son, Ltd., 1st edition, Feb. 1999.
14. K. Lawton. Running multiple operating systems concurrently on an IA32 PC using virtualization techniques. http://www.plex86.org/research/paper.txt.
15. V. Paxson, J. Mahdavi, A. Adams, and M. Mathis. An architecture for large-scale internet measurement. IEEE Communications Magazine, 36(8):48-54, August 1998.
16. J. Saltzer and M. Schroeder. The protection of information in computer systems. Proceedings of the IEEE, 63(9), 1975.
17. B. Schneier. Secrets and Lies: Digital Security in a Networked World. John Wiley and Sons, Aug. 2000.
18. J. Sugerman, G. Venkitachalam, and B. Lim. Virtualizing I/O devices on VMware workstation's hosted virtual machine monitor. In Proceedings of the 2001 Annual Usenix Technical Conference, Boston, MA, USA, June 2001.