A formal approach for virtual machine migration planning

2013 9th International Conference on Network and Service Management, CNSM 2013 and its three collocated Workshops - ICQT 2013, SVM 2013 and SETM 2013

Volumn , Issue , 2013, Pages 51-58

  Al Haj, Saeed ^a   Al Shaer, Ehab ^a  

^a University of North Carolina at Charlotte   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY;

CONSTRAINTS SATISFACTION PROBLEM; FORMAL FRAMEWORK; MIGRATION PLANNING; PERFORMANCE REQUIREMENTS; SATISFIABILITY MODULO THEORIES; TEMPORAL RELATIONSHIPS; VIRTUAL MACHINE MIGRATIONS; VIRTUAL MACHINES;

COMPUTER SIMULATION;

EID: 84894449298     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CNSM.2013.6727809     Document Type: Conference Paper

References (19)

1. Z. Liu, Y. Chen, C. Bash, A. Wierman, D. Gmach, Z. Wang, M. Marwah, and C. Hyser, "Renewable and cooling aware workload management for sustainable data centers," in Proceedings of the 12th ACM SIGMETRICS/ PERFORMANCE joint international conference on Measurement and Modeling of Computer Systems, SIGMETRICS ' 12, (New York, NY, USA), pp. 175-186, ACM, 2012.
2. S. AI-Haj, E. AI-Shaer, and H. Ramasamy, "Security-aware resource allocation in clouds." in The 10th International Conference on Services Computing (SCC), IEEE, 2013.
3. X. Li, Q. He, J. Chen, K. Ye, and T. Yin, "Informed live migration strategies of virtual machines for cluster load balancing," in Proceedings of the 8th IFfP international conference on Network and parallel computing, NPC' 11, (Berlin, Heidelberg), pp. 111-122, Springer-Verlag, 2011.
4. Y. Zhang, A. Juels, M. K. Reiter, and T. Ristenpart, " Cross-vm side channels and their use to extract private keys," in Proceedings of the 2012 ACM CCS, (New York, NY, USA), pp. 305-316, ACM, 2012.
5. X. Zhang, Z.-Y. Shae, S. Zheng, and H. Jamjoom, "Virtual machine migration in an over-committed cloud," in Network Operations and Management Symposium (NOMS), 2012 IEEE, pp. 196-203, 2012.
6. Z. Tavakoli, S. Meier, and A. Vensmer, "A framework for security context migration in a firewall secured virtual machine environment," in Information and Communication Te chnologies (R. Szabo and A. Vidacs, eds.), vol. 7479 of Lecture Notes in Computer Science, pp. 41-51, Springer Berlin Heidelberg, 2012.
7. S. S. Skiena, The algorithm design manual. New York, NY, USA: Springer-Verlag New York, Inc., 1998.
8. J. HaIl, J. Hartline, A. R. Karlin, J. Saia, and J. Wilkes, "On algorithms for efficient data migration," in Proceedings of the twelfth annual ACMSIAM symposium on Discrete algorithms, SODA '01, (Philadelphia, PA, USA), pp. 620-629, Society for Industrial and Applied Mathematics, 2001.
9. S. Ghorbani and M. Caesar, "Walk the line: consistent network updates with bandwidth guarantees," in Proceedings of the first workshop on Hot topics in software defined networks, HotSDN '12, (New York, NY, USA), pp. 67-72, ACM, 2012.
10. X. Meng, Y. Pappas, and L. Zhang, "Improving the scalability of data center networks with traffic-aware virtual machine placement," INFOCOM'IO, (Piscataway, NJ, USA), pp. 1154-1162, IEEE Press, 2010.
11. "Amazon ec2." http://http:llaws.amazon.comJec2linstance-types.
12. "Yices smt solver." http://yices.csl.sri.comlindex.shtml.
13. J. T. Piao and J. Yan, "A network-aware virtual machine placement and migration approach in cloud computing," in Grid and Cooperative Computing (GCC), 2010 9th International Conference on, pp. 87-92, 2010.
14. Y. Shrivastava, P. Zerfos, K.-W. Lee, H. Jamjoom, Y.-H. Liu, and S. Banerjee, "Application-aware virtual machine migration in data centers," in INFO COM, 2011 Proceedings IEEE, pp. 66-70, 2011.
15. T. Wood, P. Shenoy, A. Venkataramani, and M. Yousif, "Black-box and gray-box strategies for virtual machine migration," in Proceedings of the 4th USENIX conference on Networked systems design & implementation, NSDI'07, (Berkeley, CA, USA), pp. 17-17, USENIX Association, 2007.
16. Y. Ma, H. Wang, J. Dong, Y. Li, and S. Cheng, "Me2: Efficient live migration of virtual machine with memory exploration and encoding," in Cluster Computing (CLUSTER), 2012 IEEE International Conference on, pp. 610-613, 2012.
17. M. Al Shayeji and M. Samrajesh, "An energy-aware virtual machine migration algorithm," in Advances in Computing and Communications (ICACC), 2012 International Conference on, pp. 242-246, 2012.
18. M. Mishra, A. Das, P. Kulkarni, and A. Sahoo, "Dynamic resource management using virtual machine migrations," Communications Magazine, IEEE, vol. 50, no. 9, pp. 34-40, 2012.
19. W. Voorsluys, J. Broberg, S. Venugopal, and R. Buyya, " Cost of virtual machine live migration in clouds: A performance evaluation," in Proceedings of the 1st International Conference on Cloud Computing, CloudCom '09, (Berlin, Heidelberg), pp. 254-265, Springer-Verlag, 2009.