Valentim Dias Romão

Co-advisor: V. Manquinho


Automatic Detection of Anomalies in the Migration to Microservices Architectures


Tese submetida para provas de mestrado em Engenharia Informática e de Computadores Instituto Superior Técnico, Universidade de Lisboa.

Abstract

The microservices architecture allows structuring an application as a set of loosely coupled services. This architecture has several advantages, such as modularity and scalability, which motivate the migration of monoliths to microservices, despite the challenges posed by the lack of isolation between functionalities that require invoking multiple microservices. In a monolithic application, each functionality is typically executed as a single transaction that accesses a single database with ACID properties. In a microservices architecture, a functionality may be divided into multiple independent sub-transactions and each may be executed by a different microservice. The interleaving between these sub-transactions, when the functionalities execute concurrently, may lead to unexpected results, also called anomalies. In this work, we present a tool capable of automatically detecting these anomalies, as well as an experi- mental evaluation of the tool, using microbenchmarks and several real-world applications.

Publicações

Automatic Detection of Anomalies in the Migration to Microservices Architectures
Valentim Dias Romão
MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
November 2023.
Available BibTeX, MSC Thesis, and extended abstract, and mid-term report.
Detecção Automática de Anomalias em Arquiteturas de Microsserviços.
V. Romão, R. Soares, V. Manquinho and L. Rodrigues
Actas do décimo quarto Simpósio de Informática (Inforum), Porto, Portugal, Sep. 2023.
Available BibTeX, extended report (pdf).

Luís Rodrigues