Techniques for the design of Java operating systems

2000 USENIX Annual Technical Conference

Volumn , Issue , 2000, Pages

  Back, Godmar ^a   Tullmann, Patrick ^a   Stoller, Leigh ^a   Hsieh, Wilson C ^a   Lepreau, Jay ^a  

^a UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

VIRTUAL ADDRESSES;

ADDRESS SPACE; COMPUTATIONAL RESOURCES; CONTROL AND MANAGEMENT; EXTENSIBLE SYSTEMS; JAVA VIRTUAL MACHINES; PROCESS MODELING; RESOURCE CONTROL; SYSTEMS SUPPORT;

JAVA PROGRAMMING LANGUAGE;

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

References (51)

1. M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A new kernel foundation for UNIX development. In Proc. of the Summer 1986 USENIX Conf., pages 93–112, June 1986.
2. A.-R. Adl-Tabatabai, G. Langdale, S. Lucco, and R. Wahbe. Efficient and language-independent mobile programs. In Proc. ACM SIGPLAN’96 Conf. on Programming Language Design and Implementation (PLDI), pages 127–136, May 1996.
3. G. T. Almes, A. P. Black, E. D. Lazowska, and J. D. Noe. The Eden system: A technical review. IEEE Transactions on Software Engineering, SE-11(1):43–59, Jan. 1985.
4. The Java Apache project. http://java.apache.org, Apr. 2000.
5. G. V. Back and W. C. Hsieh. Drawing the red line in Java. In Proc. of the Seventh Workshop on Hot Topics in Operating Systems, pages 116–121, Rio Rico, AZ, Mar. 1999. IEEE Computer Society.
6. D. Balfanz and L. Gong. Experience with secure multiprocessing in Java. In Proc. of the Eighteenth International Conf. on Distributed Computing Systems, May 1998.
7. P. Bernadat, L. Feeney, D. Lambright, and F. Travostino. Java sandboxes meet service guarantees: Secure partitioning of CPU and memory. Technical Report TOGRITR9805, The Open Group Research Institute, June 1998.
8. B. N. Bershad, T. E. Anderson, E. D. Lazowska, and H. M. Levy. Lightweight remote procedure call. ACM Transactions on Computer Systems, 8(1):37–55, Feb. 1990.
9. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proc. of the 15th ACM Symposium on Operating Systems Principles, pages 267–284, Copper Mountain, CO, Dec. 1995.
10. A. D. Birrell and B. J. Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2(1), Feb. 1984.
11. A. P. Black, N. Huchinson, E. Jul, H. Levy, and L. Carter. Distribution and abstract types in Emerald. IEEE Trans. on Software Engineering, SE-13(1):65–76, 1987.
12. J. Chase, F. Amador, E. Lazowska, H. Levy, and R. Littlefield. The Amber system: Parallel programming on a network of multiprocessors. In Proceedings of the 12th Symposium on Operating Systems Principles, pages 147–158, December 1989.
13. J. S. Chase, H. M. Levy, M. J. Feeley, and E. D. Lazowska. Sharing and protection in a single-address-space operating system. ACM Transactions on Computer Systems, 12(4):271–307, 1994.
14. G. Clements and G. Morrison. Kore — an implementation of the Java(tm) core class libraries. ftp://sensei.co.uk/misc/kore.tar.gz OR http://www.cs.utah.edu/projects/flux/java/kore/.
15. G. Czajkowski, C.-C. Chang, C. Hawblitzel, D. Hu, and T. von Eicken. Resource management for extensible internet servers. In Proceedings of the 8th ACM SIGOPS European Workshop, Sintra, Portugal, Sept. 1998.
16. P. Dasgupta et al. The design and implementation of the Clouds distributed operating system. Computing Systems, 3(1), Winter 1990.
17. Digitivity Corp. Digitivity CAGE, 1997. http://www.digitivity.com/overview.html.
18. D. Dillenberger, R. Bordawekar, C. W. Clark, D. Durand, D. Emmes, O. Gohda, S. Howard, M. F. Oliver, F. Samuel, and R. W. St. John. Building a Java virtual machine for server applications: The JVM on OS/390. IBM Systems Journal, 39(1):194–210, 2000. Reprint Order No. G321–5723.
19. S. Dorward, R. Pike, D. L. Presotto, D. Ritchie, H. Trickey, and P. Winterbottom. Inferno. In Proceedings of the 42nd IEEE Computer Society International Conference, San Jose, CA, February 1997.
20. P. Druschel and G. Banga. Lazy receiver processing (LRP): A network subsystem architecture for server systems. In Proc. of the Second Symposium on Operating Systems Design and Implementation, pages 261–275, Seattle, WA, Oct. 1996.
21. B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers. The Flux OSKit: A substrate for OS and language research. In Proc. of the 16th ACM Symposium on Operating Systems Principles, pages 38–51, St. Malo, France, Oct. 1997.
22. B. Ford, M. Hibler, J. Lepreau, P. Tullmann, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. In Proc. of the Second Symposium on Operating Systems Design and Implementation, pages 137–151. USENIX Association, Oct. 1996.
23. B. Ford and S. Susarla. CPU inheritance scheduling. In Proc. of the Second Symposium on Operating Systems Design and Implementation, pages 91–105, Seattle, WA, Oct. 1996. USENIX Association.
24. M. Franz. Beyond Java: An infrastructure for high-performance mobile code on the World Wide Web. In S. Lobodzinski and I. Tomek, editors, Proceedings of WebNet’97, pages 33–38, October 1997.
25. L. Gong, M. Mueller, H. Prafullchandra, and R. Schemers. Going beyond the sandbox: An overview of the new security architecture in the Java development kit 1.2. In Proc. of USENIX Symposium on Internet Technologies and Systems, pages 103–112, Monterey, CA, Dec. 1997. USENIX.
26. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. The Java Series. Addison-Wesley, 1996.
27. J. H. Hartman et al. Joust: A platform for communication-oriented liquid software. Technical Report 97–16, Univ. of Arizona, CS Dept., Dec. 1997.
28. C. Hawblitzel, C.-C. Chang, G. Czajkowski, D. Hu, and T. von Eicken. Implementing multiple protection domains in Java. In Proc. of the USENIX 1998 Annual Technical Conf., pages 259–270, New Orleans, LA, June 1998.
29. C. Hawblitzel and T. von Eicken. Tasks and revocation for Java (or, hey! you got your operating system in my language!). Describes Luna, Nov. 1999.
30. J. Kiniry and D. Zimmerman. Special feature: A hands-on look at Java mobile agents. IEEE Internet Computing, 1(4), July/August 1997.
31. S. Liang and G. Bracha. Dynamic class loading in the Java virtual machine. In Proc. of OOPSLA’98, Vancouver, BC, Oct. 1998. To appear.
32. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Jan. 1997.
33. B. Liskov. Distributed programming in Argus. Communications of the ACM, 31(3):300–312, March 1988.
34. D. Malkhi, M. K. Reiter, and A. D. Rubin. Secure execution of Java applets using a remote playground. In Proc. of the 1998 IEEE Symposium on Security and Privacy, pages 40–51, Oakland, CA, May 1998.
35. D. Mosberger and L. L. Peterson. Making paths explicit in the Scout operating system. In Proc. of the Second Symposium on Operating Systems Design and Implementation, pages 153–167, Seattle, WA, Oct. 1996. USENIX Association.
36. K. Nilsen. Java for real-time. Real-Time Systems Journal, 11(2), 1996.
37. D. Plainfossé and M. Shapiro. A survey of distributed garbage collection techniques. In Proceedings of the 1995 International Workshop on Memory Management, Kinross, Scotland, Sept. 1995.
38. D. D. Redell, Y. K. Dalal, T. R. Horsley, H. C. Lauer, W. C. Lynch, P. R. McJones, H. G. Murray, and S. C. Purcell. Pilot: An operating system for a personal computer. Communications of the ACM, 23(2):81–92, 1980.
39. M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Léonard, and W. Neuhauser. The Chorus distributed operating system. Computing Systems, 1(4):287–338, Dec. 1989.
40. M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proc. of the Second Symposium on Operating Systems Design and Implementation, pages 213–227, Seattle, WA, Oct. 1996. USENIX Association.
41. E. Sirer, R. Grimm, A. Gregory, and B. Bershad. Design and implementation of a distributed virtual machine for networked computers. In Proceedings of the 17th Symposium on Operating Systems Principles, pages 202–216, Kiawah Island Resort, SC, Dec. 1999.
42. Sun Microsystems, Inc. JavaOS: A standalone Java environment, Feb. 1997. http://www.javasoft.com/products/javaos/javaos.white.html.
43. D. C. Swinehart, P. T. Zellweger, R. J. Beach, and R. B. Hagmann. A structural view of the Cedar programming environment. ACM Transactions on Programming Languages and Systems, 8(4):419–490, Oct. 1986.
44. P. Tullmann and J. Lepreau. Nested Java processes: OS structure for mobile code. In Proc. of the Eighth ACM SIGOPS European Workshop, pages 111–117, Sintra, Portugal, Sept. 1998.
45. T. von Eicken, C.-C. Chang, G. Czajkowski, C. Hawblitzel, and D. Hu. J-Kernel. Source code available at http://www.cs.cornell.edu/slk/jk-0.91/doc/Default.html.
46. C. A. Waldspurger, T. Hogg, B. A. Huberman, J. O. Kephart, and S. Stornetta. Spawn: A distributed computatational economy. IEEE Transactions on Software Engineering, 18(2):103–117, Feb. 1992.
47. D. S. Wallach, D. Balfanz, D. Dean, and E. W. Felten. Extensible security architectures for Java. In Proc. of the 16th ACM Symposium on Operating Systems Principles, pages 116–128, Oct. 1997.
48. D. J. Wetherall, J. Guttag, and D. L. Tennenhouse. ANTS: A toolkit for building and dynamically deploying network protocols. In Proceedings of IEEE OPENARCH’98, San Francisco, CA, April 1998.
49. T. Wilkinson. Kaffe—a virtual machine to compile and interpret Java bytecodes. http://www.transvirtual.com/kaffe.html.
50. P. R. Wilson. Uniprocessor garbage collection techniques. In Proceedings of the 1992 International Workshop on Memory Management, St. Malo, France, Sept. 1992.
51. N. Wirth and J. Gutknecht. Project Oberon. ACM Press, New York, NY, 1992.