ABSTRACT
With the increased use of "Virtual Machines" (VMs) as vehicles that isolate applications running on the same host, it is necessary to devise techniques that enable multiple VMs to share underlying resources both fairly and efficiently. To that end, one common approach is to deploy complex resource management techniques in the hosting infrastructure. Alternately, in this paper, we advocate the use of self-adaptation in the VMs themselves based on feedback about resource usage and availability. Consequently, we define "Friendly" VM (FVM) to be a virtual machine that adjusts its demand for system resources, so that they are both efficiently and fairly allocated to competing FVMs. Such properties are ensured using one of many provably convergent control rules, such as Additive-Increase/Multiplicative-Decrease (AIMD). By adopting this distributed application-based approach to resource management, it is not necessary to make assumptions about the underlying resources nor about the requirements of FVMs competing for these resources. To demonstrate the elegance and simplicity of our approach, we present a prototype implementation of our FVM framework in User-Mode Linux (UML)---an implementation that consists of less than 500 lines of code changes to UML. We present an analytic, control-theoretic model of FVM adaptation, which establishes convergence and fairness properties. These properties are also backed up with experimental results using our prototype FVM implementation.
- T. Abdelzaher and C. Lu. Modeling and performance control of internet servers. In Proceedings of the 39th IEEE Conference on Decision and Control (ICDC), Sydney, Australia, December 2000.Google Scholar
Cross Ref
- M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A new kernel foundation for UNIX development. In Summer USENIX Conference, Atlanta, GA, USA, July 1986.Google Scholar
- M. Andersson, M. Kihl, and A. Robertsson. Modelling and design of admission control mechanisms for web servers using non-linear control theory. In Proceedings of ITCom, 2003.Google Scholar
- D. Bansal and H. Balakrishnan. Binomial congestion control algorithms. In Proceedings of IEEE INFOCOM, 2001.Google Scholar
Cross Ref
- P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In Proceedings of SOSP, 2003. Google Scholar
Digital Library
- D. Bertsekas and R. Gallager. Data Networks.Prentice-Hall, 1987. Google Scholar
Digital Library
- D. Bovet, M. Cesati, and A. Oram. Understanding the Linux Kernel, 2nd Ed. O'Reilly & Associates, Inc., 2002. Google Scholar
Digital Library
- T. Bu and D. Towsley. Fixed point approximations for tcp behavior in an aqm network. In ACM SIGMETRICS, Boston, MA, June 2001. Google Scholar
Digital Library
- E. Bugnion, S. Devine, K. Govil, and M. Rosenblum. Disco: Running commodity operatingsystems on scalable multiprocessors. ACM Transactions on Computer Systems, volume 15(number 4):pp 412--447, 1997. Google Scholar
Digital Library
- J. Carlstrom and R. Rom. Application-aware admission control and scheduling in web servers. In Proceedings of IEEE INFOCOM, June 2002.Google Scholar
Cross Ref
- H. Chen and P. Mohapatra. Session-based overload control in qos-aware web servers. In Proceedings of IEEE INFOCOM, June 2002.Google Scholar
- D. D. Clark. The design philosophy of the DARPA internet protocols. In Proceedings of ACM SIGCOMM, 1988. Google Scholar
Digital Library
- A. Demers, S. Keshav, and S. Shenker. Analysis and simulation of a fair queueing algorithm. In Proceedings of the ACM SIGCOMM, Austin, TX, September 1989. Google Scholar
Digital Library
- D. Dhurjati, S. Kowshik, V. Adve, and C. Lattner. Memory safety without runtime checks or garbage collection. In Proc. Languages Compilers and Tools for Embedded Systems 2003, San Diego, CA, June 2003. Google Scholar
Digital Library
- Y. Diao, N. Gandhi, S. Parekh, J. Hellerstein, and D. Tilbury. Using mimo feedback control to enforce policies for interrelated metrics with application to the apache web server. In Proceedings of the Network Operations and Management Symposium 2002, Florence, Italy, April 2002.Google Scholar
- D. R. Engler, F. Kaashoek, and J. O'Toole. Exokernel: An operating system architecture for application-level resource management. In Proceedings of SOSP, pages 251--266, Copper Mountain Resort, Colorado, USA, December 1995. Google Scholar
Digital Library
- R. Gibbens and F. Kelly. Resource pricing and the evolution of congestion control. Automatica, 35:1969--1985, 1999. Google Scholar
Digital Library
- S. M. Hand. Self-paging in the nemesis operating system. In Proceedings of OSDI, pages 73--86. USENIX Association, 1999. Google Scholar
Digital Library
- C. Hollot, V. Misra, D. Towsley, and W. Gong. A control theoretic analysis of red. In Proceedings of IEEE INFOCOM, April 2001.Google Scholar
Cross Ref
- T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of c. In USENIX Annual Technical Conference, 2002. Google Scholar
Digital Library
- S. Jin, L. Guo, I. Matta, and A. Bestavros. A spectrum of tcp-friendly window-based congestion control algorithms. IEEE/ACM Transactions on Networking, 11(3), June 2003. Google Scholar
Digital Library
- F. Kelly, A. Maulloo, and D. Tan. Rate control for communication networks: Shadow prices, proporti onal fairness and stability. Journal of Operations Research Society, 1998.Google Scholar
- S. King, G. W. Dunlap, and P. M. Chen. Operating system support for virtual machines. In USENIX Annual Technical Conference, 2003. Google Scholar
Digital Library
- J. Liedtke. On μ-kernel construction. In Proceedings of SOSP, December 1995.Google Scholar
Digital Library
- S. Lim, C. Lee, C. Ahn, C. Lee, and K. Park. An adaptive admission control mechanism for a cluster-based web server system. In Proceedings of IPDPS'02, Fort Lauderdale, Florida, April 2002. Google Scholar
Digital Library
- S. Low and D. Lapsley. Optimization flow control, I:basic algorithm and convergence. IEEE/ACM Transactions on Networking, 1999. Google Scholar
Digital Library
- D. Mosberger and T. Jin. httperf- a tool for measuring web server performance. In Proceedings of the First workshop on Internet Server Performance, Madison, WI, June 1998.Google Scholar
Digital Library
- K. Ogata. Modern control engineering,. Prentice Hall, 2002. Google Scholar
Digital Library
- G. Popek and R. Goldberg. Formal requirements for virtualizable third generation architectures. Communications of the ACM, 17(7):pp 413--421, July 1974. Google Scholar
Digital Library
- A. Robertsson, B. Wittenmark, and M. Kihl. Analysis and design of admission control systems in web-server systems. In Proceedings of American Control Conference (ACC), June 2003.Google Scholar
Cross Ref
- J. S. Robin and C. Irvine K. Analysis of the intel pentium's ability to support a secure virtual machine monitor. In USENIX Security Symposium, 2000. Google Scholar
Digital Library
- J. Saltzer, D. Reed, and D. Clark. End-to-end arguments in system design. In ACM Transactions on Computer Systems (TOCS), pages Vol.2, No.4 195--206, 1984. Google Scholar
Digital Library
- P. J. Shenoy and H. Vin. Cello: A disk scheduling framework for next generation operating systems. In Proceedings of ACM SIGMETRICS, Madison, Wisconsin, June 1998. Google Scholar
Digital Library
- J. Sugerman, G. Venkitachalam, and B. H. Lim. Virtualizing i/o devices on vmware workstation's hosted virtual machine monitor. In USENIX Annual Technical Conference, pages 1--14, 2001. Google Scholar
Digital Library
- The user-mode linux kernel home page: http://user-mode-linux.sourceforge.net/.Google Scholar
- Vmware: http://www.vmware.com/.Google Scholar
- C. Waldspurger and W. Weihl. Stride scheduling: Deterministic proportional share resource management. In Technical Memorandum MIT/LCS/TM-528, June 1995. Google Scholar
Digital Library
- M. Welsh and D. Culler. Adaptive overload control for busy internet servers. In Proceedings of the 4th USENIX Conference on Internet Technologies and Systems, March 2003. Google Scholar
Digital Library
- A. Whitaker, M. Shaw, and S. D. Gribble. Scale and performance in the denali isolation kernel. In Proceedings of OSDI, Boston, MA, USA, December 2002. Google Scholar
Digital Library
Index Terms
Friendly virtual machines: leveraging a feedback-control model for application adaptation
Recommendations
Combining batch execution and leasing using virtual machines
HPDC '08: Proceedings of the 17th international symposium on High performance distributed computingAs cluster computers are used for a wider range of applications, we encounter the need to deliver resources at particular times, to meet particular deadlines, and/or at the same time as other resources are provided elsewhere. To address such ...
Multi-hypervisor virtual machines: enabling an ecosystem of hypervisor-level services
USENIX ATC '17: Proceedings of the 2017 USENIX Conference on Usenix Annual Technical ConferencePublic cloud software marketplaces already offer users a wealth of choice in operating systems, database management systems, financial software, and virtual networking, all deployable and configurable at the click of a button. Unfortunately, this level ...
Live gang migration of virtual machines
HPDC '11: Proceedings of the 20th international symposium on High performance distributed computingThis paper addresses the problem of simultaneously migrating a group of co-located and live virtual machines (VMs), i.e, VMs executing on the same physical machine. We refer to such a mass simultaneous migration of active VMs as "live gang migration". ...






Comments