Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies
作者： Erika Ábrahám , Florian Corzilius , Einar Broch Johnsen , Gereon Kremer , Jacopo Mauro
DOI: 10.1007/978-3-319-47677-3_15
关键词:
摘要: Modern cloud applications consist of software components deployed on multiple virtual machines. Deploying such is error prone and requires detailed system expertise. The deployment optimization problem about how to configure deploy correctly while at the same time minimizing resource cost cloud. This addressed by tools as Zephyrus, which take a declarative specification their configuration requirements input propose an optimal deployment. paper presents Zephyrus2, new tool addresses exploiting modern SMT CP technologies handle larger more complex scenarios. Compared Zephyrus2 can solve problems involving hundreds be machines in matter seconds instead minutes. significant speed-up, combined with improved format, enables interactively support fly decision making.
springer.com
core.ac.uk
sci-hub.st 参考文章(36)
Mark Burgess, A Site Configuration Engine. Computing Systems. ,vol. 8, pp. 309- 337 ,(1995)
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michel Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski, Aeolus: Mastering the Complexity of Cloud Application Deployment european conference on service oriented and cloud computing. ,vol. 8135, pp. 1- 3 ,(2013) , 10.1007/978-3-642-40651-5_1
Fabien Hermenier, Sophie Demassey, Xavier Lorca, Bin repacking scheduling in virtualized datacenters principles and practice of constraint programming. ,vol. 6876, pp. 27- 41 ,(2011) , 10.1007/978-3-642-23786-7_5
Hadrien Cambazard, Deepak Mehta, Barry O’Sullivan, Helmut Simonis, Bin Packing with Linear Usage Costs --- An Application to Energy Management in Data Centres principles and practice of constraint programming. pp. 47- 62 ,(2013) , 10.1007/978-3-642-40627-0_7
Nikolaj Bjørner, Anh-Dung Phan, Lars Fleckenstein, νZ - An Optimizing SMT Solver Tools and Algorithms for the Construction and Analysis of Systems. pp. 194- 199 ,(2015) , 10.1007/978-3-662-46681-0_14
Leonardo de Moura, Nikolaj Bjørner, Z3: an efficient SMT solver tools and algorithms for construction and analysis of systems. pp. 337- 340 ,(2008) , 10.1007/978-3-540-78800-3_24
Laurent Michel, Pascal Van Hentenryck, Elaine Sonderegger, Alexander Shvartsman, Martijn Moraal, None, Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. pp. 193- 207 ,(2009) , 10.1007/978-3-642-01929-6_15
Laurent Michel, Alexander A Shvartsman, Elaine Sonderegger, Pascal Van Hentenryck, None, Load balancing and almost symmetries for RAMBO quorum hosting principles and practice of constraint programming. pp. 598- 612 ,(2010) , 10.1007/978-3-642-15396-9_47
M. R. Garey, E. G. Coffman, D. S. Johnson, Approximation algorithms for bin packing: a survey Approximation algorithms for NP-hard problems. pp. 46- 93 ,(1996)
Laurent Michel, Alexander Shvartsman, Eldine Sonderegger, Pascal Van Hentenryck, None, Optimal Deployment of Eventually-Serializable Data Services Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. pp. 188- 202 ,(2008) , 10.1007/978-3-540-68155-7_16