skip to main content
research-article

Formally Verified Scalable Look Ahead Planning For Cloud Resource Management

Published:15 December 2022Publication History
Skip Abstract Section

Abstract

In this article, we propose and implement a distributed autonomic manager that maintains service level agreements (SLA) for each application scenario. The proposed autonomic manager supports SLAs by configuring the bandwidth ratios for each application scenario and uses an overlay network as an infrastructure. The most important aspect of the proposed autonomic manager is its scalability which allows us to deal with geographically distributed cloud-based applications and a large volume of computation. This can be useful in look ahead optimization and in adaptations using complex models, such as machine learning. We formally prove the safety and liveness properties of the implemented distributed algorithms. Through experiments on the Amazon AWS cloud, using two different use cases, we demonstrate the elasticity and flexibility of the autonomic manager as a measure of its applicability to different cloud applications with different types of workloads. Experiments also demonstrate that increasing the size of a look ahead window, up to a certain size, improves the accuracy of the adaptation decisions by up to 50%.

REFERENCES

  1. [1] Agha Gul A.. 1985. Actors: A Model of Concurrent Computation in Distributed Systems.Technical Report. MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.Google ScholarGoogle Scholar
  2. [2] Al-Dhuraibi Yahya, Paraiso Fawaz, Djarallah Nabil, and Merle Philippe. 2018. Elasticity in cloud computing: State of the art and research challenges. IEEE Transactions on Services Computing 11, 2 (2018), 430447.Google ScholarGoogle ScholarCross RefCross Ref
  3. [3] Beigi-Mohammadi Nasim, Khazaei Hamzeh, Shtern Mark, Barna Cornel, and Litoiu Marin. 2017. Adaptive service management for cloud applications using overlay networks. In Proceedings of the 15th IEEE International Symposium on Integrated Network Management.Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. [4] Beigi-Mohammadi Nasim, Shtern Mark, and Litoiu Marin. 2017. A model-based application autonomic manager with fine granular bandwidth control. In Proceedings of the IEEE 13th International Conference on Network and Service Management.Google ScholarGoogle ScholarCross RefCross Ref
  5. [5] Bodík Peter, Griffith Rean, Sutton Charles, Fox Armando, Jordan Michael I., and Patterson David A.. 2009. Statistical machine learning makes automatic control practical for internet datacenters. In Proceedings of the HotCloud.Google ScholarGoogle Scholar
  6. [6] Brun Yuriy, Serugendo Giovanna Di Marzo, Gacek Cristina, Giese Holger, Kienle Holger M., Litoiu Marin, Müller Hausi A., Pezzè Mauro, and Shaw Mary. 2009. Engineering self-adaptive systems through feedback loops. Software Engineering for Self-adaptive Systems 5525 (2009), 4870.Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. [7] Clavel Manuel, Durán Francisco, Eker Steven, Lincoln Patrick, Martí-Oliet Narciso, Meseguer José, and Talcott Carolyn. 2003. The maude 2.0 system. In Proceedings of the RTA. Springer, 7687.Google ScholarGoogle ScholarCross RefCross Ref
  8. [8] Costa Andrew Diniz da, Nunes Camila, Silva Viviane Torres da, Fonseca Baldoino, and Lucena Carlos JP de. 2010. JAAF+ T: A framework to implement self-adaptive agents that apply self-test. In Proceedings of the 2010 ACM Symposium on Applied Computing. ACM, 928935.Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. [9] Dimov Rossen, Feld Michael, Kipp Dr. Michael, Ndiaye Dr. Alassane, and Heckmann Dr. Dominik. 2007. Weka: Practical machine learning tools and techniques with java implementations. AI Tools SeminarUniversity of Saarland, WS 6, 07 (2007).Google ScholarGoogle Scholar
  10. [10] Gambi Alessio, Moldovan Daniel, Copil Georgiana, Truong Hong-Linh, and Dustdar Schahram. 2013. On estimating actuation delays in elastic computing systems. In Proceedings of the 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. IEEE, 3342.Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. [11] Gambi Alessio, Toffetti Giovanni, and Pezze Mauro. 2013. Assurance of self-adaptive controllers for the cloud. In Proceedings of the Assurances for Self-Adaptive Systems. Springer, 311339.Google ScholarGoogle ScholarCross RefCross Ref
  12. [12] Gupta Munish. 2012. Akka Essentials. Packt Publishing Ltd.Google ScholarGoogle Scholar
  13. [13] Inc. MinIO2022. MinIO | High Performance, Kubernetes Native Object Storage. Retrieved from https://min.io/.Google ScholarGoogle Scholar
  14. [14] Kephart Jeffrey O. and Chess David M.. 2003. The vision of autonomic computing. Computer 36, 1 (2003), 4150.Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. [15] King Tariq M., Babich Djuradj, Alava Jonatan, Clarke Peter J., and Stevens Ronald. 2007. Towards self-testing in autonomic computing systems. In Proceedings of the 8th International Symposium on Autonomous Decentralized Systems. IEEE, 5158.Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. [16] King Tariq M. and Ganti Annaji Sharma. 2010. Migrating autonomic self-testing to the cloud. In Proceedings of the 2010 3rd International Conference on Software Testing, Verification, and Validation Workshops. IEEE, 438443.Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. [17] Krupitzer Christian, Roth Felix Maximilian, VanSyckel Sebastian, Schiele Gregor, and Becker Christian. 2015. A survey on engineering approaches for self-adaptive systems. Pervasive and Mobile Computing 17 (2015), 184206.Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. [18] Lamport Leslie. 2005. Generalized consensus and paxos. (2005).Google ScholarGoogle Scholar
  19. [19] Li Han and Venugopal Srikumar. 2011. Using reinforcement learning for controlling an elastic web application hosting platform. In Proceedings of the 8th ACM International Conference on Autonomic Computing. ACM, 205208.Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. [20] Maggio Martina, Hoffmann Henry, Papadopoulos Alessandro V., Panerati Jacopo, Santambrogio Marco D., Agarwal Anant, and Leva Alberto. 2012. Comparison of decision-making strategies for self-optimization in autonomic computing systems. ACM Transactions on Autonomous and Adaptive Systems 7, 4 (2012), 36.Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. [21] Mao Ming and Humphrey Marty. 2012. A performance study on the vm startup time in the cloud. In Proceedings of the 2012 IEEE 5th International Conference on Cloud Computing. IEEE, 423430.Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. [22] Ngu Anne H., Gutierrez Mario, Metsis Vangelis, Nepal Surya, and Sheng Quan Z.. 2017. IoT middleware: A survey on issues and enabling technologies. IEEE Internet of Things Journal 4, 1 (2017), 120.Google ScholarGoogle Scholar
  23. [23] Ongaro Diego and Ousterhout John. 2015. The raft consensus algorithm. Lecture Notes CS 190 (2015).Google ScholarGoogle Scholar
  24. [24] Oreizy Peyman, Gorlick Michael M., Taylor Richard N., Heimhigner Dennis, Johnson Gregory, Medvidovic Nenad, Quilici Alex, Rosenblum David S., and Wolf Alexander L.. 1999. An architecture-based approach to self-adaptive software. IEEE Intelligent Systems and Their Applications 14, 3 (1999), 5462.Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. [25] Qu Chenhao, Calheiros Rodrigo N., and Buyya Rajkumar. 2018. Auto-scaling web applications in clouds: A taxonomy and survey. ACM Computing Surveys 51, 4 (2018), 73.Google ScholarGoogle Scholar
  26. [26] Roopa Y. Mohana and Babu M. Ramesh. 2017. Self-test framework for self-adaptive software architecture. In Proceedings of the 2017 International Conference of Electronics, Communication and Aerospace Technology. IEEE, 669674.Google ScholarGoogle ScholarCross RefCross Ref
  27. [27] Singh Sukhpal and Chana Inderveer. 2016. A survey on resource scheduling in cloud computing: Issues and challenges. Journal of Grid Computing 14, 2 (2016), 217264.Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. [28] Sirjani Marjan, Movaghar Ali, Shali Amin, and Boer Frank S. De. 2004. Modeling and verification of reactive systems using rebeca. Fundamenta Informaticae 63, 4 (2004), 385410.Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. [29] Steen Maarten Van and Tanenbaum Andrew S.. 2017. Distributed Systems. Maarten van Steen Leiden, The Netherlands.Google ScholarGoogle Scholar
  30. [30] Weingärtner Rafael, Bräscher Gabriel Beims, and Westphall Carlos Becker. 2015. Cloud resource management: A survey on forecasting and profiling models. Journal of Network and Computer Applications 47 (2015), 99106.Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. [31] Weyns Danny, Bencomo Nelly, Calinescu Radu, Camara Javier, Ghezzi Carlo, Grassi Vincenzo, Grunske Larse, Inverardi Paola, Jezequel Jean-Marc, Malek Sam, Mirandola Raffaela, Mori Marco, and Tamburrelli Giordano. 2018. Perpetual Assurances in Self-Adaptive Systems. Lecture Notes in Computer Science, Vol. 9640. Springer, 3163. DOI:Google ScholarGoogle ScholarCross RefCross Ref
  32. [32] Zaker Farzin. 2019. Online Shopping Store - Web Server Logs. DOI:Google ScholarGoogle ScholarCross RefCross Ref
  33. [33] Zaker Farzin, Litoiu Marin, and Shtern Mark. 2019. Look ahead distributed planning for application management in cloud. In Proceedings of the 15th International Conference on Network and Service Management.Google ScholarGoogle ScholarCross RefCross Ref
  34. [34] Zoghi Parisa, Shtern Mark, Litoiu Marin, and Ghanbari Hamoun. 2016. Designing adaptive applications deployed on cloud environments. ACM Transactions on Autonomous and Adaptive Systems 10, 4 (2016), 25.Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Formally Verified Scalable Look Ahead Planning For Cloud Resource Management

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM Transactions on Autonomous and Adaptive Systems
              ACM Transactions on Autonomous and Adaptive Systems  Volume 17, Issue 3-4
              December 2022
              49 pages
              ISSN:1556-4665
              EISSN:1556-4703
              DOI:10.1145/3561963
              Issue’s Table of Contents

              Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 15 December 2022
              • Online AM: 16 August 2022
              • Accepted: 21 July 2022
              • Revised: 2 June 2022
              • Received: 12 December 2019
              Published in taas Volume 17, Issue 3-4

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • research-article
              • Refereed
            • Article Metrics

              • Downloads (Last 12 months)94
              • Downloads (Last 6 weeks)3

              Other Metrics

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader

            Full Text

            View this article in Full Text.

            View Full Text

            HTML Format

            View this article in HTML Format .

            View HTML Format