Event-based data-centric semantics for consistent data management in microservices
Pages 97 - 102
Abstract
There is an emerging trend of migrating traditional service-oriented monolithic systems to the microservice architecture. However, this involves the separation of data previously contained in a single database into several databases tailored to specific domains. Developers are thus faced with a new challenge: features such as transaction processing, coordination, and consistency preservation, which were previously supported by the central database, must now be implemented in a decentralized, asynchronously communicating, distributed structure. Numerous prior studies show that these challenges are not met satisfactorily, resulting in inconsistent system states with potentially detrimental consequences. Therefore, we propose to design a coordination service that relies on clear event-based and data-centric formal semantics for microservices specifying the interaction of cross-microservice transactions with their respective databases. Furthermore, we provide a formalization of consistency properties and outline how they can be used to support dynamic monitoring as well as enforcement of consistency properties, thereby providing robust microservice systems. The envisioned architecture can significantly alleviate the developers' burden of implementing complicated distributed algorithms to maintain consistency across decentralized databases.
References
[1]
Peter Bailis, Alan Fekete, Ali Ghodsi, Joseph M. Hellerstein, and Ion Stoica. 2012. The potential dangers of causal consistency and an explicit solution. In Proceedings of the Third ACM Symposium on Cloud Computing - SoCC '12. ACM Press, San Jose, California, 1--7.
[2]
David Basin, Søren Debois, and Thomas Hildebrandt. 2016. In the Nick of Time: Proactive Prevention of Obligation Violations. IEEE Computer Security Foundations Symposium. Proceedings, 120--134. IEEE Computer Security Foundations Symposium, CSF; Conference date: 27-06-2016 Through 01-07-2016.
[3]
David Basin, Felix Klaedtke, and Samuel Müller. 2010. Monitoring security policies with metric first-order temporal logic. In Proceeding of the 15th ACM symposium on Access control models and technologies - SACMAT '10. ACM Press, Pittsburgh, Pennsylvania, USA, 23.
[4]
David Basin, Felix Klaedtke, Samuel Müller, and Eugen Zălinescu. 2015. Monitoring Metric First-Order Temporal Properties. J. ACM 62, 2 (May 2015), 1--45.
[5]
Bertil Brandin and Walter Wonham. 1994. Supervisory control of timed discrete-event systems. Automatic Control, IEEE Transactions on 39 (03 1994), 329 -- 342.
[6]
Paris Carbone, Asterios Katsifodimos, Stephan Ewen, Volker Markl, Seif Haridi, and Kostas Tzoumas. 2015. Apache Flink™: Stream and Batch Processing in a Single Engine. IEEE Data Eng. Bull. 38 (2015), 28--38.
[7]
Binildas Christudas. 2019. Axon Microservices and BASE Transactions. In Practical Microservices Architectural Patterns. Apress, Berkeley, CA, 779--812.
[8]
Binildas Christudas. 2019. Transactions and Microservices. In Practical Microservices Architectural Patterns. Apress, Berkeley, CA, 483--541.
[9]
Luca de Alfaro and Thomas A. Henzinger. 2001. Interface automata. ACM SIGSOFT Software Engineering Notes 26, 5 (Sept. 2001), 109--120.
[10]
Martijn de Heus, Kyriakos Psarakis, Marios Fragkoulis, and Asterios Katsifodimos. 2021. Distributed transactions on serverless stateful functions. In Proceedings of the 15th ACM International Conference on Distributed and Event-based Systems. ACM, Virtual Event Italy, 31--42.
[11]
S. Debois, T.T. Hildebrandt, and T. Slaats. 2018. Replication, refinement & reachability: complexity in dynamic condition-response graphs. Acta Informatica 55 (2018), 489--520.
[12]
Radoslav Gatev. 2021. State Management. In Introducing Distributed Application Runtime (Dapr). Apress, Berkeley, CA, 145--158.
[13]
Thomas T. Hildebrandt, Håkon Normann, Morten Marquard, Søren Debois, and Tijs Slaats. 2022. Decision Modelling in Timed Dynamic Condition Response Graphs with Data. In Business Process Management Workshops, Andrea Marrella and Barbara Weber (Eds.). Springer International Publishing, Cham, 362--374.
[14]
Kohei Honda, Nobuko Yoshida, and Marco Carbone. 2016. Multiparty Asynchronous Session Types. J. ACM 63, 1 (March 2016), 1--67.
[15]
Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha. 2019. Formal foundations of serverless computing. Proceedings of the ACM on Programming Languages 3, OOPSLA (Oct. 2019), 1--26.
[16]
Miika Kalske, Niko Mäkitalo, and Tommi Mikkonen. 2018. Challenges When Moving from Monolith to Microservice Architecture. In Current Trends in Web Engineering, Irene Garrigós and Manuel Wimmer (Eds.). LNCS, Vol. 10544. Springer International Publishing, Cham, 32--47.
[17]
Rivka Ladin, Barbara Liskov, Liuba Shrira, and Sanjay Ghemawat. 1992. Providing high availability using lazy replication. ACM Transactions on Computer Systems 10, 4 (Nov. 1992), 360--391.
[18]
Rodrigo Laigner,Yongluan Zhou, and Marcos Antonio Vaz Salles. 2021. A distributed database system for event-based microservices. In Proceedings of the 15th ACM International Conference on Distributed and Event-based Systems. ACM, Virtual Event Italy, 25--30.
[19]
Rodrigo Laigner, Yongluan Zhou, Marcos Antonio Vaz Salles, Yijian Liu, and Marcos Kalinowski. 2021. Data management in microservices: state of the practice, challenges, and research directions. Proceedings of the VLDB Endowment 14, 13 (Sept. 2021), 3348--3361.
[20]
Konstantin Malyuga, Olga Perl, Alexandr Slapoguzov, and Ivan Perl. 2020. Fault Tolerant Central Saga Orchestrator in RESTful Architecture. In 2020 26th Conference of Open Innovations Association (FRUCT). IEEE, Yaroslavl, Russia, 278--283.
[21]
Davi Monteiro, Paulo Henrique M. Maia, Lincoln S. Rocha, and Nabor C. Mendonça. 2020. Building orchestrated microservice systems using declarative business processes. Service Oriented Computing and Applications 14, 4 (Dec. 2020), 243--268.
[22]
Raja Mubashir Munaf, Jawwad Ahmed, Faraz Khakwani, and Tauseef Rana. 2019. Microservices Architecture: Challenges and Proposed Conceptual Design. In 2019 International Conference on Communication Technologies (ComTech). IEEE, Rawalpindi, Pakistan, 82--87.
[23]
Meriem Ouederni. 2021. Compatibility checking for asynchronously communicating software. Science of Computer Programming 205 (May 2021), 102569.
[24]
Christian Posta. 2016. The Hardest Part About Microservices: Your Data. https://blog.christianposta.com/microservices/the-hardest-part-about-microservices-data/
[25]
IBM Team. 2021. Microservices in the enterprise, 2021: Real benefits, worth the challenges. Technical Report. International Business Machines Corporation.
[26]
Martin Štefanko, Ondřej Chaloupka, and Bruno Rossi. 2019. The Saga Pattern in a Reactive Microservices Environment:. In Proceedings of the 14th International Conference on Software Technologies. SCITEPRESS - Science and Technology Publications, Prague, Czech Republic, 483--490.
Index Terms
- Event-based data-centric semantics for consistent data management in microservices
Recommendations
A distributed database system for event-based microservices
DEBS '21: Proceedings of the 15th ACM International Conference on Distributed and Event-based SystemsMicroservice architectures are an emerging industrial approach to build large scale and event-based systems. In this architectural style, an application is functionally partitioned into several small and autonomous building blocks, so-called ...
Data management in microservices: state of the practice, challenges, and research directions
Microservices have become a popular architectural style for data-driven applications, given their ability to functionally decompose an application into small and autonomous services to achieve scalability, strong isolation, and specialization of ...
On the Data Complexity of Consistent Query Answering
The framework of database repairs is a principled approach to managing inconsistency in databases. In particular, the consistent answers of a query on an inconsistent database provide sound semantics and the guarantee that the values obtained are those ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
June 2022
210 pages
ISBN:9781450393089
DOI:10.1145/3524860
- General Chair:
- Yongluan Zhou,
- Program Chairs:
- Panos K. Chrysanthis,
- Vincenzo Gulisano
Copyright © 2022 ACM.
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]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 15 July 2022
Check for updates
Qualifiers
- Short-paper
Conference
DEBS '22: The 16th ACM International Conference on Distributed and Event-based Systems
June 27 - 30, 2022
Copenhagen, Denmark
Acceptance Rates
DEBS '22 Paper Acceptance Rate 10 of 19 submissions, 53%;
Overall Acceptance Rate 145 of 583 submissions, 25%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 217Total Downloads
- Downloads (Last 12 months)47
- Downloads (Last 6 weeks)12
Reflects downloads up to 24 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in