The JX operating system

Proceedings of the 2002 USENIX Annual Technical Conference

Volumn , Issue , 2002, Pages

  Golm, Michael ^a   Felser, Meik ^a   Wawersich, Christian ^a   Kleinöder, Jürgen ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FILE ORGANIZATION; JAVA PROGRAMMING LANGUAGE; LINUX; OBJECT ORIENTED PROGRAMMING; PHYSICAL ADDRESSES;

ALTERNATIVE SYSTEMS; ARCHITECTURE AND PERFORMANCE; PERFORMANCE IMPACT; PROTECTION DOMAINS; SOFTWARE TECHNOLOGY; SYSTEM COMPONENTS; SYSTEM CONFIGURATIONS; TYPE-SAFE LANGUAGES;

BENCHMARKING;

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

References (48)

1. B. Alpern, A. Cocchi, S. J. Fink, D. P. Grove, and D. Lieber. Efficient Implementation of Java Interfaces: invokeinterface Considered Harmless. In OOPSLA01', Oct. 2001.
2. M. Alt. Ein Bytecode-Verifier zur Verifikation von Betriebssystemkomponenten. Diplomarbeit, available as DA-I4-2001-10, Univ. of. Erlangen, Dept. of Comp. Science, Lehrstuhl 4, July 2001.
3. T. Anderson, B. Bershad, E. Lazowska, and H. Levy. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. In ACM Trans. on Computer Systems, 10(1), pp. 53-79, Feb. 1992.
4. G. Back, W. C. Hsieh, and J. Lepreau. Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. In Proc. of 4th Symposium on Operating Systems Design & Implementation, Oct. 2000.
5. G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the Design of Java Operating Systems. In 2000 USENIX Annual Technical Conference, June 2000.
6. H. G. Baker. List processing in real time on a serial computer. In Communications of the ACM, 21(4), pp. 280-294, Apr. 1978.
7. B. N. Bershad, T. E. Anderson, E. D. Lazowska, and H. M. Levy. Lightweight remote procedure call. In Operating Systems Review, 23 (5), pp. 102-113, Dec. 1989.
8. B. Bershad, S. Savage, P. Pardyak, E. G. Sirer, D. Becker, M. Fiuczynski, C. Chambers, and S. Eggers. Extensibility, safety and performance in the SPIN operating system. In Proc. of the 15th Symposium on Operating System Principles, pp. 267-284, Dec. 1995.
9. B. N. Bershad, D. D. Redell, and J. R. Ellis. Fast Mutual Exclusion for Uniprocessors. In Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V), pp. 223-233, Sep. 1992.
10. R. Campbell, N. Islam, D. Raila, and P. Madany. Designing and Implementing Choices: An Object-Oriented System in C++. In Communications of the ACM, 36(9), pp.117-126, Sep. 1993.
11. J.S. Chase, H. M. Levy, M. J. Feeley, and E. D. Lazowska. Sharing and Protection in a Single Address Space Operating System. In ACM Trans. on Computer Systems,12(4), pp. 271-307, Nov. 1994.
12. T. M. Chilimbi. Cache-Conscious Data Structures - Design and Implementation. Ph.D. thesis, University of Wisconsin-Madison, 1999.
13. A. Chou, J.-F. Yang, B. Chelf, S. Hallem, and D. Engler. An Empirical Study of Operating System Errors. In Symposium on Operating System Principles 01', 2001.
14. R. P. Colwell, E. F. Gehringer, and E. D. Jensen. Performance effects of architectural complexity in the intel 432. In ACM Trans. on Computer Systems, 6(3), pp.296-339, Aug.1988.
15. M. Condict, D. Bolinger, E. McManus, D. Mitchell, and S. Lewontin. Microkernel modularity with integrated kernel performance. Technical Report, OSF Research Institute, Cambridge, MA, Apr. 1994.
16. G. Czajkowski and L. Daynes. Multitasking without Compromise: A Virtual Machine Evolution. In Proc. of the OOPSLA, pp. 125-138, Oct. 2001.
17. P. Dasgupta, R.J. Le Blanc, M. Ahamad, and U. Ramachandran. The Clouds distributed operating system. In IEEEComputer,24(11),pp.34-44,Nov.1991.
18. J. B. Dennis and E. C. Van Horn. Programming Semantics for Multi programmed Computations. In Communications of the ACM, 9(3), pp. 143-155, Mar. 1966.
19. Department of Defense. Trusted computer system evaluation criteria (Orange Book). DOD 5200.28-STD, Dec. 1985.
20. R. Dixon, T. McKee, P. Schweizer, and M. Vaughan. A Fast Method Dispatcher for Compiled Languages with Multiple Inheritance. In Proc. of the Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 211-214, 1989.
21. R. Draves and S. Cutshall. Unifying the User and Kernel Environments. Technical Report MSR-TR-97-10, Microsoft Research, Mar. 1997.
22. P. Druschel, L. L. Peterson, and N. C. Hutchinson. Beyond micro-kernel design: Decoupling modularity and protection in Lipto. In Proc. of Twelfth International Conference on Distributed Computing Systems, pp. 512-520, 1992.
23. P. Druschel and L. Peterson. Fbufs: A high bandwidth cross-domain transfer facility. In 14th ACM Symp. on Operating System Principles, pp.189-202,1993.
24. D. Engler, F. Kaashoek, and J. OToole.Exokernel:AnOperatingSystemArchitectureforApplication-LevelResourceManagement.In'Proc. of the 15th Symposium on Operating System Principles, pp. 251-266, Dec. 1995.
25. E. Gabber, C. Small, J. Bruno, J. Brustoloni, and A. Silberschatz. The Pebble Component-Based Operating System. In USENIX 1999 Annual Technical Conference, pp. 267-282, June 1999.
26. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Aug. 1996.
27. G. Hamilton and P. Kougioris. The Spring Nucleus: a Micro-kernel for objects. In Proc. of Usenix Summer Conference, pp. 147-159, June 1994.
28. C. Hawblitzel, C.-C. Chang, G. Czajkowski, D. Hu, and T. v. Eicken. Implementing Multiple Protection Domains in Java. In Proc. of the USENIX Annual Technical Conference, pp. 259-270, June 1998.
29. G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, and J. Liedtke. The Mungi single-address-space operating system. In Software: Practice and Experience, 28(9), pp. 901-928, Aug. 1998.
30. R. K. Johnsson and J. D. Wick. An overview of the Mesa processor architecture. In ACM Sigplan Notices, 7(4), pp. 20-29, Apr. 1982.
31. S. R. Kleiman. Vnodes: An Architecture for Multiple File System Types in Sun Unix. In USENIX Association: Summer Conference Proceedings, 1986.
32. L4Ka Hazelnut evaluation, http://l4ka.org/projects/hazelnut/eval.asp.
33. J. Liedtke. Towards Real u-Kernels. In CACM, 39(9),1996.
34. M. K. McKusick, K. Bostic, and M. J. Karels. The Design and Implementation of the 4.4BSD Operating System. Addison-Wesley, May 1996.
35. M. Michael and M. Scott. Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors. In Journal of Parallel and Distributed Computing, 54(2), pp. 162-182,1998.
36. D. Mosberger, P. Druschel, and L.L. Peterson. Implementing Atomic Sequences on Uniprocessors Using Rollforward. In Software---Practice and Experience, 26(1), pp. 1-23, Jan. 1996.
37. E. I. Organick. A Programmers View of the Intel 432 System'. McGraw-Hill, 1983.
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. In Communications of the ACM, 23(2), pp. 81-92, ACM Press, New York, NY, USA, Feb.1980.
39. T. Saulpaugh and C. Mirho. Inside the JavaOS Operating System . Addison Wesley Longman, 1999.
40. M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In 2nd Symposium on Operating Systems Design and Implementation, 1996.
41. O. Shivers, James W. Clark, and Roland McGrath. Atomic heap transactions and fine-grain interrupts. In ACM Sigplan International Conference on Functional Programming (ICFP99)', Sep. 1999.
42. Status page of the Fiasco project at the Technical University of Dresden, http://os.inf.tu-dresden.de/fiasco/status.html.
43. Sun Microsystems. Java Remote Method Invocation Specification. 1997.
44. Webpage of the IOZone filesystem benchmark, http://www.iozone.org/.
45. A. Weissel. Ein offenes Dateisystem mit Festplattensteuerung fuer metaXaOS. Studienarbeit, available as SA-I4-2000-02, Univ. of. Erlangen, Dept. of Comp. Science, Lehrstuhl 4, Feb. 2000.
46. P. R. Wilson, M. S. Johnstone, M. Neely, and D. Boles. Dynamic storage allocation: A survey and critical review. In. In Proc. of International Workshop on Memory Management, Sep. 1995.
47. N. Wirth and J. Gutknecht. Project Oberon: Th eDesign of an Operating System and Compiler. Addison-Wesley, 1992.
48. F. Yellin. Low level security in Java. In Proc. of the 4th World Wide Web Conference, pp. 369-379, OReilly,1995.'