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.
- 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 Scholar
- 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 Scholar
Digital Library
- Linux Devfs (Device File System FAQ), http://www.atnf.csiro.au/people/rgooch/linux/docs/devfs.html.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- High Performance Computing Challenge, http://icl.cs.utk.edu/hpcc/.Google Scholar
- IBM PowerPC Full System Simulator, IBM Alphaworks, http://www.alphaworks.ibm.com/tech/systemsim970Google Scholar
- Linux Kernel Development, Robert Love, 2003.Google Scholar
- Plan 9 Programmers Manual, Volume 1, AT & T Bell Laboratories, Murray Hill, NJ, 1995.Google Scholar
- AMD Virtualization Codenamed "Pacifica" Technology, Secure Virtual Machine Architecture Reference Manual, AMD, May 2005Google Scholar
- Linux Kernel Procfs Guide, http://www.kernelnewbies.org/documents/kdoc/procfsguide/lkprocfsguide.html.Google Scholar
- Partitioned Reliable Operating System Environment Home Page, http://www.research.ibm.com/proseGoogle Scholar
- IBM Research Hypervisor home page, http://www.research.ibm.com/hypervisorGoogle Scholar
- An Introduction To Virtualization, Amit Singh, 2004. Google Scholar
Digital Library
- Server Consolidation Using POWER5 Virtualization White Paper, H. Tsao and B. Olszewski, 2004.Google Scholar
- Grave Robbers from Outer Space: Using 9P2000 under Linux, in the Proceedings of Freenix, 2005. Google Scholar
Digital Library
- 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 Scholar
- Enhanced Virtualization on Intel Architecture-based Server, Intel Solutions White Paper, March 2005.Google Scholar
- 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 Scholar
Index Terms
P.R.O.S.E.: partitioned reliable operating system environment






Comments