DocumentCode
738003
Title
Using Model Checking to Evaluate Live Migrations
Author
Kikuchi, Shinji ; Matsumoto, Yasuhide
Author_Institution
Fujitsu Laboratories Ltd., Japan
Volume
15
Issue
2
fYear
2013
Firstpage
36
Lastpage
41
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;
fLanguage
English
Journal_Title
IT Professional
Publisher
ieee
ISSN
1520-9202
Type
jour
DOI
10.1109/MITP.2012.45
Filename
6180160
Link To Document