P.R.O.S.E.: partitioned reliable operating system environment

ABSTRACT

This document re-evaluates the software stack in the light of para-virtualization technology and hypervisor support within next generation processors and operating systems. We describe an infrastructure enabling the use of logical partitions (LPARs) for the execution of stand-alone applications along side traditional operating systems. The design goal is to provide an environment allowing normal users to execute, interact and manage these custom kernels in much the same way they would with typical applications. The development environment is a set of modular component libraries providing necessary system services, and a familiar debug environment provided by exposing partition memory and control interfaces to a "controller" partition. We describe the implementation of our prototype using the IBM research hypervisor along with the Linux kernel and explore potential applications that could benefit from this new environment.

REFERENCES

• 1: Xen 2002, Paul R. Barham, Boris Dragovic, Keir A. Fraser, and et al., ucam-cl-tr-553, January 2003, University of Cambridge, Computer Laboratory.
• 2: Kinshuk Govil , Dan Teodosiu , Yongqiang Huang , Mendel Rosenblum, Cellular disco: resource management using virtual clusters on shared-memory multiprocessors, ACM Transactions on Computer Systems (TOCS), v.18 n.3, p.229-262, Aug. 2000 [doi>10.1145/354871.354873]
• 3: Linux Devfs (Device File System FAQ), http://www.atnf.csiro.au/people/rgooch/linux/docs/devfs.html.
• 4: Edouard Bugnion , Scott Devine , Kinshuk Govil , Mendel Rosenblum, Disco: running commodity operating systems on scalable multiprocessors, ACM Transactions on Computer Systems (TOCS), v.15 n.4, p.412-447, Nov. 1997 [doi>10.1145/265924.265930]
• 5: D. R. Engler , M. F. Kaashoek , J. O'Toole, Jr., Exokernel: an operating system architecture for application-level resource management, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.251-266, December 03-06, 1995, Copper Mountain, Colorado, United States
• 6: High Performance Computing Challenge, http://icl.cs.utk.edu/hpcc/.
• 7: IBM PowerPC Full System Simulator, IBM Alphaworks, http://www.alphaworks.ibm.com/tech/systemsim970
• 8: Linux Kernel Development, Robert Love, 2003.
• 9: Plan 9 Programmers Manual, Volume 1, AT & T Bell Laboratories, Murray Hill, NJ, 1995.
• 10: AMD Virtualization Codenamed "Pacifica" Technology, Secure Virtual Machine Architecture Reference Manual, AMD, May 2005
• 11: Linux Kernel Procfs Guide, http://www.kernelnewbies.org/documents/kdoc/procfsguide/lkprocfsguide.html.
• 12: Partitioned Reliable Operating System Environment Home Page, http://www.research.ibm.com/prose
• 13: IBM Research Hypervisor home page, http://www.research.ibm.com/hypervisor
• 14: John Vince, Introduction to Virtual Reality, SpringerVerlag, 2004
• 15: Server Consolidation Using POWER5 Virtualization White Paper, H. Tsao and B. Olszewski, 2004.
• 16: Grave Robbers from Outer Space: Using 9P2000 under Linux, in the Proceedings of Freenix, 2005.
• 17: The Effect of Virtualization on OS Interference, Eric Van Hensbergen, in the Proceedings of the first Workshop on Operating System Interface in High Performance Applications, St. Louis, MO, 2005.
• 18: Enhanced Virtualization on Intel Architecture-based Server, Intel Solutions White Paper, March 2005.
• 19: Denali: Lightweight virtual machines for distributed and networked application, A. Whitaker, M. Shaw, and S. Gribble, 2002, Proceedings of the USENIX Annual Technical Conference.

INDEX TERMS

Primary Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.7 Organization and Design
          Subjects: Interactive systems

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.6 Programming Environments
  D.4 OPERATING SYSTEMS
      D.4.0 General

          Nouns: Linux

General Terms:
Design