TY - GEN
T1 - Transparent, live migration of a software-defined network
AU - Ghorbani, Soudeh
AU - Schlesinger, Cole
AU - Monaco, Matthew
AU - Keller, Eric
AU - Caesar, Matthew
AU - Rexford, Jennifer
AU - Walker, David
N1 - Publisher Copyright:
Copyright © 2014 by the Association for ComputingMachinery, Inc.
PY - 2014/11/3
Y1 - 2014/11/3
N2 - Increasingly, datacenters are virtualized and software-defined. Live virtual machine (VM) migration is becoming an indispensable management tool in such environments. However, VMs often have a tight coupling with the underlying network. Hence, cloud providers are beginning to offer tenants more control over their virtual networks. Seamless migration of all (or part) of a virtual network greatly simplifies management tasks like planned maintenance, optimizing resource usage, and cloud bursting. Our LIME architecture efficiently migrates an ensemble, a collection of virtual machines and virtual switches, for any arbitrary controller and end-host applications. To minimize performance disruptions, during the migration, LIME temporarily runs all or part of a virtual switch on multiple physical switches. Running a virtual switch on multiple physical switches must be done carefully to avoid compromising application correctness. To that end, LIME merges events, combines traffic statistics, and preserves consistency among multiple physical switches even across changes to the packet-handling rules. Using a formal model, we prove that migration under LIME is transparent to applications, i.e., any execution of the controller and end-host applications during migration is a completely valid execution that could have taken place in a migration-free setting. Experiments with our prototype, built on the Floodlight controller, show that ensemble migration can be an efficient tool for network management.
AB - Increasingly, datacenters are virtualized and software-defined. Live virtual machine (VM) migration is becoming an indispensable management tool in such environments. However, VMs often have a tight coupling with the underlying network. Hence, cloud providers are beginning to offer tenants more control over their virtual networks. Seamless migration of all (or part) of a virtual network greatly simplifies management tasks like planned maintenance, optimizing resource usage, and cloud bursting. Our LIME architecture efficiently migrates an ensemble, a collection of virtual machines and virtual switches, for any arbitrary controller and end-host applications. To minimize performance disruptions, during the migration, LIME temporarily runs all or part of a virtual switch on multiple physical switches. Running a virtual switch on multiple physical switches must be done carefully to avoid compromising application correctness. To that end, LIME merges events, combines traffic statistics, and preserves consistency among multiple physical switches even across changes to the packet-handling rules. Using a formal model, we prove that migration under LIME is transparent to applications, i.e., any execution of the controller and end-host applications during migration is a completely valid execution that could have taken place in a migration-free setting. Experiments with our prototype, built on the Floodlight controller, show that ensemble migration can be an efficient tool for network management.
KW - Consistency
KW - Correctness
KW - Migration
KW - Software-defined networks
KW - Transparency
KW - Virtualization
UR - http://www.scopus.com/inward/record.url?scp=85118315676&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85118315676&partnerID=8YFLogxK
U2 - 10.1145/2670979.2670982
DO - 10.1145/2670979.2670982
M3 - Conference contribution
AN - SCOPUS:85118315676
T3 - Proceedings of the 5th ACM Symposium on Cloud Computing, SOCC 2014
BT - Proceedings of the 5th ACM Symposium on Cloud Computing, SOCC 2014
PB - Association for Computing Machinery
T2 - 5th ACM Symposium on Cloud Computing, SOCC 2014
Y2 - 3 November 2014 through 5 November 2014
ER -