MARTIN Benoît
Supervision : Mesaac MAKPANGOU
Co-supervision : SHAPIRO Marc
TTCC: Transaction Turn Causal Consistency
Today, stateful serverless functions are chained together through a message-based infrastructure and store their durable state in a separate database. This separation between storage and compute creates serious challenges that may lead to inconsistency and application crashes.
A unified consistency model for message passing and shared memory is required to avoid such errors. The model should ensure that multiple pieces of data remain mutually consistent whether data is sent using messages or shared in a distributed memory.
Based on a well-known message-based model (actors) and a state model (transactional shared memory), we propose a unified communication and persistence model called Transactional Turn Causal consistency (TTCC). TTCC is asynchronous, preserve isolation, and ensures that the message and memory view are mutually causally consistent.
Defence : 04/21/2023
Jury members :
Achour Mostefaoui, Professeur, Université de Nantes [Rapporteur]
Gaël Thomas, Professeur, Telecom SudParis [Rapporteur]
Bernd Amann, Professeur, Sorbonne Université, LIP6
Annette Bieniusa, Professeure, Université Technique de Kaiserslautern
Carla Ferreira, Maîtresse de Conférences, Université NOVA de Lisbon
Peter Van Roy, Professeur, Université Catholique de Louvain
Marc Shapiro, Directeur de Recherche Emérite, SU, LIP6, Inria
Mesaac Makpangou, Directeur de Recherche, SU, LIP6, Inria
2020-2023 Publications
-
2023
- B. Martin : “TTCC: Transaction Turn Causal Consistency”, thesis, phd defence 04/21/2023, supervision Makpangou, Mesaac, co-supervision : Shapiro, Marc (2023)
- B. Martin, L. Prosperi, M. Shapiro : “Transactional-Turn Causal Consistency”, Lecture Notes in Computer Science (LNCS), Limassol, Cyprus, (Springer) (2023)
-
2022
- B. Martin, M. Shapiro : “Shared memory for the actor model”, COMPAS 2022 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Amiens, France (2022)
-
2020
- B. Martin, L. Prosperi, M. Shapiro : “An environment for composable distributed computing”, EuroDW 2020 - 14th EuroSys Doctoral Workshop, Heraklion / Virtual, Greece (2020)