SafeMigration: Safe Large-scale Migration Planning via Symbolic Execution
Year: 2025
Type: conference-paper
Abstract: 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.
Authors: Zibin Chen, Lixin Gao, Ying Zhang
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
OpenAlex ID: W4413311698