Title :
Using Model Checking to Evaluate Live Migrations
Author :
Kikuchi, Shinji ; Matsumoto, Yasuhide
Author_Institution :
Fujitsu Laboratories Ltd., Japan
Abstract :
Server virtualization technologies and their live migration function support more efficient use of computing resources in cloud datacenters. However, many management operations for virtual machines can be evoked simultaneously in large-scale systems. What happens if many live migrations are executed simultaneously?
Keywords :
Analytical models; Cloud computing; Computational modeling; Logic gates; Probabilistic logic; Receivers; Servers; Virtualization; cloud computing; datacenter; formal methods; live migration; model checking; operation performance; system management operations; virtual machine;
Journal_Title :
IT Professional
DOI :
10.1109/MITP.2012.45
