This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Using Model Checking to Evaluate Live Migrations
March-April 2013 (vol. 15 no. 2)
pp. 36-41
Shinji Kikuchi, Fujitsu Laboratories Ltd., Japan
Yasuhide Matsumoto, Fujitsu Laboratories Ltd., Japan
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?
Index Terms:
Computational modeling,Servers,Probabilistic logic,Cloud computing,Analytical models,Receivers,Logic gates,Virtualization,model checking,system management operations,virtual machine,operation performance,cloud computing,datacenter,live migration,formal methods
Citation:
Shinji Kikuchi, Yasuhide Matsumoto, "Using Model Checking to Evaluate Live Migrations," IT Professional, vol. 15, no. 2, pp. 36-41, March-April 2013, doi:10.1109/MITP.2012.45
Usage of this product signifies your acceptance of the Terms of Use.