DACOMICO: Data Consistency in Microservices Compositions
(PTDC/CCI-COM/2156/2021)
15/01/2022-14/01/2025
Abstract
An important paradigm for the development of modern cloud-based applications consists in decomposing an otherwise large monolithic application in a composition of several small loosely-coupled services. Currently, these decompositions are usually deployed on platforms that offer eventual consistency, leading to anomalies that do not occur in the original monolith. These anomalies are responsible for a substantial programming effort to be compensated. The Data Consistency in Microservices Compositions (DACOMICO) addresses this problem by developing middleware extensions that augment the execution platform with support for Transactional-Causal Consistency (TCC), a highly-available consistency model that can avoid many of the anomalies allowed by eventual consistency while preserving a strong decoupling among microservices. Furthermore, the project will also develop automated mechanisms to pinpoint anomalies that can occur when a given decomposition is executed under TCC and a toolchain that leverages these mechanisms to guide the programmer in decomposing a monolith for the TCC model.
Partners
Team
Faculty
Students
- Rafael Soares (PhD Student), INESC-ID
- Valentim Romão (MSC Student), INESC-ID
- João Queiróz (MSC Student), INESC-ID
- André Silva (MSC Student),
- Madalena Santos (MSC Student), INESC-ID
- João Lourenço (MSC Student), INESC-ID
- Telmo Lopes (MSC Student), INESC-ID
- Pedro Pereira (MSC Student), INESC-ID
- Vasco Faria (MSC Student), INESC-ID
Thesis
PhD Thesis
MSc Thesis
- M. Santos
- Microservice Decomposition for Transactional Causal Consistent Platforms
- MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
- June, 2022.
- pdf
- J. Lourenço
- Monolith Development History for Microservices Identification: a Comparative Analysis
- MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
- November, 2022.
- pdf
- T. Lopes
- Monolith Microservices Identification: An Extensible Multiple Strategy Tool
- MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
- November, 2022.
- pdf
- P. Pereira
- Transactional Causal Consistent Microservices Business Logic
- MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
- November, 2022.
- pdf
- V. Faria
- Code Vectorization and Sequence of Accesses Strategies for Monolith Microservices Identification
- MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
- November, 2022.
- pdf
Publications
Journals
- A. Guerreiro, J. Cortes, D. Vanderpooten, C. Bazgan, I. Lynce, V. Manquinho, J. Figueira
- Exact and Approximate Determination of the Pareto Front Using Minimal Correction Subsets
- Computers and Operations Research
- (to appear) 2023
Internacional Conference Proceedings
- J. Cortes, I. Lynce, V. Manquinho
- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
- International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)
- April 2023
National Conference Proceedings
Workshops
- R. Soares
- Multi-Consistency Transactional Support for Function-as-a-Service
- Encontro Nacional de Sistemas Distribuídos
- June, 2022.
- pdf