GLOG: Um registo partilhado para suportar a construção de aplicações distribuídas

GLOG: A shared log for building distributed applications

1/07/2025-31/06/2028

(LISBOA2030-FEDER-00771200)

https://doi.org/10.54499/2023.18452.ICDT

O trabalho qui reportado foi cofinanciado pela União Europeia, através do programa Lisboa 2030 (FEDER), e por fundos nacionais através da Fundação para a Ciência e a Tecnologia (FCT), I.P., no âmbito do projeto n. 16539.

The work reported here was co-funded by the European Union through the Lisboa 2030 Programme (ERDF) and by national funds through FCT, I.P., under project no. 16539.


Abstract

A distributed shared log is a data structure that allows multiple process to observe a consistent and totally ordered view of events that occur in a distributed system. This project aims at designing and implementing a highly efficient distributed shared log named Global LOG, or simply GLOG, that will provide the following features: support for geo-distributed operation, support for subscribers with different consistency requirements, and support for clients that are only concerned with a subset of the information in the log. Thus GLOG will combine features of classical logs with features of publish-subscribe systems, in a unique combination of flexibility and global consistency. The project will also implement GLOG-KV, a geo-replicated, sharded, multi-consistent transactional key-value store built on top of GLOG. GLOG-KV will support partial replication and transactions with different semantics.

Host


Team

Faculty

PhD Students

MSc Students


Summary of results

Category #
PhD Thesis
MSc Thesis 2
Journal Papers
Internacional Conference Proceedings 2
National Conference Proceedings 1
International Workshops
Posters 3
Applications
Prototypes

Thesis

PhD Thesis

MSc Thesis

    Design of Geo-Distributed Shared Logs to Support Partially-Replicated Transactional Systems
    Inês Martins Calado de Sousa Cardeira Thesis:
    MSc Thesis. Instituto Superior Técnico (IST)
    October 2025
    (thesis)
    Shared Logs With Support for Multi-Consistency
    Francisco José Santos de Carvalho
    MSC Thesis. Instituto Superior Técnico (IST)
    October 2025
    (thesis)

Publications

Journals

Internacional Conference Proceedings

    Aletheia: Automated Detection of Data Integrity Violations in Microservices.
    M. Ferreira, J. Loff, J. Garcia, and R. Rodrigues
    In Proceedings of the 20th USENIX Symposium on Operating Systems Design and Implementation. Seattle (WA), USA. July 2026.
    Don't go MAD with Anomalies! Design-time Microservice Anomaly Detection in Migration to Microservices.
    V. Romão, R. Soares, L. Rodrigues and V. Manquinho.
    In The 29th International Conference on Fundamental Approaches to Software Engineering (FASE), Turin, Italy, April 2026.
    ETAPS 2026 distinguished paper.
    Best Sofware Science Paper at ETAPS 2026.

National Conference Proceedings

    Seleção de Coordenadores em Sistemas Transaccionais Geo-Distribuídos.
    I. Cardeira, R. Soares, and L. Rodrigues.
    Actas do décimo sexto Simpósio de Informática (Inforum), Évora, Portugal, Sep. 2025.
    (accepted as "short paper'')

International Workshops

Posters

    Seleção de Coordenadores em Sistemas Transaccionais Geo-Distribuídos.
    I. Cardeira, R. Soares, and L. Rodrigues.
    Actas do décimo sexto Simpósio de Informática (Inforum), Évora, Portugal, Sep. 2025
    (poster)
    Suporte para Multi-Coerência em Históricos Partilhados
    F. Carvalho, R. Soares, and L. Rodrigues.
    Décimo sexto Simpósio de Informática (Inforum), Évora, Portugal, Sep. 2025
    (poster)
    Don't go MAD with Anomalies! Design-time Microservice Anomaly Detection in Migration to Microservices.
    V. Romão, R. Soares, L. Rodrigues and V. Manquinho.
    In The 29th International Conference on Fundamental Approaches to Software Engineering (FASE), Turin, Italy, April 2026.
    (poster)