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

Proceedings of the First ACM/USENIX International Conference on Virual Execution Environments, VEE 05

Volumn , Issue , 2005, Pages 2-12

  Zhang, Yuting ^a   Bestavros, Azer ^a   Guirguis, Mina ^a   Matta, Ibrahim ^a   West, Richard ^a  

^a BOSTON UNIVERSITY   (United States)

Author keywords

Feedback Control; Friendy Virtual Machines; Resource Management

Indexed keywords

FRIENDLY VIRTUAL MACHINES; RESOURCE MANAGEMENT;

COMPUTER OPERATING SYSTEMS; FEEDBACK CONTROL; RESOURCE ALLOCATION; VIRTUAL REALITY;

MACHINE COMPONENTS;

EID: 32044470873     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (39)

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 BIOMETRICS, 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, proportional 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. IrvineK. 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.