Mondrian memory protection

Operating Systems Review (ACM)

Volumn 36, Issue 5, 2002, Pages 304-316

  Witchel, Emmett ^a   Cates, Josh ^a   Asanović, Krste ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA COPYING; PAGE BASED SYSTEMS; PROTECTION TABLES; SHARE MEMORY;

INTERFACES (COMPUTER); PACKET NETWORKS; PROGRAM TRANSLATORS; SECURITY OF DATA; VIRTUAL REALITY;

STORAGE ALLOCATION (COMPUTER);

EID: 33845457031     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/635508.605429     Document Type: Conference Paper

References (36)

1. Adobe Systems Incorporated. Adobe PDF Plugin, 2002. http://www.adobe.com/ .
2. Apache Software Foundation. mod_perl, 2002. http://perl.apache.org/.
3. A. W. Appel and K. Li. Virtual memory primitives for user programs. In Proceedings of ASPLOS-IV, April 1991.
4. ARM Ltd. ARM940T Technical Reference Manual (Rev 2), ARM DDI 0144B 2000.
5. Burroughs Corporation. The Descriptor - a Definition of the B5000 Information Processing System., 1961. http://www.cs.virginia.edu/brochure/ images/manuals/b5000/descrip/descrip.html.
6. M. Carlisle. Olden: Parallelizing Programs with Dynamic Data Structures on Distributed-Memory Machines. PhD thesis, Princeton University, 1996.
7. N. P. Carter, S. W. Keckler, and W. J. Dally. Hardware support for fast capability-based addressing. In Proceedings of ASPLOS-VI, pages 319-327, San Jose, California, 1994.
8. J. Chase. An Operating System Structure for Wide-Address Architectures. PhD thesis, University of Washington, 1995.
9. H. K. J. Chu. Zero-copy TCP in Solaris. In USENIX Annual Technical Conference, pages 253-264, 1996.
10. J. B. Dennis and E. C. V. Horn. Programming semantics for multiprogrammed computations. CACM, 9(3): 143-155, March 1966.
11. D. Grunwald and R. Neves. Whole-program optimization for time and space efficient threads. In Proceedings of ASPLOS-VII, Oct 1996.
12. G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, and J. Liedtke. The Mungi single-address-space operating system. Software-Practice and Experience, 28(9):901-928, 1998.
13. M. E. Houdek, F. G. Soltis, and R. L. Hoffman. IBM System/38 support for capability-based addressing. In ISCA, pages 341-348, 1981.
14. Intel Corporation. Volume 1: Basic architecture. Intel Architecture Software Developer's Manual, Volume 1: Basic Architecture, 1997.
15. G. Kane and J. Heinrich. MIPS RISC Architecture (R2000/R3000). Prentice Hall, 1992.
16. E. J. Koldinger, J. S. Chase, and S. J. Eggers. Architectural support for single address space operating systems. In ASPLOS-V, pages 175-186, 1992.
17. B. Lampson. Protection. In Proc. 5th Princeton Conf. on Information Sciences and Systems, 1971.
18. H. M. Levy. Capability-Based Computer Systems. Digital Press, Bedford, Massachusetts, 1984.
19. H. Lieberman and C. Hewitt. A real-time garbage collector based on the lifetimes of objects. In Communications of the ACM 23(6):419-429, 1983.
20. K. Mackenzie, J. Kubiatowicz, M. Frank, W. Lee, V. Lee, A. Agarwal, and M. F. Kaashoek. Exploiting two-case delivery for fast protected messaging. In HPCA, pages 231-242, 1998.
21. G. C. Necula. Proof-carrying code. In POPL '97, pages 106-119, Paris, Jan. 1997.
22. NS Notes and Documentation. http://www.isi.edu/vint/nsnam/, 2000.
23. V. S. Pai, P. Druschel, and W. Zwaenepoel. IO-Lite: a unified I/O buffering and caching system. ACM Transactions on Computer Systems, 18(1):37-66, 2000.
24. Rational Software Corporation. Purify, 2002. http://www.rational.com/ media/products/pqc/D610_PurifyPlus_unix.pdf.
25. M. Rinard and et al. The FLEX compiler infrastructure. 1999-2001. http://www.flex-compiler.lcs.mit.edu.
26. J. Saltzer. Protection and the control of information sharing in Multics. Comm. ACM 17, 7 (July 1974), 388-402, 1974.
27. D. Scales, K. Gharachorloo, and C. Thekkath. Shasta: A low overhead, software-only approach for supporting finegrain shared memory. In Proceedings of ASPLOS-VII, Oct 1996.
28. I. Schoinas, B. Falsafi, A. R. Lebeck, S. K. Reinhardt, J. R. Larus, and D. A. Wood. Fine-grain access control for distributed shared memory. In ASPLOS-VI, 1994.
29. J. S. Shapiro, J. M. Smith, and D. J. Farber. EROS: a fast capability system. In SOSP, pages 170-185, 1999.
30. T. von Eicken, A. Basu, V. Buch, and W. Vogels. U-net: A user-level network interface for parallel and distributed computing. In Symposium on Operating Systems Principles, pages 303-316, 1995.
31. T. von Eicken, C.-C. Chang, G. Czajkowski, C. Hawblitzel, D. Hu, and D. Spoonhower. J-kemel: A capability-based operating system for Java. In Secure Internet Programming, pages 369-393, 1999.
32. D. Wagner, J. S. Foster, E. A. Brewer, and A. Aiken. A first step towards automated detection of buffer overrun vulnerabilities. In Network and Distributed System Security Symposium, pages 3-17, San Diego, CA, February 2000.
33. R. Wahbe. Efficient data breakpoints. In Proceedings of ASPLOS-V, Oct 1992.
34. R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham. Efficient software-based fault isolation. ACM SIGOPS Operating Systems Review, 27(5):203-216, December 1993.
35. C. Yarvin, R. Bukowski, and T. Anderson. Anonymous RPC: Low-latency protection in a 64-bit address space. In USENIX Summer, pages 175-186, 1993.
36. C. B. Zilles. Benchmark health considered harmful. Computer Architecture News, 29(3), 2001.