SafeMigration: Safe Large-scale Migration Planning via Symbolic Execution

Datacenter and Internet Service Provider networks undergo maintenance or upgrades frequently. To ensure a smooth migration without negative impact of live traffic, network operators must plan steps to take carefully. In this paper, we present SafeMigration, a system for safe migration planning. SafeMigration avoids exhaustive searches by using symbolic variables to represent network states, and encodes the planning problem into an SMT (Satisfiability Modulo Theories) problem. Evaluations using real-world migration scenarios demonstrate that SafeMigration generates migration plans 50 times faster and can be up to 2 orders of magnitude faster in the best case.