Using Model Checking to Evaluate Live Migrations
Shinji Kikuchi, Yasuhide Matsumoto · IT Professional · 2012
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?