Synthesizing Cluster Management Code for Distributed Systems
Lalith Suresh, João Ferreira Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian M. Oki · 2019
Management planes for data-center systems are complicated to develop, test, maintain, and evolve. They routinely grapple with hard combinatorial optimization problems like load balancing, placement, scheduling, rolling upgrades and configuration management. To tackle these problems, developers are left with two bad choices: (i) develop ad-hoc mechanisms for systems to solve these optimization problems, or (ii) use specialized solvers that require steep engineering effort.