Abstract
Cloud computing is now an omnipresent paradigm in modern programming. Cloud applications usually consist of several software components deployed on remote virtual machines. Managing such applications is a challenging problem because manual administration is no longer realistic for these complex distributed systems. Thus, autonomic computing is a promising solution for monitoring and updating these applications automatically. This is achieved through the automation of administration functions and the use of control loops called autonomic managers. An autonomic manager observes the environment, detects changes, and reconfigures dynamically the application. Multiple autonomic managers can be deployed in the same system and must make consistent decisions. Using them without coordination may lead to inconsistencies and error-prone situations. In this paper, we present our approach for coordinating stateful autonomic managers, which relies on a simple coordination language, new techniques for asynchronous controller synthesis and Java code generation. We used our approach for coordinating real-world cloud applications.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
De Palma, N., Salaün, G., Bongiovanni, F., Abid, R.: Verification of a dynamic management protocol for cloud applications. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol. 8172, pp. 178–192. Springer, Heidelberg (2013)
Basu, S., Bultan, T.: Automatic verification of interactions in asynchronous systems with unbounded buffers. In: Proceedings of ASE 2014, pp. 743–754. ACM (2014)
Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)
Brogi, A., Canciani, A., Soldani, J., Wang, P.: Modelling the behaviour of management operations in cloud-based applications. In: Proceedings of PNSE 2015, vol. 1372 of CEUR Workshop Proceedings, pp. 191–205 (2015)
Buyya, R., Calheiros, R.N., Li, X.: Autonomic cloud computing: open challenges and architectural elements. In: Proceedings of EAIT 2012, pp. 3–10. IEEE Computer Society (2012)
Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.4). INRIA/VASY (2011)
Di Cosmo, R., Mauro, J., Zacchiroli, S., Zavattaro, G.: Aeolus: a component model for the cloud. Inf. Comput. 239, 100–121 (2014)
Delaval, G., Gueye, S.M.K., Rutten, E., De Palma, N.: Modular coordination of multiple autonomic managers. In: Proceedings of CBSE 2014, pp. 3–12. ACM (2014)
Delaval, G., Marchand, H., Rutten, E.: Contracts for modular discrete controller synthesis. In: Proceedings of LCTES 2010, pp. 57–66. ACM (2010)
Etchevers, X., Salaün, G., Boyer, F., Coupaye, T., De Palma, N.: Reliable self-deployment of cloud applications. In: Proceedings of SAC 2014, pp. 1331–1338. ACM (2014)
Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. STTT 15(2), 89–107 (2013)
Gueye, S.M.K., De Palma, N., Rutten, E., Tchana, A.: Coordinating multiple administration loops using discrete control. SIGOPS Oper. Syst. Rev. 47(3), 18–25 (2013)
Gueye, S.M.K., Rutten, E., Tchana, A.: Discrete control for the coordination of administration loops. In: Proceedings of UCC 2012, pp. 353–358. IEEE Computer Society (2012)
Hermanns, H.: Interactive Markov Chains: And The Quest for Quantified Quality. LNCS, vol. 2428. Springer, Heidelberg (2002)
Hermanns, H., Katoen, J.P.: Automated Compositional Markov Chain Generation for a Plain-Old Telephone System. Sci. Comput. Program. 36(1), 97–127 (2000)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison Wesley, Reading (1979)
Huebscher, M.C., McCann, J.A.: A Survey of Autonomic Computing Degrees, Models and Applications. ACM Comput. Surv. 40 (2008)
Kephart, J.O.: Research Challenges of Autonomic Computing. In: Proceedings of ICSE 2005, pp. 15–22. ACM (2005)
Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41–50 (2003)
Thivolle, D., Mateescu, R.: A model checking language for concurrent value-passing systems. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 148–164. Springer, Heidelberg (2008)
De Oliveira, F.A., Ledoux, T., Sharrock, R.: A framework for the coordination of multiple autonomic managers in cloud environments. In: Proceedings of SASO 2013, pp. 179–188. IEEE (2013)
Sharrock, R., Ledoux, T., Alvares de Oliveira Jr., F.: Synchronization of multiple autonomic control loops: application to cloud computing. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol. 7274, pp. 29–43. Springer, Heidelberg (2012)
Parashar, M., Liu, H., Li, Z., Matossian, V., Schmidt, C., Zhang, G., Hariri, S.: AutoMate: enabling autonomic applications on the grid. Cluster Comput. 9(2), 161–174 (2006)
Ramadge, P.J.G., Wonham, W.M.: The Control of Discrete Event Systems. Proc. IEEE 77(1), 81–98 (1989)
Seboui, A.B., Hadj-Alouane, N.B., Delaval, G., Rutten, É., Yeddes, M.: An approach for the synthesis of decentralised supervisors for distributed adaptive systems. Int. J. Crit. Comput.-Based Syst. 2(3/4), 246–265 (2011)
Wonham, W.M., Ramadge, P.J.G.: On the supremal controllable sublanguage of a given language. SIAM J. Control Optim. 25(3), 637–659 (1987)
Acknowledgements
This work has been supported by the OpenCloudware project (2012–2015), which is funded by the French Fonds national pour la Société Numérique (FSN), and is supported by Pôles Minalogic, Systematic, and SCS.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Abid, R., Salaün, G., De Palma, N., Gueye, S.MK. (2016). Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. In: Braga, C., Ölveczky, P. (eds) Formal Aspects of Component Software. FACS 2015. Lecture Notes in Computer Science(), vol 9539. Springer, Cham. https://doi.org/10.1007/978-3-319-28934-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-28934-2_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-28933-5
Online ISBN: 978-3-319-28934-2
eBook Packages: Computer ScienceComputer Science (R0)