skip to main content
10.1145/1064979.1064983acmconferencesArticle/Chapter ViewAbstractPublication PagesveeConference Proceedingsconference-collections
Article

Friendly virtual machines: leveraging a feedback-control model for application adaptation

Published: 11 June 2005 Publication History

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.

References

[1]
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.
[2]
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.
[3]
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.
[4]
D. Bansal and H. Balakrishnan. Binomial congestion control algorithms. In Proceedings of IEEE INFOCOM, 2001.
[5]
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.
[6]
D. Bertsekas and R. Gallager. Data Networks.Prentice-Hall, 1987.
[7]
D. Bovet, M. Cesati, and A. Oram. Understanding the Linux Kernel, 2nd Ed. O'Reilly & Associates, Inc., 2002.
[8]
T. Bu and D. Towsley. Fixed point approximations for tcp behavior in an aqm network. In ACM SIGMETRICS, Boston, MA, June 2001.
[9]
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.
[10]
J. Carlstrom and R. Rom. Application-aware admission control and scheduling in web servers. In Proceedings of IEEE INFOCOM, June 2002.
[11]
H. Chen and P. Mohapatra. Session-based overload control in qos-aware web servers. In Proceedings of IEEE INFOCOM, June 2002.
[12]
D. D. Clark. The design philosophy of the DARPA internet protocols. In Proceedings of ACM SIGCOMM, 1988.
[13]
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.
[14]
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.
[15]
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.
[16]
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.
[17]
R. Gibbens and F. Kelly. Resource pricing and the evolution of congestion control. Automatica, 35:1969--1985, 1999.
[18]
S. M. Hand. Self-paging in the nemesis operating system. In Proceedings of OSDI, pages 73--86. USENIX Association, 1999.
[19]
C. Hollot, V. Misra, D. Towsley, and W. Gong. A control theoretic analysis of red. In Proceedings of IEEE INFOCOM, April 2001.
[20]
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.
[21]
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.
[22]
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.
[23]
S. King, G. W. Dunlap, and P. M. Chen. Operating system support for virtual machines. In USENIX Annual Technical Conference, 2003.
[24]
J. Liedtke. On μ-kernel construction. In Proceedings of SOSP, December 1995.
[25]
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.
[26]
S. Low and D. Lapsley. Optimization flow control, I:basic algorithm and convergence. IEEE/ACM Transactions on Networking, 1999.
[27]
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.
[28]
K. Ogata. Modern control engineering,. Prentice Hall, 2002.
[29]
G. Popek and R. Goldberg. Formal requirements for virtualizable third generation architectures. Communications of the ACM, 17(7):pp 413--421, July 1974.
[30]
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.
[31]
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.
[32]
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.
[33]
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.
[34]
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.
[35]
The user-mode linux kernel home page: http://user-mode-linux.sourceforge.net/.
[36]
Vmware: http://www.vmware.com/.
[37]
C. Waldspurger and W. Weihl. Stride scheduling: Deterministic proportional share resource management. In Technical Memorandum MIT/LCS/TM-528, June 1995.
[38]
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.
[39]
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.

Cited By

View all
  • (2021)An reinforcement learning approach for allocating software resourcesConcurrency and Computation: Practice and Experience10.1002/cpe.634935:14Online publication date: 10-May-2021
  • (2020)An Iterative Feedback Mechanism for Auto-Optimizing Software Resource Allocation in Multi-Tier Web Systems2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID)10.1109/CCGrid49817.2020.000-6(802-809)Online publication date: May-2020
  • (2017)A Taxonomy of Adaptive Resource Management Mechanisms in Virtual Machines: Recent Progress and ChallengesCloud Computing10.1007/978-3-319-54645-2_3(59-98)Online publication date: 3-Jun-2017
  • Show More Cited By

Index Terms

  1. Friendly virtual machines: leveraging a feedback-control model for application adaptation

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    VEE '05: Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
    June 2005
    216 pages
    ISBN:1595930477
    DOI:10.1145/1064979
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 11 June 2005

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. feedback Control
    2. friendy virtual machines
    3. resource management

    Qualifiers

    • Article

    Conference

    VEE05

    Acceptance Rates

    Overall Acceptance Rate 80 of 235 submissions, 34%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)7
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 17 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2021)An reinforcement learning approach for allocating software resourcesConcurrency and Computation: Practice and Experience10.1002/cpe.634935:14Online publication date: 10-May-2021
    • (2020)An Iterative Feedback Mechanism for Auto-Optimizing Software Resource Allocation in Multi-Tier Web Systems2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID)10.1109/CCGrid49817.2020.000-6(802-809)Online publication date: May-2020
    • (2017)A Taxonomy of Adaptive Resource Management Mechanisms in Virtual Machines: Recent Progress and ChallengesCloud Computing10.1007/978-3-319-54645-2_3(59-98)Online publication date: 3-Jun-2017
    • (2017)A statistical approach to virtual server resource managementConcurrency and Computation: Practice and Experience10.1002/cpe.433530:4Online publication date: 29-Sep-2017
    • (2016)A decentralized adaptive algorithm for fair allocation of a shared resourceInternational Journal of Adaptive Control and Signal Processing10.5555/3193457.319347830:8-10(1449-1464)Online publication date: 1-Aug-2016
    • (2016)Partial Utility-Driven Scheduling for Flexible SLA and Pricing Arbitration in CloudsIEEE Transactions on Cloud Computing10.1109/TCC.2014.23727534:4(467-480)Online publication date: 1-Oct-2016
    • (2016)Managing NFV using SDN and control theoryNOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium10.1109/NOMS.2016.7502972(1113-1118)Online publication date: Apr-2016
    • (2016)Integrating Theoretical Modeling and Experimental Measurement for Soft Resource Allocation in Multi-tier Web Systems2016 IEEE International Conference on Web Services (ICWS)10.1109/ICWS.2016.73(522-529)Online publication date: Jun-2016
    • (2015)Statistics-driven datacenter resources provisioningProceedings of the 19th Panhellenic Conference on Informatics10.1145/2801948.2801971(185-190)Online publication date: 1-Oct-2015
    • (2015)A decentralized adaptive algorithm for fair allocation of a shared resourceInternational Journal of Adaptive Control and Signal Processing10.1002/acs.265530:8-10(1449-1464)Online publication date: 22-Dec-2015
    • Show More Cited By

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media