Libra: a library operating system for a jvm in a virtualized execution environment

ABSTRACT

If the operating system could be specialized for every application, many applications would run faster. For example, Java virtual machines (JVMs) provide their own threading model and memory protection, so general-purpose operating system implementations of these abstractions are redundant. However, traditional means of transforming existing systems into specialized systems are difficult to adopt because they require replacing the entire operating system. This paper describes Libra, an execution environment specialized for IBM's J9 JVM. Libra does not replace the entire operating system. Instead, Libra and J9 form a single statically-linked image that runs in a hypervisor partition. Libra provides the services necessary to achieve good performance for the Java workloads of interest but relies on an instance of Linux in another hypervisor partition to provide a networking stack, a filesystem, and other services. The expense of remote calls is offset by the fact that Libra's services can be customized for a particular workload; for example, on the Nutch search engine, we show that two simple customizations improve application throughput by a factor of 2.7.

REFERENCES

• 1: G. Almási, R. Bellofatto, J. Brunheroto, C. Caşcaval, J. G. Castaños, L. Ceze, P. Crumley, C. C. Erway, J. Gagliano, D. Lieber, X. Martorell, J. Moreira, A. Sanomiya, and K. Strauss. An overview of the Blue Gene/L system software organization. In Proceedings of the Euro-Par Conference on Parallel and Distributed Computing, 2003.
• 2: W. J. Armstrong , R. L. Arndt , D. C. Boutcher , R. G. Kovacs , D. Larson , K. A. Lucke , N. Nayar , R. C. Swanberg, Advanced virtualization capabilities of POWER5 systems, IBM Journal of Research and Development, v.49 n.4/5, p.523-532, July 2005
• 3: David F. Bacon , Perry Cheng , V. T. Rajan, A real-time garbage collector with low overhead and consistent utilization, Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.285-298, January 15-17, 2003, New Orleans, Louisiana, USA
• 4: C. Bailey. Java technology, IBM style: Introduction to the IBM developer kit. http://www-128.ibm.com/developerworks/java/library/j-ibmjava1.html, May 2006.
• 5: Paul Barham , Boris Dragovic , Keir Fraser , Steven Hand , Tim Harris , Alex Ho , Rolf Neugebauer , Ian Pratt , Andrew Warfield, Xen and the art of virtualization, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
• 6: M. Baskey, M. Eder, D. Elko, B. Ratcliff, and D. Schmidt. zSeries features for optimized sockets-based messaging: Hipersockets and OSA-Express. IBM Journal of Research and Development, 46(4/5), April 2002.
• 7: B. N. Bershad , S. Savage , P. Pardyak , E. G. Sirer , M. E. Fiuczynski , D. Becker , C. Chambers , S. Eggers, Extensibility safety and performance in the SPIN operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.267-283, December 03-06, 1995, Copper Mountain, Colorado, United States
• 8: Mike Cafarella , Doug Cutting, Building Nutch: Open Source Search, Queue, v.2 n.2, April 2004 [doi>10.1145/988392.988408]
• 9: Michael J. Cafarella , Oren Etzioni, A search engine for natural language applications, Proceedings of the 14th international conference on World Wide Web, May 10-14, 2005, Chiba, Japan [doi>10.1145/1060745.1060811]
• 10: G. Clarke. BEA adopts virtual strategy with VMware. The Register, December 2006.
• 11: Cliff Click , Gil Tene , Michael Wolf, The pauseless GC algorithm, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, June 11-12, 2005, Chicago, IL, USA [doi>10.1145/1064979.1064988]
• 12: Simon Crosby , David Brown, The virtualization reality, Queue, v.4 n.10, December-January 2006-2007 [doi>10.1145/1189276.1189289]
• 13: D. Deese. Introduction to zSeries Application Assist Processor (zAAP). In Proceedings of the 32nd International Conference for the Resource Management and Performance Evaluation of Enterprise Computing Systems, pages Vol 2, 517--528. Computer Measurement Group, 2005.
• 14: Renato Figueiredo , Peter A. Dinda , Jose Fortes, Guest Editors' Introduction: Resource Virtualization Renaissance, Computer, v.38 n.5, p.28-31, May 2005 [doi>10.1109/MC.2005.159]
• 15: General parallel file system (GPFS). http://www.almaden.ibm.com/StorageSystems/File_Systems/GPFS/.
• 16: G. Guardiola, R. Cox, and E. V. Hensbergen. Persistent 9P sessions for Plan 9. In Proceedings of 1st International Workshop on Plan 9, December 2006.
• 17: Erik Hatcher , Otis Gospodnetic, Lucene in Action (In Action series), Manning Publications Co., Greenwich, CT, 2004
• 18: E. V. Hensbergen. The effect of virtualization on OS interference. In Proceedings of the 1st Annual Workshop on Operating System Interference in High Performance Applications, August 2005.
• 19: Eric Van Hensbergen, P.R.O.S.E.: partitioned reliable operating system environment, ACM SIGOPS Operating Systems Review, v.40 n.2, April 2006 [doi>10.1145/1131322.1131329]
• 20: E. V. Hensbergen and K. Goss. PROSE I/O. In Proceedings of 1st International Workshop on Plan 9, December 2006.
• 21: G. C. Hunt, J. R. Larus, M. Abadi, M. Aiken, P. Barham, M. Fähndrich, C. Hawblitzel, O. Hodson, S. Levi, N. Murphy, B. Steensgaard, D. Tarditi, T. Wobber, and B. Zill. An overview of the Singularity project. Technical Report MSR-TR-2005-135, Microsoft Research, 2005.
• 22: IBM Corporation. BladeCenter JS21. http://www-03.ibm.com/systems/bladecenter/js21/.
• 23: IBM Corporation. WebSphere Real-Time User's Guide, 2006.
• 24: Java Grande Forum. Java Grande Forum Benchmark Suite. http://www2.epcc.ed.ac.uk/javagrande/index_1.html.
• 25: M. Frans Kaashoek , Dawson R. Engler , Gregory R. Ganger , Hector M. Briceño , Russell Hunt , David Mazières , Thomas Pinckney , Robert Grimm , John Jannotti , Kenneth Mackenzie, Application performance and flexibility on exokernel systems, Proceedings of the sixteenth ACM symposium on Operating systems principles, p.52-65, October 05-08, 1997, Saint Malo, France
• 26: Orran Krieger , Marc Auslander , Bryan Rosenburg , Robert W. Wisniewski , Jimi Xenidis , Dilma Da Silva , Michal Ostrowski , Jonathan Appavoo , Maria Butrico , Mark Mergen , Amos Waterland , Volkmar Uhlig, K42: building a complete operating system, Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2006, April 18-21, 2006, Leuven, Belgium
• 27: Linux: KVM paravirtualization. http://kerneltrap.org/node/ 7545, January 2007.
• 28: David Mosberger , Larry L. Peterson, Making paths explicit in the Scout operating system, Proceedings of the second USENIX symposium on Operating systems design and implementation, p.153-167, October 29-November 01, 1996, Seattle, Washington, United States
• 29: The Open Group Base Specifications Issue 6, IEEE Std 1003.1. http://www.opengroup.org/onlinepubs/009695399/, 2004.
• 30: R. Pike, D. Presotto, S. Dorward, B. Flandrena, K. Thompson, H. Trickey, and P. Winterbottom. Plan 9 from Bell Labs. Computing Systems, 8(3):221--254, Summer 1995.
• 31: R. Pike, D. Presotto, S. Dorward, D. M. Ritchie, H. Trickey, and P. Winterbottom. The Inferno operating system. Bell Labs Technical Journal, 2(1), Winter 1997.
• 32: Rob Pike , Dave Presotto , Ken Thompson , Howard Trickey , Phil Winterbottom, The use of name spaces in plan 9, Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, September 21-23, 1992, Mont Saint-Michel, France [doi>10.1145/506378.506413]
• 33: C. Pu , T. Autrey , A. Black , C. Consel , C. Cowan , J. Inouye , L. Kethana , J. Walpole , K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.314-321, December 03-06, 1995, Copper Mountain, Colorado, United States
• 34: C. Pu, H. Massalin, and J. Ioannidis. The Synthesis kernel. Computing Systems, 1(1):11--32, Winter 1988.
• 35: M. Seltzer, Y. Endo, C. Small, and K. A. Smith. An introduction to the architecture of the VINO kernel. Technical report, Harvard University, 1994.
• 36: Daniel Spoonhower , Joshua Auerbach , David F. Bacon , Perry Cheng , David Grove, Eventrons: a safe programming construct for high-frequency hard real-time applications, Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, June 11-14, 2006, Ottawa, Ontario, Canada
• 37: R. M. Stallman, R. Pesch, and S. Shebs. Debugging with GDB: The GNU Source-Level Debugger. January 2002.
• 38: Standard Performance Evaluation Corporation. SPECjbb2000 Java Business Benchmark. http://www.spec.org/jbb2000.
• 39: Standard Performance Evaluation Corporation. SPECjvm98 Bench-marks. http://www.spec.org/jvm98.
• 40: Sun MicroSystems. Connection limited device configuration; JSR 30, JSR 139. http://java.sun.com/javame/reference/apis.jsp.
• 41: Richard Ta-Min , Lionel Litty , David Lie, Splitting interfaces: making trust between applications and operating systems configurable, Proceedings of the 7th conference on USENIX Symposium on Operating Systems Design and Implementation, p.20-20, November 06-08, 2006, Seattle, WA
• 42: Brian Walters, VMware Virtual Platform, Linux Journal, v.1999 n.63es, July 1999
• 43: XenSource. XenPPC. http://wiki.xensource.com/xenwiki/XenPPC.
• 44: System z9 integrated information processor (zIIP). http://www.ibm.com/systems/z/ziip, 2006.
• 45: Integrated facility for Linux. http://www.ibm.com/systems/z/os/linux/ifl.html, 2006.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Run-time environments

Additional Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.7 Organization and Design
      D.4.8 Performance

General Terms:
Design, Experimentation, Performance

Keywords:
JVM, exokernels, virtualization, xen