skip to main content
article

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

Published:01 April 2006Publication History
Skip Abstract Section

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.Google ScholarGoogle Scholar
  2. Cellular disco: resource management using virtual clusters on shared-memory multiprocessors, Kingshuk Govil, Dan Teodosiu, Huang Yongqiang, and Mendel Rosenblum, 2000, ACM Transactions on Computer Systems, vol 18:3, 229--262. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Linux Devfs (Device File System FAQ), http://www.atnf.csiro.au/people/rgooch/linux/docs/devfs.html.Google ScholarGoogle Scholar
  4. Disco: Running Commodity Operating Systems on Scalable Multiprocessors, Edouard Bugnion, Scott Devine, Kinshuk Govil, and Mendel Rosenblum, 1997, ACM Transactions on Computer Systems, vol 15:4, 412--447. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Exokernel: An operating system architecture for application-level resource management, Dawson R. Engler, M. Frans Kaashoek, and James O Toole, Jr., 1995, Proceedings 15th Symposium on Operating Systems Principles, 251--267. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. High Performance Computing Challenge, http://icl.cs.utk.edu/hpcc/.Google ScholarGoogle Scholar
  7. IBM PowerPC Full System Simulator, IBM Alphaworks, http://www.alphaworks.ibm.com/tech/systemsim970Google ScholarGoogle Scholar
  8. Linux Kernel Development, Robert Love, 2003.Google ScholarGoogle Scholar
  9. Plan 9 Programmers Manual, Volume 1, AT & T Bell Laboratories, Murray Hill, NJ, 1995.Google ScholarGoogle Scholar
  10. AMD Virtualization Codenamed "Pacifica" Technology, Secure Virtual Machine Architecture Reference Manual, AMD, May 2005Google ScholarGoogle Scholar
  11. Linux Kernel Procfs Guide, http://www.kernelnewbies.org/documents/kdoc/procfsguide/lkprocfsguide.html.Google ScholarGoogle Scholar
  12. Partitioned Reliable Operating System Environment Home Page, http://www.research.ibm.com/proseGoogle ScholarGoogle Scholar
  13. IBM Research Hypervisor home page, http://www.research.ibm.com/hypervisorGoogle ScholarGoogle Scholar
  14. An Introduction To Virtualization, Amit Singh, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Server Consolidation Using POWER5 Virtualization White Paper, H. Tsao and B. Olszewski, 2004.Google ScholarGoogle Scholar
  16. Grave Robbers from Outer Space: Using 9P2000 under Linux, in the Proceedings of Freenix, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  18. Enhanced Virtualization on Intel Architecture-based Server, Intel Solutions White Paper, March 2005.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar

Index Terms

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

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGOPS Operating Systems Review
            ACM SIGOPS Operating Systems Review  Volume 40, Issue 2
            April 2006
            107 pages
            ISSN:0163-5980
            DOI:10.1145/1131322
            Issue’s Table of Contents

            Copyright © 2006 Author

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 April 2006

            Check for updates

            Qualifiers

            • article

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!